Abstract
‖ 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.
Publisher
Canadian Mathematical Society
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献