On the decidability of the theory of linear orderings with generalized quantifiers

H. Tuschik

Fundamenta Mathematicae (1980)

  • Volume: 107, Issue: 1, page 21-32
  • ISSN: 0016-2736

How to cite

top

Tuschik, H.. "On the decidability of the theory of linear orderings with generalized quantifiers." Fundamenta Mathematicae 107.1 (1980): 21-32. <http://eudml.org/doc/211121>.

@article{Tuschik1980,
author = {Tuschik, H.},
journal = {Fundamenta Mathematicae},
keywords = {theory of linear orderings; generalized quantifiers},
language = {eng},
number = {1},
pages = {21-32},
title = {On the decidability of the theory of linear orderings with generalized quantifiers},
url = {http://eudml.org/doc/211121},
volume = {107},
year = {1980},
}

TY - JOUR
AU - Tuschik, H.
TI - On the decidability of the theory of linear orderings with generalized quantifiers
JO - Fundamenta Mathematicae
PY - 1980
VL - 107
IS - 1
SP - 21
EP - 32
LA - eng
KW - theory of linear orderings; generalized quantifiers
UR - http://eudml.org/doc/211121
ER -

NotesEmbed ?

top

You must be logged in to post comments.