Abstract
AbstractThe hierarchies of C(n)-cardinals were introduced by Bagaria in [1] and were further studied and extended by the author in [18] and in [20]. The case of C(n)-extendible cardinals, and of their C(n)+-extendibility variant, is of particular interest since such cardinals have found applications in the areas of category theory, of homotopy theory, and of model theory (see [2], [3], and [4], respectively). However, the exact relation between these two notions had been left unclarified. Moreover, the question of whether the Generalized Continuum Hypothesis (GCH) can be forced while preserving C(n)-extendible cardinals (for n1) also remained open. In this note, we first establish results in the direction of exactly controlling the targets of C(n)-extendibility embeddings. As a corollary, we show that every C(n)-extendible cardinal is in fact C(n)+-extendible; this, in turn, clarifies the assumption needed in some applications obtained in [3]. At the same time, we underline the applicability of our arguments in the context of C(n)-ultrahuge cardinals as well, as these were introduced in [20]. Subsequently, we show that C(n)-extendible cardinals carry their own Laver functions, making them the first known example of C(n)-cardinals that have this desirable feature. Finally, we obtain an alternative characterization of C(n)-extendibility, which we use to answer the question regarding forcing the GCH affirmatively.
Publisher
Cambridge University Press (CUP)
Reference20 articles.
1. On extendible cardinals and the GCH
2. On extensions of supercompactness
3. [4] Boney W. , Model-theoretic characterizations of large cardinals, preprint, 2017, arXiv:1708.07561.
4. Large cardinals and gap-1 morasses
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Huge reflection;Annals of Pure and Applied Logic;2023-01
2. MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING;The Journal of Symbolic Logic;2021-09-12
3. Model theoretic characterizations of large cardinals;Israel Journal of Mathematics;2020-02-12