9
$\begingroup$

In some MO questions such as this and this, Hamkins gave some examples that is independent with ZF+V=L, however, all of them increase the consistency strength.

Are there some propositions P, which is interesting in some field of mathematics, and is independent with ZF+V=L, and con(ZFC) proves con(ZF+V=L+P) and con(ZF+V=L+¬P)?

$\endgroup$
2
  • 9
    $\begingroup$ This is essentially unknown. The only real way we know to produce independence results without increasing consistency is by forcing, which emphatically doesn't allow one to preserve V=L. This is discussed in some detail in Shelah's Logical dreams here: arxiv.org/pdf/math/0211398.pdf, see 4.8 Dream. $\endgroup$ Sep 17, 2021 at 6:53
  • 1
    $\begingroup$ @CoreyBacalSwitzer Your comment deserves to be posted as an answer IMO. $\endgroup$ Sep 18, 2021 at 15:31

1 Answer 1

11
$\begingroup$

As per @TimothyChow 's suggestion, I'm posting my comment as an answer.

This is essentially unknown. The only real way we know to produce independence results without increasing consistency is by forcing, which emphatically doesn't allow one to preserve V=L. This is discussed in some detail in Shelah's Logical dreams, see https://arxiv.org/pdf/math/0211398.pdf, 4.8 Dream.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.