174:
60:
237:
77:
36:
106:
164:
490:
427:
371:
276:
439:
495:
196:
386:
301:
191:
152:
135:
391:
72:
415:
376:
334:
324:
266:
225:
169:
140:
339:
329:
208:
500:
213:
202:
129:
123:
89:
454:
449:
444:
381:
366:
356:
351:
314:
118:
17:
319:
288:
271:
261:
249:
48:
22:
484:
403:
361:
179:
466:
471:
101:
35:
The following 55 pages are in this category, out of 55 total.
8:
37:This list may not reflect recent changes
175:Homogeneous (large cardinal property)
7:
32:Pages in category "Large cardinals"
238:Kunen's inconsistency theorem
41:
29:
14:
61:List of large cardinal properties
78:Axiom of projective determinacy
1:
107:Critical point (set theory)
517:
165:Hereditarily countable set
16:The main article for this
15:
372:Strongly compact cardinal
428:Vopěnka's principle
277:Moschovakis coding lemma
440:Weakly compact cardinal
197:Indescribable cardinal
387:Supercompact cardinal
302:Quasicompact cardinal
192:Inaccessible cardinal
153:Grothendieck universe
136:Extender (set theory)
392:Superstrong cardinal
73:Axiom of determinacy
416:Unfoldable cardinal
377:Subcompact cardinal
335:Remarkable cardinal
325:Reflecting cardinal
267:Measurable cardinal
170:The Higher Infinite
141:Extendible cardinal
340:Rowbottom cardinal
330:Reinhardt cardinal
209:Ineffable cardinal
214:Iterable cardinal
203:Indestructibility
130:Ethereal cardinal
90:Berkeley cardinal
508:
491:Cardinal numbers
455:Worldly cardinal
304:
226:Jónsson cardinal
205:
132:
516:
515:
511:
510:
509:
507:
506:
505:
481:
480:
479:
478:
477:
476:
459:
450:Woodin cardinal
445:Wholeness axiom
432:
420:
408:
396:
382:Subtle cardinal
367:Strong cardinal
357:Shrewd cardinal
352:Shelah cardinal
344:
315:Ramsey cardinal
307:
300:
293:
281:
254:
242:
230:
218:
201:
184:
157:
145:
128:
119:Equiconsistency
111:
94:
82:
65:
53:
28:
27:
12:
11:
5:
514:
512:
504:
503:
498:
493:
483:
482:
475:
474:
469:
463:
460:
458:
457:
452:
447:
442:
436:
433:
431:
430:
424:
421:
419:
418:
412:
409:
407:
406:
400:
397:
395:
394:
389:
384:
379:
374:
369:
364:
359:
354:
348:
345:
343:
342:
337:
332:
327:
322:
320:Rank-into-rank
317:
311:
308:
306:
305:
297:
294:
292:
291:
289:Normal measure
285:
282:
280:
279:
274:
272:Mitchell order
269:
264:
262:Mahlo cardinal
258:
255:
253:
252:
250:Laver function
246:
243:
241:
240:
234:
231:
229:
228:
222:
219:
217:
216:
211:
206:
199:
194:
188:
185:
183:
182:
177:
172:
167:
161:
158:
156:
155:
149:
146:
144:
143:
138:
133:
126:
124:Erdős cardinal
121:
115:
112:
110:
109:
104:
98:
95:
93:
92:
86:
83:
81:
80:
75:
69:
66:
64:
63:
57:
54:
52:
51:
49:Large cardinal
45:
43:
42:
33:
30:
23:Large cardinal
13:
10:
9:
6:
4:
3:
2:
513:
502:
499:
497:
496:Large numbers
494:
492:
489:
488:
486:
473:
470:
468:
465:
464:
461:
456:
453:
451:
448:
446:
443:
441:
438:
437:
434:
429:
426:
425:
422:
417:
414:
413:
410:
405:
404:Tall cardinal
402:
401:
398:
393:
390:
388:
385:
383:
380:
378:
375:
373:
370:
368:
365:
363:
362:Solovay model
360:
358:
355:
353:
350:
349:
346:
341:
338:
336:
333:
331:
328:
326:
323:
321:
318:
316:
313:
312:
309:
303:
299:
298:
295:
290:
287:
286:
283:
278:
275:
273:
270:
268:
265:
263:
260:
259:
256:
251:
248:
247:
244:
239:
236:
235:
232:
227:
224:
223:
220:
215:
212:
210:
207:
204:
200:
198:
195:
193:
190:
189:
186:
181:
180:Huge cardinal
178:
176:
173:
171:
168:
166:
163:
162:
159:
154:
151:
150:
147:
142:
139:
137:
134:
131:
127:
125:
122:
120:
117:
116:
113:
108:
105:
103:
100:
99:
96:
91:
88:
87:
84:
79:
76:
74:
71:
70:
67:
62:
59:
58:
55:
50:
47:
46:
44:
40:
38:
31:
25:
24:
19:
34:
21:
467:Zero dagger
485:Categories
472:Zero sharp
102:Core model
501:Infinity
18:category
20:is
487::
39:.
462:Z
435:W
423:V
411:U
399:T
347:S
310:R
296:Q
284:N
257:M
245:L
233:K
221:J
187:I
160:H
148:G
114:E
97:C
85:B
68:A
56:*
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.