On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Models of second order arithmetic with definable Skolem functions”
On ω-models which are not β-models
On expansions of β-models
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Similarity:
Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
A contribution to Gödel's axiomatic set theory, I
Ladislav Rieger (1957)
Czechoslovak Mathematical Journal
Similarity:
A construction for consistent systems
I. Novak (1950)
Fundamenta Mathematicae
Similarity:
Axiomatizability of second order arithmetic with ω-rule
Paweł Zbierski (1978)
Fundamenta Mathematicae
Similarity:
Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
Degrees of dependence in the theory of semisets.
Petr Hájek (1974)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity: