Geodesic
A Note on the Realization of Types
Canadian mathematical bulletin, Tome 23 (1980) no. 1, pp. 95-98

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

DOI

Let L be a countable first-order language and T a fixed complete theory in L. If is a model of T, is an n-sequence of variables, and ā=〈a1,..., an〉 is an n-sequence of elements of M, the universe of , we let where ranges over formulas of L containing freely at most the variables υ1,...υn . ā is said to realize in We let be where is the sequence of the first n variables of L. 
Adamson, Alan. A Note on the Realization of Types. Canadian mathematical bulletin, Tome 23 (1980) no. 1, pp. 95-98. doi: 10.4153/CMB-1980-012-7
@article{10_4153_CMB_1980_012_7,
     author = {Adamson, Alan},
     title = {A {Note} on the {Realization} of {Types}},
     journal = {Canadian mathematical bulletin},
     pages = {95--98},
     year = {1980},
     volume = {23},
     number = {1},
     doi = {10.4153/CMB-1980-012-7},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1980-012-7/}
}
TY  - JOUR
AU  - Adamson, Alan
TI  - A Note on the Realization of Types
JO  - Canadian mathematical bulletin
PY  - 1980
SP  - 95
EP  - 98
VL  - 23
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1980-012-7/
DO  - 10.4153/CMB-1980-012-7
ID  - 10_4153_CMB_1980_012_7
ER  - 
%0 Journal Article
%A Adamson, Alan
%T A Note on the Realization of Types
%J Canadian mathematical bulletin
%D 1980
%P 95-98
%V 23
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1980-012-7/
%R 10.4153/CMB-1980-012-7
%F 10_4153_CMB_1980_012_7

Cité par Sources :