All Questions

This question arose in the answers to Asaf Karagila's question Does ZFC prove that the universe is linearly orderable?. The answer there was that one can have a ZFC model with no global linear ...

When working over a model $V$ of $ZFC$, countably closed forcings are extremely nice: If $\mathbb{P}$ is countably closed, then $V[G]$ has no new $\omega$-sequences of elements of $V$. In ...

I'm broadly interested in notions of "generic presentability" - when a given object exists in every forcing extension of the universe by some fixed forcing, at least up to the appropriate ...