CONTINU HYPOTHÈSE DU
La Ω-logique de Woodin
Abordée depuis 1980, la recherche de solutions pour le fragment H2 est beaucoup plus ardue. Plusieurs candidats au titre de solution ont été isolés à partir des axiomes de forcing, qui sont des extensions du théorème de Baire (un sous-ensemble de ℝ est dit dense si son complémentaire ne contient aucun intervalle ouvert ; le théorème de Baire affirme qu'une intersection d'ouverts denses indexés par les nombres entiers naturels n'est jamais vide). Vers 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 net malgré le flou introduit par le forcing.
Une logique formelle met en jeu une notion de prouvabilité et une notion de validité. En Ω-logique, les preuves sont des sous-ensembles particuliers de ℝ, dits universellement Baire, et non, comme en logique usuelle, des suites d'énoncés obéissant à des règles syntaxiques. Le principe reste qu'une Ω-preuve est un certificat garantissant qu'un énoncé a une certaine propriété. Ici, on dit qu'un ensemble universellement Baire A est une Ω-preuve pour ϕ si ϕ est vrai dans tous les modèles dénombrables (M, E) tels que A reste universellement Baire dans toute extension par forcing de (M, E). Si ϕ est prouvable en logique usuelle, alors ϕ est Ω-prouvable, mais la réciproque est fausse.
La validité en Ω-logique est définie en référence au modèle (V, ∈) des vrais ensembles : un énoncé est dit Ω-valide s'il est vrai dans toute extension par forcing de (V, ∈).
La Ω-logique est cohérente : tout énoncé Ω-prouvable est Ω-valide. En revanche, sa complétude, c'est-à-dire la question de savoir si tout énoncé Ω-valide est Ω-prouvable, reste pour le moment une conjecture, simplement appelée la Ω-conjecture. Woodin donne plusieurs arguments étayant la Ω-conjecture. Il montre en particulier qu'elle équivaut à la possibilité de construire un modèle canonique pour chaque grand cardinal. À ce jour, de tels modèles existent pour de nombreux grands cardinaux, et aucun contre-exemple n'est connu.
Woodin montre que, si la Ω-conjecture est vraie, alors ZFC+A est une solution pour une structure H si et seulement si A est un axiome Ω-complet pour H, au sens où toute propriété de H est soit Ω-prouvable, soit Ω-réfutable à partir de A. Par ailleurs, il établit que MMW est un axiome Ω-complet pour H2, d'où il résulte que, si la Ω-conjecture est vraie, ZFC+MMW est une solution pour H2.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Patrick DEHORNOY : professeur à l'université de Caen et à l'Institut universitaire de France
Classification
Autres références
-
CANTOR GEORG (1845-1918)
- Écrit par Hourya BENIS-SINACEUR
- 2 886 mots
- 1 média
...contraire à l’intuition qu’il sollicite l’avis de Dedekind : « Je le vois, mais je ne le crois pas », lui écrit-il. On ne pouvait imaginer en effet que la notion si fondamentale de dimension d’un espace continu (égale à 2 pour le carré, à 1 pour l’intervalle, à 3 pour un cube, etc.) n’intervienne pas dans... -
COHEN PAUL JOSEPH (1934-2007)
- Écrit par Gabriel SABBAGH
- 154 mots
Mathématicien et logicien américain, Paul Joseph Cohen est né le 2 avril 1934 à Long Branch (New Jersey) et mort le 23 mars 2007 à Stanford (Californie). En 1963, Cohen a découvert une nouvelle construction de modèles, appelée forcing, qui joue désormais un rôle fondamental dans la théorie des...
-
CONTINU & DISCRET
- Écrit par Jean-Michel SALANSKIS
- 7 672 mots
...associé à l'objet de l'analyse réelle. On se contentera ici de mentionner le théorème de Lowenheim-Skolem et le résultat de Cohen au sujet de l'hypothèse du continu : ces travaux, parmi les plus célèbres du domaine en question, permettent de bien voir comment se pose le problème du continu dans le cadre de... -
GÖDEL KURT (1906-1978)
- Écrit par Daniel ANDLER
- 2 292 mots
...premier résultat de non-contradiction relative. Si la théorie des ensembles est cohérente, cette théorie enrichie de l'axiome du choix et de l'hypothèse généralisée du continu est cohérente. La notion d'univers constructible employée par Gödel dans ce travail est devenue l'un... - Afficher les 7 références
