Model theory for infinite quantifier languages
Fundamenta Mathematicae (1990)
- Volume: 134, Issue: 2, page 125-142
- ISSN: 0016-2736
Access Full Article
topHow to cite
topHyttinen, Tapani. "Model theory for infinite quantifier languages." Fundamenta Mathematicae 134.2 (1990): 125-142. <http://eudml.org/doc/211799>.
@article{Hyttinen1990,
author = {Hyttinen, Tapani},
journal = {Fundamenta Mathematicae},
keywords = {Ehrenfeucht-Fraissé game; infinitely deep languages; transfinite quantifier alternations; game-theoretic semantics; Separation Theorem; Beth Theorem; Approximation Theorem for games},
language = {eng},
number = {2},
pages = {125-142},
title = {Model theory for infinite quantifier languages},
url = {http://eudml.org/doc/211799},
volume = {134},
year = {1990},
}
TY - JOUR
AU - Hyttinen, Tapani
TI - Model theory for infinite quantifier languages
JO - Fundamenta Mathematicae
PY - 1990
VL - 134
IS - 2
SP - 125
EP - 142
LA - eng
KW - Ehrenfeucht-Fraissé game; infinitely deep languages; transfinite quantifier alternations; game-theoretic semantics; Separation Theorem; Beth Theorem; Approximation Theorem for games
UR - http://eudml.org/doc/211799
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.