OMÉGA-LOGIQUE

Article

• CONTINU HYPOTHÈSE DU

  • Écrit par Patrick DEHORNOY
  • 2 220 mots
  On ne sait pas encore si ZFC+MMW est une solution pour H₂, mais la partie manquante s'exprime simplement dans le contexte de la Ω-logique, nouvelle logique introduite en 1999 par Woodin dont le but est, en quelque sorte, de voir net malgré le flou introduit par le forcing.