Skip to main content
MathOverflow

Return to Question

Became Hot Network Question
model-theory
Link
Frode Alfson Bjørdal
Frode Alfson Bjørdal
  • 3.6k
  • 1
  • 15
  • 35
true => mathematical, in the title
Source Link
Frode Alfson Bjørdal
Frode Alfson Bjørdal
  • 3.6k
  • 1
  • 15
  • 35

Are some interesting truemathematical statements minimal?

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

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

Are some interesting true statements minimal?

Gödel's set of constructible sets L models many interesting mathematical statements, as the Continuum hypothesis and the Axiom of Choice.

Are some interesting mathematical questions, which are not resolved in ZF + V=L, resolved in the Minimal Model for ZF?

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?

Source Link
Frode Alfson Bjørdal
Frode Alfson Bjørdal
  • 3.6k
  • 1
  • 15
  • 35

Are some interesting true statements minimal?

Gödel's set of constructible sets L models many interesting mathematical statements, as the Continuum hypothesis and the Axiom of Choice.

Are some interesting mathematical questions, which are not resolved in ZF + V=L, resolved in the Minimal Model for ZF?