• 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
• Computer Science
Math. Log. Q.
• 2018
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
A theory of short core models and applications
• Ph.D. thesis, University of Freiburg,
• 1983