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

## 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...