Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915358058741760 |
|---|---|
| author | Fuchino, Sakaé |
| author_facet | Fuchino, Sakaé |
| contents | We introduce (super-$C^{(\infty)}$-)Laver-generic large cardinal axioms for extendibility ((super-$C^{(\infty)}$-)LgLCAs for extendible, for short), and show that most of the previously known consequences of the (super-$C^{(\infty)}$-)LgLCAs for ultrahuge, in particular, general forms of Resurrection Principles, Maximality Principles, and Absoluteness Theorems, already follow from (super-$C^{(\infty)}$\mbox{-)}LgLCAs for extendible.
The consistency of LgLCAs for extendible (for transfinitely iterable $Σ_2$-definable classes of posets) follows from an extendible cardinal while the consistency of super-$C^{(\infty)}$-LgLCAs for extendible follows from a model with a strongly super-$C^{(\infty)}$-extendible cardinal. If $μ$ is an almost-huge cardinal, there are cofinally many $κ<μ$ such that\ $V_μ\models$``$κ$ is strongly super-$C^{(\infty)}$ extendible''.
Most of the known reflection properties follow already from some of the LgLCAs for supercompact. We give a survey on the related results.
We also show the separation between some of the LgLCAs as well as between LgLCAs and their consequences.
LgLCAs are generic large cardinal axioms in terms of generic elementary embeddings with the critical point $κ_{\mathfrak{refl}}=\max\{\aleph_2,2^{\aleph_0}\}$. We show that Laver generic large cardinal axioms for all posets\ in terms of generic elementary embeddings with the critical point $2^{\aleph_0}$ is also possible. We abbreviate this type of axiom for the notion of extendibility as the LgLCAA for extendible and examine its consequences. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_03572 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Extendible cardinals, and Laver-generic large cardinal axioms for extendibility Fuchino, Sakaé Logic 03E45, 03E50, 03E55, 03E57, 03E65 We introduce (super-$C^{(\infty)}$-)Laver-generic large cardinal axioms for extendibility ((super-$C^{(\infty)}$-)LgLCAs for extendible, for short), and show that most of the previously known consequences of the (super-$C^{(\infty)}$-)LgLCAs for ultrahuge, in particular, general forms of Resurrection Principles, Maximality Principles, and Absoluteness Theorems, already follow from (super-$C^{(\infty)}$\mbox{-)}LgLCAs for extendible. The consistency of LgLCAs for extendible (for transfinitely iterable $Σ_2$-definable classes of posets) follows from an extendible cardinal while the consistency of super-$C^{(\infty)}$-LgLCAs for extendible follows from a model with a strongly super-$C^{(\infty)}$-extendible cardinal. If $μ$ is an almost-huge cardinal, there are cofinally many $κ<μ$ such that\ $V_μ\models$``$κ$ is strongly super-$C^{(\infty)}$ extendible''. Most of the known reflection properties follow already from some of the LgLCAs for supercompact. We give a survey on the related results. We also show the separation between some of the LgLCAs as well as between LgLCAs and their consequences. LgLCAs are generic large cardinal axioms in terms of generic elementary embeddings with the critical point $κ_{\mathfrak{refl}}=\max\{\aleph_2,2^{\aleph_0}\}$. We show that Laver generic large cardinal axioms for all posets\ in terms of generic elementary embeddings with the critical point $2^{\aleph_0}$ is also possible. We abbreviate this type of axiom for the notion of extendibility as the LgLCAA for extendible and examine its consequences. |
| title | Extendible cardinals, and Laver-generic large cardinal axioms for extendibility |
| topic | Logic 03E45, 03E50, 03E55, 03E57, 03E65 |
| url | https://arxiv.org/abs/2506.03572 |