English

Iterating the cofinality-$\omega$ constructible model

Logic 2021-09-14 v1

Abstract

We investigate iterating the construction of CC^{*}, the LL-like inner model constructed using first order logic augmented with the "cofinality ω\omega" quantifier. We first show that (C)C=CL\left(C^{*}\right)^{C^{*}}=C^{*}\ne L is equiconsistent with ZFC, as well as having finite strictly decreasing sequences of iterated CC^{*}s. We then show that in models of the form LμL^{\mu} we get infinite decreasing sequences of length ω\omega, and that an inner model with a measurable cardinal is required for that.

Keywords

Cite

@article{arxiv.2109.05840,
  title  = {Iterating the cofinality-$\omega$ constructible model},
  author = {Ur Ya'ar},
  journal= {arXiv preprint arXiv:2109.05840},
  year   = {2021}
}
R2 v1 2026-06-24T05:54:37.083Z