1
$\begingroup$

Jensen's covering lemma, stating that if there is no $0^\#$ in V, then some covering property holds true, has a very complex proof.

In any generic extension L[G] of L, $0^\#$ don't exist, so the covering lemma holds in it.

My question is, could the proof of covering lemma in L[G] be significantly simplified? Do we know such a simple proof?

$\endgroup$
2
  • $\begingroup$ Depending on what you've proved already, it could be simplified. The question is how much work you're willing to put "outside" the actual proof into perhaps more generalised lemmas. $\endgroup$
    – Asaf Karagila
    Mar 28, 2022 at 15:48
  • 2
    $\begingroup$ This question was covered by this one: mathoverflow.net/questions/137318/… $\endgroup$
    – Farmer S
    Mar 28, 2022 at 16:09

0

Your Answer

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