Geodesic
The role of the omitting types theorem in infinitary logic.
Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 55-68 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

Mots-clés : omitting types, generalized quantifiers 
@article{AMLG_1981__21_137975,
     author = {Jon Barwise},
     title = {The role of the omitting types theorem in infinitary logic.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {55--68},
     year = {1981},
     volume = {21},
     zbl = {0467.03034},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1981__21_137975/}
}
TY  - JOUR
AU  - Jon Barwise
TI  - The role of the omitting types theorem in infinitary logic.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1981
SP  - 55
EP  - 68
VL  - 21
UR  - http://geodesic.mathdoc.fr/item/AMLG_1981__21_137975/
ID  - AMLG_1981__21_137975
ER  - 
%0 Journal Article
%A Jon Barwise
%T The role of the omitting types theorem in infinitary logic.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1981
%P 55-68
%V 21
%U http://geodesic.mathdoc.fr/item/AMLG_1981__21_137975/
%F AMLG_1981__21_137975
Jon Barwise. The role of the omitting types theorem in infinitary logic.. Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 55-68. http://geodesic.mathdoc.fr/item/AMLG_1981__21_137975/