\(\omega_ 1\)-constructible universe and measurable cardinals (Q1076012)

In analogy with K. Gödel's model L, C. Chang formulated the \(\omega_ 1\)-constructible universe \(C^{\omega_ 1}\) using the infinitary language \(L_{\omega_ 1\omega_ 1}\) instead of the language of set theory \(L_{\omega \omega}\). \(C^{\omega_ 1}\) can also be characterized as the least inner model closed under arbitrary countable sequences. This paper is inspired by results of R. Jensen and J. Silver concerning the existence of \(O^{\#}\) and the covering property for L. We consider here a stronger notion of indiscernibles and we say that \(C^{\omega_ 1}\) satisfies the ''covering property'' if any set of ordinals X in the universe can be covered by a set in \(C^{\omega_ 1}\) of cardinality \(| X|^{\aleph_ 0}\). The existence of ''indiscernibles'' for \(C^{\omega_ 1}\) is also linked to large cardinal assumptions, and we show (in ZFC) that the existence of \(\omega_ 1\) measurable cardinals implies the violation of the covering property by \(C^{\omega_ 1}\) which in turn yields the existence, for any \(\alpha <\omega_ 1\), of an inner model with \(\alpha\) measurable cardinals.