MODÈLES THÉORIE DES
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 mesure, sa présente fécondité. C'est pourquoi, sans prétendre fournir ici de démonstration, on s'attachera à présenter quelques-unes de ses idées-forces.
Les grands axes de la démonstration de Morley
Étude des espaces S1(X)
Nous proposons désormais que T est une théorie dans un langage dénombrable L, que T n'a pas de modèle fini, qu'elle est complète et permet l'élimination des quantificateurs dans L. Nous désignons par b une L-structure, par X un sous-ensemble de A.
Si B n (X) désigne le quotient de l'ensemble des formules de L(X) à n variables libres par la T(X)-équivalence (où T(X) est la théorie de (A, X), indépendante de a), alors l'ensemble S n (X) des n-types au-dessus de X est le stonien (c'est-à-dire l'ensemble des ultrafiltres) de B n (X) : c'est un espace topologique compact et totalement discontinu dont une base d'ouverts-fermés est constituée par les Uϕ = {p ; ϕ ∈ p}, avec ϕ ∈ B n (X). Les types principaux sont les points isolés de S n (X).
Deux idées profondément originales, dues à Morley, orientent cette étude : l'une se fonde sur la cardinalité, l'autre sur l'opération de dérivation de Cantor-Bendixson.
La première part de la définition suivante : Soit λ un cardinal infini : T est λ-stable si, pour toute partie X d'un modèle de T,
Morley établit les implications suivantes :
La seconde idée consiste à classer les éléments de S1(X) selon leur degré d'« isolement » relatif. Un élément isolé p de S1(X) a pour rang de Cantor-Bendixson CB(p) = 0[...]
Pour nos abonnés, l'article se compose de 4 pages
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
- Daniel ANDLER : professeur de philosophie à l'université de Paris-IV-Sorbonne, ancien directeur du département d'études cognitives, École normale supérieure
- Daniel LASCAR : maître de recherche au CNRS
- Gabriel SABBAGH : docteur ès sciences, professeur de mathématiques à l'université de Paris-VII
Classification
Pour citer cet article
Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH, « MODÈLES THÉORIE DES », Encyclopædia Universalis [en ligne], consulté le . URL :
Autres références
-
COHEN PAUL JOSEPH (1934-2007)
- Écrit par Gabriel SABBAGH
- 844 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[...]
-
CONTINU & DISCRET
- Écrit par Jean-Michel SALANSKIS
- 42 192 mots
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 33 765 mots
- 1 média
-
FORME
- Écrit par Jean PETITOT
- 150 388 mots
[...]évolutions catastrophiques par franchissement de seuils. Il s'agit donc, dans ces modèles, d'adjoindre à la dynamique interne une dynamique « externe » lente. Depuis l'usage fait par Christopher Zeeman d'un tel système dynamique contraint pour la modélisation – désormais classique – de l'influx nerveux,[...] -
GÖDEL KURT (1906-1978)
- Écrit par Daniel ANDLER
- 12 601 mots
- Afficher les 10 références
Voir aussi
- LOWENHEIM-SKOLEM THÉORÈME DE
- LOGIQUE MATHÉMATIQUE
- P-ADIQUES NOMBRES
- DÉCIDABILITÉ
- CARDINAL, mathématiques
- RAMSEY THÉORÈME DE
- ENSEMBLES THÉORIE AXIOMATIQUE DES
- TYPES THÉORIE DES, logique mathématique
- COMPACITÉ, logique
- ULTRAPRODUITS
- CANTOR-BERNSTEIN THÉORÈME DE
- EXTENSION, logique
- LANGAGE, logique mathématique
- COHÉRENCE, logique mathématique
- ULTRAFILTRE
- ŁOŚ THÉORÈME DE
- MORLEY THÉORÈME DE
- SHELAH SAHARON (1945- )
- SATURATION, logique
- DIAGRAMME, mathématiques
- MODÈLE, mathématiques
