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?

Improve this question
$\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 ♦
    Commented Mar 28, 2022 at 15:48
  • 2
    $\begingroup$ This question was covered by this one: mathoverflow.net/questions/137318/… $\endgroup$
    – Farmer S
    Commented Mar 28, 2022 at 16:09

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .