The stationarity of the collection of the locally regulars (Q494660)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The stationarity of the collection of the locally regulars
scientific article

    Statements

    The stationarity of the collection of the locally regulars (English)
    0 references
    0 references
    1 September 2015
    0 references
    The author investigates the set \(\Omega = \{ \omega_1^{L[x]} \mid x \in \mathbb{R} \}\). He is mostly interested in the case \(\omega_1\) is inaccessible to reals, that means \(\Omega \subseteq \omega_1 \). He analyses natural assumptions which imply that \(\Omega\) is stationary in \(\omega_1\). Furthermore, he investigates implications which hold between them, what their consistency strengths are; and which large cardinal assumptions outright imply them. He shows that if \(\omega_1\) is inaccessible to reals then \(\Omega\) is the collection of all countable ordinals \(\alpha> \omega\) that are regular in some inner model \(M \models\) ZFC. A set \(b \subseteq \omega_1\) is called resharped if \(\xi\) is countable in \(L[b]\) for all \(\xi<\omega_1\). The author shows that the following are equiconsistent over ZFC: {\parindent= 8mm \begin{itemize}\item[(i)] \(\Omega\) is stationary. \item[(ii)] \(\Omega\) contains a club. \item[(iii)] There is no reshaped set. \item[(iv)] There is a Mahlo cardinal. \end{itemize}}
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    coding
    0 references
    large cardinals
    0 references
    forcing
    0 references
    inner model
    0 references
    0 references