Corpus ID: 237491995

# Iterating the cofinality-$\omega$ constructible model

@inproceedings{Yaar2021IteratingTC,
title={Iterating the cofinality-\$\omega\$ constructible model},
author={Ur Ya'ar},
year={2021}
}
• Ur Ya'ar
• Published 13 September 2021
• Mathematics
We investigate iterating the construction of C∗, theL-like inner model constructed using first order logic augmented with the “cofinalityω” quantifier. We first show that (C∗) ∗ = C 6= L is equiconsistent with ZFC, as well as having finite strictly decreasing sequences of iterated Cs. We then show that in models of the form L we get infinite decreasing sequences of length ω, and that an inner model with a measurable cardinal is required for that.

#### References

SHOWING 1-7 OF 7 REFERENCES
On sequences generic in the sense of Prikry
I establish here a criterion for a sequence of ordinals to be generic over a transitive model of ZFC with respect to a notation of forcing first considered by Prikry in his Doctoral dissertation [2].Expand
Changing cofinality of a measurable cardinal (an alternative proof)
• Commentationes Mathematicae Universitatis Carolinae
• 1973
On the sequence of models HODn
• Consistency results about ordinal definability
• 1971