Iterating the cofinality-$\omega$ constructible model
Logic
2021-09-14 v1
Abstract
We investigate iterating the construction of , the -like inner model constructed using first order logic augmented with the "cofinality " quantifier. We first show that is equiconsistent with ZFC, as well as having finite strictly decreasing sequences of iterated s. We then show that in models of the form we get infinite decreasing sequences of length , 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}
}