Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The first order properties of Dedekind finite integers”
Natural models of set theories
An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity:
On a generalization of quantifiers
Andrzej Mostowski (1957)
Fundamenta Mathematicae
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
Axiomatic foundations for Nonstandard Analysis
Karel Hrbacek (1978)
Fundamenta Mathematicae
Similarity:
Second order forcing, algebraically closed structures, and large cardinals
G. Cherlin (1975)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Degrees of dependence in the theory of semisets.
Petr Hájek (1974)
Fundamenta Mathematicae
Similarity:
On open theories
Roman Sikorski (1962)
Colloquium Mathematicum
Similarity: