Conjecture de Vaught

La conjecture de Vaught est une conjecture mathématique proposée par Robert Lawson Vaught dans le champ de la théorie des modèles. Il s’agit de dire que l’ensemble des modèles dénombrables d’une théorie du premier ordre complète dans un langage dénombrable est soit fini, soit dénombrable, soit doté de la puissance du continu. Cette conjecture, malgré certaines avancées, reste un problème ouvert de la théorie des modèles.

Spectre d’une théorie

Soit un langage dénombrable. Soit une -théorie complète.

Pour chaque cardinal , on pose valant le nombre de modèles de de cardinalité à un isomorphisme près.

En faisant varier , on trouve le spectre de la théorie . Le spectre de correspond donc au nombre de modèles non isomorphes de avec un cardinal fixé.

Le problème du spectre consiste à étudier, pour une théorie , le comportement de selon la valeur de . Saharon Shelah[1] a presque résolu le problème du spectre lorsque est dénombrable. Le problème dont la conjecture de Vaught est une solution possible est le principal problème ouvert de la théorie du spectre.

Énoncé de la conjecture

Dans le cas où est dénombrable et est une théorie complète dans la logique du premier ordre, la conjecture de Vaught affirme qu’un et un seul de ces trois cas se vérifie :

  • pour un certain

Étant donné qu’il est démontrable qu’une théorie dans un langage dénombrable a au plus modèles dénombrables non isomorphes, la conjecture de Vaught consiste en l’affirmation qu’il n’existe aucune théorie , complète dans un langage dénombrable, dont le nombre de modèles dénombrables non isomorphes soit strictement compris entre et .

Lien avec l'hypothèse du continu

Il est notable que si l’hypothèse du continu était vraie, la conjecture de Vaught serait triviale. En effet, l’hypothèse du continu, proposée par Georg Cantor, affirme que .

Autrement dit, il n’existe aucun cardinal entre l’infini dénombrable et la puissance du continu. Dès lors, un contre-exemple à la conjecture de Vaught devient une impossibilité mathématique.

Cependant, à la suite des travaux de Gödel et de Cohen sur l’indépendance de l’hypothèse du continu, nous savons qu’il existe des modèles de la théorie des ensembles où cette hypothèse n’est pas satisfaite. C’est dans ces cas que la conjecture de Vaught prend toute son importance. Elle affirme que même s’il existe des cardinaux strictement compris entre et , l’ensemble des modèles dénombrables non isomorphes d’une théorie complète dans un langage dénombrable ne pourra jamais prendre pour cardinal l’un d’eux.

Principales avancées

Un certain nombre de théorèmes ont démontré la conjecture de Vaught sur un domaine restreint[2]. Notamment :

Néanmoins, le résultat le plus important reste celui de Morley. Il démontra que un et un seul de ces quatre cas se vérifie :

  • pour un certain

L'intérêt de ce théorème réside dans le fait qu'une démonstration de la conjecture de Vaught n'a pas que le cas à exclure.

Contre-exemple de Knight

Robin Knight affirme avoir trouvé un contre-exemple à la conjecture de Vaught[3].

Plus précisément, il affirme avoir une théorie dénombrable de la logique du premier ordre dont le nombre de modèles dénombrables non isomorphes est .

Le manuscrit dans lequel il développe son exemple fait 117 pages et développe des outils spécialement dans le but de réfuter la conjecture de Vaught. La longueur et la nouveauté des outils font qu’il est très compliqué d’évaluer si ce que Knight propose constitue ou non une réfutation correcte de la conjecture de Vaught.

Plusieurs séminaires de lecture ont été tenus sur ce manuscrit[4]. Les conclusions furent que des modifications essentielles étaient à réaliser pour garantir la validité de l’argument.

Depuis, Knight a réalisé des révisions majeures sur son manuscrit. À ce jour, on ne sait si ces révisions ont permis d’atteindre un véritable contre-exemple à la conjecture. Ainsi, elle reste un problème ouvert de la théorie des modèles.

Bibliographie

  • S. Buechler, Vaught’s conjecture for superstable theories of finite rank, Ann. Pure Appl. Logic, 155-3 (2008), 135-172
  • M. David (2002), Model theory: An introduction, Graduate Texts in Mathematics, 217, New York, NY: Springer-Verlag, (ISBN 0-387-98760-6), Zbl 1003.03034
  • Knight, R. W. (2002), The Vaught Conjecture: A Counterexample, manuscript
  • L. Mayer, Vaught’s conjecture for o-minimal theories, J. Symbolic Logic 53 (1988), 146–159.
  • Miller, A., Ph.D. thesis, Berkeley, 1977.
  • M. Morley, "The number of countable models" J. Symbolic Logic , 35 (1970) pp. 14–18
  • S. Shelah, L. Harrington, and M. Makkai, A proof of Vaught’s conjecture for ω-stable theories, Isr. J. Math. 49 (1984), 259–280
  • J. Steel, On Vaught’s Conjecture, in Cabal Seminar 76–77, A. Kechris and Y. Moschovakis, eds., Springer-Verlag, New York, 1978.
  • R. Vaught, Denumerable models of complete theories, Infinitistic Methods, Pergamon, New York 1961.

Notes et références

  1. (en) « Spectrum of a theory », Wikipedia, (lire en ligne, consulté le )
  2. (en) Marker, D. (David), 1958-, Model theory : an introduction, New York, Springer, , 342 p. (ISBN 0-387-98760-6, OCLC 49326991, lire en ligne)
  3. R. W. Knight, « Preprints », sur people.maths.ox.ac.uk (consulté le )
  4. « Has Vaught's Conjecture Been Solved? », sur mathoverflow.net (consulté le )
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.