A universe with no ordinal-definable, stationary, co-stationary subset of \omega₁

arXiv1707.03620MaRDI QIDQ6288910FDOQ6288910

Publication date: 12 July 2017

Abstract: It is shown that the existence of a measurable cardinal is equiconsistent to a model of ZFC in which there is no ordinal-definable, stationary, costationary subset of

o m e g a_{1}

This page was built for publication: A universe with no ordinal-definable, stationary, co-stationary subset of $\omega_1$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6288910)