Varsovian models $\omega$
Abstract
For , let be the minimal iterable proper class mouse such that "there are ordinals such that each is a Woodin cardinal and each is a strong cardinal", and let be likewise, but with "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 , and Sargsyan, Schindler and the author introduced and analysed in "Varsovian models II" the Varsovian model of . We extend this to , 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 has a proper class inner model which is a fully iterable strategy mouse with Woodin cardinals, closed under its strategy, and that the universe of is the eventual generic HOD, and the mantle, of . We also show, under the same assumption, that the core model of (which can be defined in a natural manner) is an iterate of , is an inner model of , and is fully iterable in and in .
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