Varsovian models $ω$
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913832985690112 |
|---|---|
| author | Schlutzenberg, Farmer |
| author_facet | Schlutzenberg, Farmer |
| contents | For $n<ω$, let $N_n$ be the minimal iterable proper class mouse $M$ such that $M\models$ "there are ordinals $δ_0<κ_0<\ldots<δ_{n-1}<κ_{n-1}$ such that each $δ_i$ is a Woodin cardinal and each $κ_i$ is a strong cardinal", and let $N_ω$ be likewise, but with $M\models$ "there is an ordinal $λ$ which is a limit of Woodin cardinals and a limit of strong cardinals". Under appropriate large cardinal hypotheses, Sargsyan and Schindler introduced and analysed in "Varsovian models I" the Varsovian model of $N_1$, and Sargsyan, Schindler and the author introduced and analysed in "Varsovian models II" the Varsovian model of $N_2$. We extend this to $N_ω$, assuming that $*$-translation integrates routinely with the P-constructions of this paper (the write-up of which is yet to be completed). We show, under this assumption, that $N_ω$ has a proper class inner model $\mathscr{V}_ω$ which is a fully iterable strategy mouse with $ω$ Woodin cardinals, closed under its strategy, and that the universe of $\mathscr{V}_ω$ is the eventual generic HOD, and the mantle, of $N_ω$. We also show, under the same assumption, that the core model $K$ of $N_ω$ (which can be defined in a natural manner) is an iterate of $N_ω$, is an inner model of $\mathscr{V}_ω$, and is fully iterable in $M$ and in $\mathscr{V}_ω$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_14878 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Varsovian models $ω$ Schlutzenberg, Farmer Logic 03E45, 03E55 For $n<ω$, let $N_n$ be the minimal iterable proper class mouse $M$ such that $M\models$ "there are ordinals $δ_0<κ_0<\ldots<δ_{n-1}<κ_{n-1}$ such that each $δ_i$ is a Woodin cardinal and each $κ_i$ is a strong cardinal", and let $N_ω$ be likewise, but with $M\models$ "there is an ordinal $λ$ which is a limit of Woodin cardinals and a limit of strong cardinals". Under appropriate large cardinal hypotheses, Sargsyan and Schindler introduced and analysed in "Varsovian models I" the Varsovian model of $N_1$, and Sargsyan, Schindler and the author introduced and analysed in "Varsovian models II" the Varsovian model of $N_2$. We extend this to $N_ω$, assuming that $*$-translation integrates routinely with the P-constructions of this paper (the write-up of which is yet to be completed). We show, under this assumption, that $N_ω$ has a proper class inner model $\mathscr{V}_ω$ which is a fully iterable strategy mouse with $ω$ Woodin cardinals, closed under its strategy, and that the universe of $\mathscr{V}_ω$ is the eventual generic HOD, and the mantle, of $N_ω$. We also show, under the same assumption, that the core model $K$ of $N_ω$ (which can be defined in a natural manner) is an iterate of $N_ω$, is an inner model of $\mathscr{V}_ω$, and is fully iterable in $M$ and in $\mathscr{V}_ω$. |
| title | Varsovian models $ω$ |
| topic | Logic 03E45, 03E55 |
| url | https://arxiv.org/abs/2212.14878 |