On the decidability of the theory of linear orderings with generalized quantifiers
H. Tuschik (1980)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On the elementary theory of linear order”
On the decidability of the theory of linear orderings with generalized quantifiers
Some remarks on well-ordered models
H. Kotlarski (1978)
Fundamenta Mathematicae
Similarity:
Classes of Dedekind finite cardinals
John Truss (1974)
Fundamenta Mathematicae
Similarity:
Axiomatization and undecidability results for linear betweenness relations
Robert Mendris, Pavol Zlatoš (1996)
Mathematica Slovaca
Similarity:
The relationship between two weak forms of the axiom of choice
Paul Howard, Herman Rubin, Jean Rubin (1973)
Fundamenta Mathematicae
Similarity:
On a classification of denumerable order types and an application to the partition calculus
P. Erdös, A. Hajnal (1962)
Fundamenta Mathematicae
Similarity:
Variants of the axiom of choice in set theory with atoms
Urlich Felgner, Thomas Jech (1973)
Fundamenta Mathematicae
Similarity:
Morley numbers for generalized languages
D. Gillam (1977)
Fundamenta Mathematicae
Similarity:
Ordered sequence spaces
Arens, Richard (1951)
Portugaliae mathematica
Similarity: