Eine algebraische Konstruktion abzählbarer Modelle.
Archiv für mathematische Logik und Grundlagenforschung, Tome 18 (1977), pp. 135-144
Voir la notice de l'article provenant de la source European Digital Mathematics Library
Mots-clés :
first order logic, algebraic construction of countable models, finite partial submodels, compactness theorem, omitting types theorem
@article{AMLG_1977__18_137935,
author = {W. Sch\"onfeld},
title = {Eine algebraische {Konstruktion} abz\"ahlbarer {Modelle.}},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {135--144},
publisher = {mathdoc},
volume = {18},
year = {1977},
zbl = {0411.03020},
url = {http://geodesic.mathdoc.fr/item/AMLG_1977__18_137935/}
}
W. Schönfeld. Eine algebraische Konstruktion abzählbarer Modelle.. Archiv für mathematische Logik und Grundlagenforschung, Tome 18 (1977), pp. 135-144. http://geodesic.mathdoc.fr/item/AMLG_1977__18_137935/