The role of the omitting types theorem in infinitary logic.
Archiv für mathematische Logik und Grundlagenforschung (1981)
- Volume: 21, page 55-68
- ISSN: 0003-9268
Access Full Article
top
How to cite
topBarwise, Jon. "The role of the omitting types theorem in infinitary logic.." Archiv für mathematische Logik und Grundlagenforschung 21 (1981): 55-68. <http://eudml.org/doc/137975>.
@article{Barwise1981,
author = {Barwise, Jon},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {omitting types; generalized quantifiers},
pages = {55-68},
title = {The role of the omitting types theorem in infinitary logic.},
url = {http://eudml.org/doc/137975},
volume = {21},
year = {1981},
}
TY - JOUR
AU - Barwise, Jon
TI - The role of the omitting types theorem in infinitary logic.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1981
VL - 21
SP - 55
EP - 68
KW - omitting types; generalized quantifiers
UR - http://eudml.org/doc/137975
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.