MODÈLES THÉORIE DES

Carte mentale

Élargissez votre recherche dans Universalis

Classification des modèles et complexité d'une théorie

Théories catégoriques

C'est un vieux rêve de l'axiomatique que de caractériser intégralement une structure mathématique par un ensemble, aussi simple que possible, de conditions formelles. Dans le cadre de la théorie des modèles, cet idéal s'exprime très précisément ainsi : Soit L un langage (égalitaire), T une théorie de L ; T est catégorique s'il n'existe, à l'isomorphisme près, qu'un seul modèle de T. Or on sait que le théorème de Löwenheim-Skolem a pour conséquence immédiate qu'une théorie ayant un modèle infini ne saurait être catégorique. Donc, si l'on s'intéresse aux théories de structures infinies, le seul espoir raisonnable est d'obtenir de T qu'elle soit κ-catégorique, pour un ou pour tout cardinal infini κ, c'est-à-dire qu'elle n'ait, à l'isomorphisme près, qu'un seul modèle de cardinalité κ.

Et, en effet, il existe de nombreux exemples de théories κ-catégoriques, pour une valeur, ou de multiples valeurs de κ. La théorie de l'égalité pure (dont les seuls axiomes sont ceux de l'égalité) est κ-catégorique pour tout κ ; il en est de même de la théorie des groupes infinis dont tout élément est d'ordre 2 (car ils peuvent être considérés comme des espaces vectoriels de dimension infinie sur Z/2Z), ou encore de la théorie du groupe (Z/4Z)ω. La théorie d'un ordre dense sans extrêmes est κ-catégorique pour κ = ℵ0 seulement (résultat dû à Cantor). La théorie des corps algébriquement clos de caractéristique p (où p est premier ou nul) est κ-catégorique pour tout κ non dénombrable, ainsi que la théorie des groupes abéliens divisibles et sans torsion.

De ces exemples Łoś dégage en 1954 la conjecture suivante :

Soit T une théorie dans un langage dénombrable. Si T est κ-catégorique pour un cardinal κ non dénombrable, T est κ-catégorique pour tout cardinal κ non dénombrable.

Cette conjecture est démontrée en 1962 par Morley. Les travaux de Morley n'ont pas seulement conduit à ce résultat magnifique ; ils ont aussi apporté à la théorie des modèles un ensemble de concepts et de méthodes auxquels elle doit, dans une grande [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 12 pages


Écrit par :

  • : docteur ès sciences, professeur de mathématiques à l'université de Paris-VII
  • : maître de recherche au CNRS
  • : professeur de philosophie à l'université de Paris-IV-Sorbonne, ancien directeur du département d'études cognitives, École normale supérieure

Classification


Autres références

«  MODÈLES THÉORIE DES  » est également traité 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 ensembles et dans la théorie des modèles ; et il a construit des modèles de la théorie des ensembles (sup […] Lire la suite☛ http://www.universalis.fr/encyclopedie/paul-joseph-cohen/#i_25244

CONTINU & DISCRET

  • Écrit par 
  • Jean-Michel SALANSKIS
  •  • 7 679 mots

Dans le chapitre « Investissement philosophique de l'opposition »  : […] Il existe une tradition philosophique rattachant le continu à l'Identité, au Même, à la Permanence : le structuralisme, qui pensait mener un combat contre ces figures, et tout particulièrement contre l'historicisme, nous a incité à considérer de préférence cette tradition, pour mieux la rejeter. Peut-être tire-t-elle sa force de la pensée de Leibniz, si l'on veut à tout prix déterminer une origin […] Lire la suite☛ http://www.universalis.fr/encyclopedie/continu-et-discret/#i_25244

DÉMONSTRATION THÉORIE DE LA

  • Écrit par 
  • Jean-Yves GIRARD
  •  • 6 260 mots
  •  • 1 média

Dans le chapitre « La logique Π12 »  : […] L'extension des résultats obtenus par Takeuti, Pohlers, Buchholz... pour le schéma de compréhension Π 1 1 à des systèmes plus forts nécessite de remplacer la ω-logique par des logiques correspondant à de plus grandes complexités logiques, Π 2 1 et plus généralement Π 1 n . Le problème de la […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/#i_25244

FORME

  • Écrit par 
  • Jean PETITOT
  •  • 27 547 mots

Dans le chapitre « Perturbations singulières »  : […] De nombreux travaux ont également été effectués sur les équations différentielles contraintes, c'est-à-dire sur les systèmes dynamiques pour lesquels il existe deux échelles de temps, une dynamique « rapide » amenant le point représentatif de l'espace de phase M × W sur une variété « lente » Σ ⊂ M × W (surface des états) et une dynamique « lente » faisant évoluer l'état sur Σ (cf.  […] Lire la suite☛ http://www.universalis.fr/encyclopedie/forme/#i_25244

GÖDEL KURT (1906-1978)

  • Écrit par 
  • Daniel ANDLER
  •  • 2 293 mots

Dans le chapitre « L'œuvre »  : […] Les travaux de Gödel ont été exposés et situés dans leur contexte mathématique et épistémologique (cf. logique mathématique , hilbert , fondements des mathématiques et problèmes de hilbert ). Aussi nous contenterons-nous ici d'un bref aperçu. Le premier grand résultat est celui de la complétud […] Lire la suite☛ http://www.universalis.fr/encyclopedie/kurt-godel/#i_25244

MALTSEV ANATOLI IVANOVITCH (1909-1967)

  • Écrit par 
  • Gabriel SABBAGH
  •  • 633 mots

Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen Logik , 1936, Maltsev démontre la version la plus générale (aucune restriction de cardinalité) du théorème de […] Lire la suite☛ http://www.universalis.fr/encyclopedie/anatoli-ivanovitch-maltsev/#i_25244

MODÈLE

  • Écrit par 
  • Raymond BOUDON, 
  • Hubert DAMISCH, 
  • Jean GOGUEL, 
  • Sylvanie GUINAND, 
  • Bernard JAULIN, 
  • Noël MOULOUD, 
  • Jean-François RICHARD, 
  • Bernard VICTORRI
  •  • 24 440 mots
  •  • 2 médias

Dans le chapitre « Le modèle mathématique »  : […] On sait, notamment depuis Cantor et Zermelo, que la plupart des notions de la mathématique peuvent être explicitées dans le cadre d'une théorie du premier ordre dont les axiomes affirment l'existence de certains objets appelés «  ensembles » (cf. théorie élémentaire des ensembles ). La réduction à laquelle il est fait allusion signifie, entre autres choses, qu'un nombre r […] Lire la suite☛ http://www.universalis.fr/encyclopedie/modele/#i_25244

MODÉLISATION, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 1 579 mots

Dans le chapitre « Théorie des modèles »  : […] La notion de modèle en logique s'attache à établir le lien précis entre les formules – qui sont des objets finis purement syntaxiques – et les structures elles-mêmes (construites de manière ensembliste), qui pourront posséder ou non les propriétés exprimées par les formules. Choisissons par exemple le langage composé des symboles =, + et s (en plus des symboles purement logi […] Lire la suite☛ http://www.universalis.fr/encyclopedie/modelisation-mathematique/#i_25244

ROBINSON ABRAHAM (1918-1974)

  • Écrit par 
  • Daniel ANDLER
  •  • 1 124 mots

Mathématicien et logicien américain d'origine allemande. Né à Waldenburg, en Allemagne (l'actuelle Walbrzych polonaise), dans une famille intellectuelle sioniste, Abraham Robinson émigre en Palestine avec sa famille en 1933. Tout en gagnant sa vie et en suivant l'entraînement militaire de la Haganah, il étudie les mathématiques à l'université hébraïque de Jérusalem ; il y manifeste un talent si éc […] Lire la suite☛ http://www.universalis.fr/encyclopedie/abraham-robinson/#i_25244

SKOLEM ALBERT THORALF (1887-1963)

  • Écrit par 
  • Gabriel SABBAGH
  •  • 438 mots

Logicien et mathématicien norvégien né à Sandsvaer et mort à Oslo. Ses travaux en algèbre (théorème de Skolem-Noether pour les algèbres associatives) et en théorie des nombres (introduction des méthodes p -adiques dans la théorie des équations diophantiennes), qui lui vaudraient, en tout état de cause, un rang honorable parmi les mathématiciens de son époque, sont éclipsés pa […] Lire la suite☛ http://www.universalis.fr/encyclopedie/albert-thoralf-skolem/#i_25244

Voir aussi

Pour citer l’article

Gabriel SABBAGH, Daniel LASCAR, Daniel ANDLER, « MODÈLES THÉORIE DES », Encyclopædia Universalis [en ligne], consulté le 24 octobre 2019. URL : http://www.universalis.fr/encyclopedie/theorie-des-modeles/