On the decidability of the theory of linear orderings with generalized quantifiers
H. Tuschik (1980)
Fundamenta Mathematicae
Similarity:
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: