A universe with no ordinal-definable, stationary, co-stationary subset of ω1
Stefan Hoffelner
所有作者
Stefan Hoffelner
文献摘要
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 ω1