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
‖ 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/}
}
Cité par Sources :