@misc{indiciaedfae1c69c5fa, title = {A universe with no ordinal-definable, stationary, co-stationary subset of \$ω\_1\$}, author = {Stefan Hoffelner}, year = {2017}, url = {https://arxiv.org/abs/1707.03620}, note = {Source identifier: 1707.03620} }