Corpus ID: 237485095

Models for short sequences of measures in the cofinality-$\omega$ constructible model

@inproceedings{Yaar2021ModelsFS,
  title={Models for short sequences of measures in the cofinality-\$\omega\$ constructible model},
  author={Ur Ya'ar},
  year={2021}
}
  • Ur Ya'ar
  • Published 9 September 2021
  • Mathematics
We investigate the relation betweenC∗, themodel of sets constructible using first order logic augmented with the “cofinality-ω” quantifier, and “short” sequences of measures – sequences of measures of order 1, which are shorter than their minimum. We show that certain core models for short sequences of measures are contained in C; we compute C in a model of the form L [U ] where U is a short sequence of measures, and in models of the form L [U ] [G] whereG is generic for adding Prikry sequences… 

References

SHOWING 1-4 OF 4 REFERENCES
Measurable cardinals and good -wellorderings
TLDR
It is shown that measurability is the smallest large cardinal property that imposes restrictions on the existence of such wellorderings at uncountable cardinals in the minimal model containing a measurable cardinal.
The core model for sequences of measures. I
The model K ( ) presented in this paper is a new inner model of ZFC which can contain measurable cardinals of high order. Like the model L ( ) of [14], from which it is derived, K ( ) is constructed
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL
A theory of short core models and applications
  • Ph.D. thesis, University of Freiburg,
  • 1983