90:
111:
58:
162:
35:
210:
229:
198:
123:
140:
42:
135:
150:
54:
28:
223:
66:
20:
94:
174:
50:
145:
62:
27:
or some fragment or strengthening thereof. Ordinarily these models are
31:
49:. Inner model theory studies the relationships of these models to
186:
110:
The following 10 pages are in this category, out of 10 total.
24:
61:. Despite the name, it is considered more a branch of
78:This category has only the following subcategory.
8:
112:This list may not reflect recent changes
107:Pages in category "Inner model theory"
7:
116:
80:
72:
14:
1:
246:
19:is the study of certain
91:Constructible universe
59:descriptive set theory
211:Skolem's paradox
163:Extender (set theory)
34:or subclasses of the
41:, or sometimes of a
36:von Neumann universe
199:Mouse (set theory)
136:Chang's model
124:Inner model theory
17:Inner model theory
141:Code (set theory)
43:generic extension
237:
96:
245:
244:
240:
239:
238:
236:
235:
234:
220:
219:
218:
217:
216:
215:
203:
191:
179:
167:
155:
128:
104:
103:
102:
101:
98:
97:
71:
55:large cardinals
12:
11:
5:
243:
241:
233:
232:
222:
221:
214:
213:
207:
204:
202:
201:
195:
192:
190:
189:
183:
180:
178:
177:
171:
168:
166:
165:
159:
156:
154:
153:
151:Covering lemma
148:
143:
138:
132:
129:
127:
126:
120:
118:
117:
108:
105:
100:
99:
89:
88:
85:
82:
81:
76:
73:
13:
10:
9:
6:
4:
3:
2:
242:
231:
228:
227:
225:
212:
209:
208:
205:
200:
197:
196:
193:
188:
185:
184:
181:
176:
173:
172:
169:
164:
161:
160:
157:
152:
149:
147:
144:
142:
139:
137:
134:
133:
130:
125:
122:
121:
119:
115:
113:
106:
92:
87:
86:
83:
79:
75:Subcategories
74:
70:
68:
64:
60:
56:
52:
48:
44:
40:
37:
33:
30:
26:
22:
18:
109:
77:
67:model theory
46:
38:
16:
15:
175:Inner model
51:determinacy
230:Set theory
146:Core model
63:set theory
29:transitive
224:Category
65:than of
32:subsets
95:(10 P)
57:, and
21:models
187:L(R)
45:of
25:ZFC
23:of
226::
114:.
93:
69:.
53:,
206:S
194:M
182:L
170:I
158:E
131:C
84:C
47:V
39:V
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.