22:
368:
314:. If κ is subcompact, then the square principle fails at κ. Canonical inner models at the level of subcompact cardinals satisfy the square principle at all but subcompact cardinals. (Existence of such models has not yet been proved, but in any case the square principle can be forced for weaker cardinals.)
317:
Quasicompactness is one of the strongest large cardinal properties that can be witnessed by current inner models that do not use long extenders. For current inner models, the elementary embeddings included are determined by their effect on
291:
Every quasicompact cardinal is subcompact. Quasicompactness is a strengthening of subcompactness in that it projects large cardinal properties upwards. The relationship is analogous to that of
299:. Quasicompactness may be viewed as a strengthened or "boldface" version of 1-extendibility. Existence of subcompact cardinals implies existence of many 1-extendible cardinals, and hence many
409:
32:
90:
326:) (as computed at the stage the embedding is included), where κ is the critical point. This prevents them from witnessing even a
62:
47:
69:
402:
189:
76:
182:
433:
330:
58:
428:
395:
296:
300:
146:
292:
83:
311:
310:
Subcompact cardinals are noteworthy as the least large cardinals implying a failure of the
127:
379:
120:
422:
354:"Square in Core Models" in the September 2001 issue of the Bulletin of Symbolic Logic
341:
112:
39:
21:
284:) consists of all sets whose transitive closure has cardinality less than
375:
367:
15:
383:
43:
340:
Subcompact and quasicompact cardinals were defined by
307:implies existence of many quasicompact cardinals.
230:) there is a non-trivial elementary embedding
403:
8:
48:introducing citations to additional sources
410:
396:
303:. Existence of a 2-supercompact cardinal
38:Relevant discussion may be found on the
133:is subcompact if and only if for every
7:
364:
362:
183:cardinality hereditarily less than
14:
366:
31:relies largely or entirely on a
20:
1:
382:. You can help Knowledge by
181:) is the set of all sets of
450:
361:
331:strongly compact cardinal
218:if and only if for every
145:) there is a non-trivial
378:-related article is a
297:supercompact cardinals
258:) with critical point
301:superstrong cardinals
216:quasicompact cardinal
119:is a certain kind of
59:"Subcompact cardinal"
147:elementary embedding
44:improve this article
117:subcompact cardinal
391:
390:
109:
108:
94:
441:
434:Set theory stubs
412:
405:
398:
370:
363:
312:square principle
104:
101:
95:
93:
52:
24:
16:
449:
448:
444:
443:
442:
440:
439:
438:
429:Large cardinals
419:
418:
417:
416:
359:
357:
350:
128:cardinal number
105:
99:
96:
53:
51:
37:
25:
12:
11:
5:
447:
445:
437:
436:
431:
421:
420:
415:
414:
407:
400:
392:
389:
388:
371:
356:
355:
351:
349:
346:
270:) =
203:) =
190:critical point
121:large cardinal
107:
106:
42:. Please help
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
446:
435:
432:
430:
427:
426:
424:
413:
408:
406:
401:
399:
394:
393:
387:
385:
381:
377:
372:
369:
365:
360:
353:
352:
347:
345:
343:
342:Ronald Jensen
338:
336:
332:
329:
325:
321:
315:
313:
308:
306:
302:
298:
294:
289:
287:
283:
279:
275:
273:
269:
265:
261:
257:
253:
249:
245:
241:
237:
233:
229:
225:
222: ⊂
221:
217:
213:
210:Analogously,
208:
206:
202:
198:
194:
191:
187:
186:
180:
176:
172:
168:
164:
160:
156:
152:
148:
144:
140:
137: ⊂
136:
132:
129:
124:
122:
118:
114:
103:
92:
89:
85:
82:
78:
75:
71:
68:
64:
61: –
60:
56:
55:Find sources:
49:
45:
41:
35:
34:
33:single source
29:This article
27:
23:
18:
17:
384:expanding it
373:
358:
339:
334:
327:
323:
319:
316:
309:
304:
290:
285:
281:
277:
276:
271:
267:
263:
259:
255:
251:
247:
243:
239:
235:
231:
227:
223:
219:
215:
211:
209:
204:
200:
196:
192:
184:
178:
174:
170:
166:
162:
158:
154:
150:
142:
138:
134:
130:
125:
116:
110:
97:
87:
80:
73:
66:
54:
30:
113:mathematics
100:August 2024
423:Categories
376:set theory
348:References
293:extendible
70:newspapers
262:and
195:and
173:) (where
40:talk page
123:number.
295:versus
188:) with
84:scholar
333:
86:
79:
72:
65:
57:
374:This
246:) → (
214:is a
161:) → (
91:JSTOR
77:books
380:stub
115:, a
63:news
254:),
242:),
169:),
157:),
149:j:(
111:In
46:by
425::
344:.
337:.
288:.
274:.
234::(
207:.
126:A
411:e
404:t
397:v
386:.
335:κ
328:κ
324:κ
322:(
320:P
305:κ
286:λ
282:λ
280:(
278:H
272:μ
268:κ
266:(
264:j
260:κ
256:B
252:μ
250:(
248:H
244:A
240:κ
238:(
236:H
232:j
228:κ
226:(
224:H
220:A
212:κ
205:κ
201:μ
199:(
197:j
193:μ
185:κ
179:κ
177:(
175:H
171:A
167:κ
165:(
163:H
159:B
155:μ
153:(
151:H
143:κ
141:(
139:H
135:A
131:κ
102:)
98:(
88:·
81:·
74:·
67:·
50:.
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.