Article contents
Instabilité Des Corps Formellement Réels
Published online by Cambridge University Press: 20 November 2018
Extract
‖ 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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1977
References
- 5
- Cited by