MODÈLES THÉORIE DES
Bibliographie
J. Barwise & S. Feferman, Model-Theoretic Logics, Springer-Verlag, New York, 1985
C. C. Chang & H. J. Keisler, Model Theory, Elsevier Science, New York, 3e éd. 1990
G. Cherlin, Model-Theoretic Algebra, Springer, Berlin-New York, 1976
D. Lascar, Stability in Model Theory, Cambridge Univ. Press, 1987
D. Lascar & R. Cori, Logique mathématique, t. II : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles, Masson, Paris, 1993
A. I. Malcev, Algebraic Systems, Springer, 1977
M. Morley dir., Studies in Model Theory, Math. Ass. of America, Buffalo (N.Y.), 1973
B. Poizat, Cours de théorie des modèles : une introduction à la logique mathématique contemporaine, B. Poizat, Villeurbanne, 1985
A. Robinson, Complete Theories, Elsevier, 2e éd. 1977
S. Shelah, Classification Theory and the Number of Nonisomorphic Models, North Holland, Amsterdam, 1978.
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
Autres références
-
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
...tel infini existe, ou qu'il n'existe pas : à supposer que les axiomes de la théorie des ensembles soient non contradictoires, c'est-à-dire qu'il existe un modèle de cette théorie (un univers de Zermelo-Fraenkel), on peut construire un nouveau « modèle » où l'on est sûr qu'aucun infini ne se situe entre... -
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 6 140 mots
- 1 média
...objets d'un type distingué Ω sont interprétés par un ordinal α et où la relation ≤ distinguée entre objets de type Ω est interprétée par l'ordre de α (B- modèles). Une réponse simple est donnée par : pour tout α, nous avons une démonstration au moyen de la α-règle, qui est l'analogue de la ω-règle, obtenu... -
FORME
- Écrit par Jean PETITOT
- 27 344 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, de nombreux... - Afficher les 10 références
