Model theory for infinite quantifier languages

Tapani Hyttinen

Fundamenta Mathematicae (1990)

  • Volume: 134, Issue: 2, page 125-142
  • ISSN: 0016-2736

How to cite

top

Hyttinen, 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 ?

top

You must be logged in to post comments.