A universe with no ordinal-definable, stationary, co-stationary subset of
arXiv:1707.03620
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