An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Arithmetical extensions of relational systems”
An undecidable arithmetical statement
The first order properties of Dedekind finite integers
Erik Ellentuck (1968)
Fundamenta Mathematicae
Similarity:
Words, free algebras, and coequalizers
Andreas Blass (1983)
Fundamenta Mathematicae
Similarity:
Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
On open theories
Roman Sikorski (1962)
Colloquium Mathematicum
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Axiomatic foundations for Nonstandard Analysis
Karel Hrbacek (1978)
Fundamenta Mathematicae
Similarity:
The notion of universal completeness
Ribeiro, Hugo (1956)
Portugaliae mathematica
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity: