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

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)