OMÉGA-LOGIQUE

Ce sujet est traité dans les articles suivants :

1.  CONTINU HYPOTHÈSE DU

Écrit par : Patrick DEHORNOY

Dans le chapitre "La Ω-logique de Woodin"  : … 1995, Woodin a proposé un tel candidat, noté ici MMW, comme « axiome de Martin maximal de Woodin ». *On ne sait pas encore si ZFC+MMW est une solution pour H2, 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… Lire la suite