Geodesic
Models with second order properties. III. Omitting types for L(Q).
Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 1-12

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Zbl
Mots-clés : diamond, omitting type theorem, strong omitting type, standard model 
Saharon Shelah. Models with second order properties. III. Omitting types for L(Q).. Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 1-12. http://geodesic.mathdoc.fr/item/AMLG_1981__21_137972/
@article{AMLG_1981__21_137972,
     author = {Saharon Shelah},
     title = {Models with second order properties. {III.} {Omitting} types for {L(Q).}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {1--12},
     year = {1981},
     volume = {21},
     zbl = {0502.03016},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1981__21_137972/}
}
TY  - JOUR
AU  - Saharon Shelah
TI  - Models with second order properties. III. Omitting types for L(Q).
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1981
SP  - 1
EP  - 12
VL  - 21
UR  - http://geodesic.mathdoc.fr/item/AMLG_1981__21_137972/
ID  - AMLG_1981__21_137972
ER  - 
%0 Journal Article
%A Saharon Shelah
%T Models with second order properties. III. Omitting types for L(Q).
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1981
%P 1-12
%V 21
%U http://geodesic.mathdoc.fr/item/AMLG_1981__21_137972/
%F AMLG_1981__21_137972