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

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}}