5 citations · 13 across the 22 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017
A universe with no ordinal-definable, stationary, co-stationary subset of
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
math.LO2017★ 3 cited
NS saturated and -definable
Stefan Hoffelner
We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal , there is a model of $\ZFC$ in which $\NS$ is -saturated an…