32:
with desirable properties. The exact definition depends on the context. In most cases, there is a technical definition of "premouse" and an added condition of iterability (referring to the existence of
93:
168:
29:
230:
46:
41:): a mouse is then an iterable premouse. The notion of mouse generalizes the concept of a level of
71:
164:
199:
174:
135:
213:
147:
209:
178:
160:
143:
64:
in the 1970s and has been used since then in core model constructions of many authors.
50:
224:
139:
61:
159:. Springer Monographs in Mathematics (Third Millennium ed.). Berlin, New York:
38:
25:
34:
68:
57:
17:
42:
204:
187:
115:
Set Theory: The Third
Millennium Edition, revised and expanded
56:
Mice are important ingredients of the construction of
74:
87:
126:Dodd, A.; Jensen, R. (1981). "The core model".
8:
203:
79:
73:
188:"Ramsey cardinals and constructibility"
106:
7:
80:
14:
49:while being able to incorporate
60:. The concept was isolated by
1:
140:10.1016/0003-4843(81)90011-5
117:(2003). ISBN 3-540-44085-2.
88:{\displaystyle 0^{\sharp }}
30:Zermelo–Fraenkel set theory
247:
186:Mitchell, William (1979).
192:Journal of Symbolic Logic
47:constructible hierarchy
89:
155:Jech, Thomas (2003).
90:
72:
67:A mouse exists iff
28:of (a fragment of)
231:Inner model theory
85:
170:978-3-540-44085-7
238:
217:
207:
182:
151:
128:Ann. Math. Logic
118:
111:
94:
92:
91:
86:
84:
83:
246:
245:
241:
240:
239:
237:
236:
235:
221:
220:
205:10.2307/2273732
185:
171:
161:Springer-Verlag
154:
125:
122:
121:
112:
108:
103:
75:
70:
69:
51:large cardinals
12:
11:
5:
244:
242:
234:
233:
223:
222:
219:
218:
198:(2): 260–266.
183:
169:
152:
120:
119:
105:
104:
102:
99:
82:
78:
13:
10:
9:
6:
4:
3:
2:
243:
232:
229:
228:
226:
215:
211:
206:
201:
197:
193:
189:
184:
180:
176:
172:
166:
162:
158:
153:
149:
145:
141:
137:
133:
129:
124:
123:
116:
110:
107:
100:
98:
96:
76:
65:
63:
62:Ronald Jensen
59:
54:
52:
48:
44:
40:
36:
31:
27:
23:
19:
195:
191:
156:
134:(1): 43–75.
131:
127:
114:
109:
66:
55:
21:
15:
58:core models
39:ultrapowers
35:wellfounded
24:is a small
179:1007.03002
157:Set Theory
101:References
18:set theory
113:T. Jech,
81:♯
37:iterated
225:Category
214:0534574
148:0611394
212:
177:
167:
146:
95:exists
43:Gödel
26:model
22:mouse
165:ISBN
20:, a
200:doi
175:Zbl
136:doi
45:'s
16:In
227::
210:MR
208:.
196:44
194:.
190:.
173:.
163:.
144:MR
142:.
132:20
130:.
97:.
53:.
216:.
202::
181:.
150:.
138::
77:0
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.