Forcing demonstrates that set-theoretic independence results depend on model structure, confirming t...
This proposition has not been edited since the history system was added.