Skip to main content
3 of 3
model-theory

Are some interesting mathematical statements minimal?

Gödel's set $\mathrm{L}$, of constructible sets, decides many interesting mathematical statements, as the Continuum hypothesis and the Axiom of Choice.

Are some interesting mathematical questions, which are not resolved in $\mathrm{ZF}$ + $\mathrm{V}=\mathrm{L}$, settled in the Minimal Model of ZF?