Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2501.18958 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916592013541376 |
|---|---|
| author | Blue, Douglas Larson, Paul B. Sargsyan, Grigor |
| author_facet | Blue, Douglas Larson, Paul B. Sargsyan, Grigor |
| contents | We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{ω_3}+\neg\square(ω_3)$. Then, fixing $n\in [3, ω)$, we design a Nairian model and force over it to produce a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\forall i\in [2, n]\, \neg\square(ω_i)$. We also build a Nairian model that satisfies ${\sf{ZF}}+"ω_1$ is a supercompact cardinal."
We obtain as corollaries of these constructions
(1) the consistent failure of the Iterability Conjecture for the Mitchell-Schindler $\sf{K}^{c}$ construction,
(2) the consistent failure of the Iterability Conjecture for the $\sf{K}^{c}$ construction using $2^{2^{\dots 2^ω}}$-complete (for any finite stack of exponents) background extenders, answering a strong version of a question asked by Steel, and
(3) a negative answer to Trang's question whether ${\sf{ZF}}+"ω_1$ is a supercompact cardinal" is equiconsistent with ${\sf{ZFC}}+"$there is a proper class of Woodin cardinals that are limits of Woodin cardinals."
These corollaries identify obstructions to extending the methods of (descriptive) inner model theory past a Woodin cardinal which is a limit of Woodin cardinals. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_18958 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Nairian Models Blue, Douglas Larson, Paul B. Sargsyan, Grigor Logic We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{ω_3}+\neg\square(ω_3)$. Then, fixing $n\in [3, ω)$, we design a Nairian model and force over it to produce a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\forall i\in [2, n]\, \neg\square(ω_i)$. We also build a Nairian model that satisfies ${\sf{ZF}}+"ω_1$ is a supercompact cardinal." We obtain as corollaries of these constructions (1) the consistent failure of the Iterability Conjecture for the Mitchell-Schindler $\sf{K}^{c}$ construction, (2) the consistent failure of the Iterability Conjecture for the $\sf{K}^{c}$ construction using $2^{2^{\dots 2^ω}}$-complete (for any finite stack of exponents) background extenders, answering a strong version of a question asked by Steel, and (3) a negative answer to Trang's question whether ${\sf{ZF}}+"ω_1$ is a supercompact cardinal" is equiconsistent with ${\sf{ZFC}}+"$there is a proper class of Woodin cardinals that are limits of Woodin cardinals." These corollaries identify obstructions to extending the methods of (descriptive) inner model theory past a Woodin cardinal which is a limit of Woodin cardinals. |
| title | Nairian Models |
| topic | Logic |
| url | https://arxiv.org/abs/2501.18958 |