Geodesic
Instabilité Des Corps Formellement Réels
Canadian mathematical bulletin, Tome 20 (1977) no. 3, pp. 385-387

Voir la notice de l'article provenant de la source Cambridge University Press

‖ A ‖ désignera le cardinal de A. Soient T une théorie complète du premier ordre dans un langage dénombrable, M un modèle de T, X un sous-ensemble de M; soit T(X) l'ensemble des formules closes à paramètres dans X satisfaites par M; on appelle n-type de T sur X un ensemble consistant avec T(X) et maximal de formules à paramètres dans X à n variables libres. 
Duret, Jean-Louis. Instabilité Des Corps Formellement Réels. Canadian mathematical bulletin, Tome 20 (1977) no. 3, pp. 385-387. doi: 10.4153/CMB-1977-057-2
@article{10_4153_CMB_1977_057_2,
     author = {Duret, Jean-Louis},
     title = {Instabilit\'e {Des} {Corps} {Formellement} {R\'eels}},
     journal = {Canadian mathematical bulletin},
     pages = {385--387},
     year = {1977},
     volume = {20},
     number = {3},
     doi = {10.4153/CMB-1977-057-2},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1977-057-2/}
}
TY  - JOUR
AU  - Duret, Jean-Louis
TI  - Instabilité Des Corps Formellement Réels
JO  - Canadian mathematical bulletin
PY  - 1977
SP  - 385
EP  - 387
VL  - 20
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1977-057-2/
DO  - 10.4153/CMB-1977-057-2
ID  - 10_4153_CMB_1977_057_2
ER  - 
%0 Journal Article
%A Duret, Jean-Louis
%T Instabilité Des Corps Formellement Réels
%J Canadian mathematical bulletin
%D 1977
%P 385-387
%V 20
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1977-057-2/
%R 10.4153/CMB-1977-057-2
%F 10_4153_CMB_1977_057_2

[1] 1. Ax, James, On the undecidability of power series fields, Proc. Am. Math. Soc. 162 (1965) 846. Google Scholar

[2] 2. Baer, Reinhold, Inverses and zero-divisors, Bull. Amer. Math. Soc. 48 (1942) 630-638. Google Scholar

[3] 3. Berthier, Daniel, Stability of non-model-complete theories; products, groups, J. London Math. Soc. (2) 11 (1975) 453-464. Google Scholar

[4] 4. Feigner, Ulrich, ℵ-kategorische Theorien nicht-kommutativer Ringe, Fundamenta Mathematicae LXXXII (1975) 331-346. Google Scholar

[5] 5. Robinson, Julia, Definability and decision problems in arithmetic, J. S. L. 14 (1949). Google Scholar

[6] 6. Shelah, Saharon, Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory, Ann. Math. Logic (3) 3 (1971) 271-362. Google Scholar

[7] 7. Shelah, Saharon, Differentially closed fields, Israël J. of Math. 16 (1973) 314-328. Google Scholar

Cité par Sources :