English

Varsovian models $\omega$

Logic 2025-05-14 v2

Abstract

For n<ωn<\omega, let NnN_n be the minimal iterable proper class mouse MM such that MM\models "there are ordinals δ0<κ0<<δn1<κn1\delta_0<\kappa_0<\ldots<\delta_{n-1}<\kappa_{n-1} such that each δi\delta_i is a Woodin cardinal and each κi\kappa_i is a strong cardinal", and let NωN_\omega be likewise, but with MM\models "there is an ordinal λ\lambda 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 N1N_1, and Sargsyan, Schindler and the author introduced and analysed in "Varsovian models II" the Varsovian model of N2N_2. We extend this to NωN_\omega, 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ωN_\omega has a proper class inner model Vω\mathscr{V}_\omega which is a fully iterable strategy mouse with ω\omega Woodin cardinals, closed under its strategy, and that the universe of Vω\mathscr{V}_\omega is the eventual generic HOD, and the mantle, of NωN_\omega. We also show, under the same assumption, that the core model KK of NωN_\omega (which can be defined in a natural manner) is an iterate of NωN_\omega, is an inner model of Vω\mathscr{V}_\omega, and is fully iterable in MM and in Vω\mathscr{V}_\omega.

Cite

@article{arxiv.2212.14878,
  title  = {Varsovian models $\omega$},
  author = {Farmer Schlutzenberg},
  journal= {arXiv preprint arXiv:2212.14878},
  year   = {2025}
}

Comments

66 pages, 1 figure. Corrected acknowledgements, updated references

R2 v1 2026-06-28T07:57:39.089Z