Asaf Karagila
I don't have much choice...

Posts tagged mathematics

Definable Models Without Choice

Suppose that a parameter formula defines an inner model. Does that inner model satisfy choice?

Well, obviously, if choice failed then the answer is no, just by taking \(x=x\). But what if we remove that option. Namely, if the inner model is not the entire universe, then choice holds. Continue reading...