The first order properties of Dedekind finite integers
Erik Ellentuck (1968)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “-categoricity of linear orderings”
The first order properties of Dedekind finite integers
On compact classes of models
Leszek Pacholski, Jan Waszkiewicz (1972)
Fundamenta Mathematicae
Similarity:
-satisfiability, -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for with a strong limit cardinal of cofinality
Ruggero Ferro (1988)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
-satisfiability, -consistency property, and the downward Lowenheim Skolem theorem for
Ruggero Ferro (1982)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
A compactness result concerning direct products of models
M. Makkai (1965)
Fundamenta Mathematicae
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Αll -dense sets of reals can be isomorphic
James Baumgartner (1973)
Fundamenta Mathematicae
Similarity:
The equivalence of definable quantifiers in second order arithmetic
Wojciech Guzicki (1981)
Fundamenta Mathematicae
Similarity:
A proof (involving Martin's axiom) of a partition relation
J. Baumgartner, A. Hajnal (1973)
Fundamenta Mathematicae
Similarity: