Axiomatizability of second order arithmetic with ω-rule
Paweł Zbierski (1978)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Non-finitizability of a weak second-order theory”
Axiomatizability of second order arithmetic with ω-rule
Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
A construction for consistent systems
I. Novak (1950)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
A contribution to Gödel's axiomatic set theory, I
Ladislav Rieger (1957)
Czechoslovak Mathematical Journal
Similarity:
The quantifier complexity of NF.
Kaye, Richard (1996)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
Axiomatic foundations for Nonstandard Analysis
Karel Hrbacek (1978)
Fundamenta Mathematicae
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
Novak's result by Henkin's method
H. Doest (1969)
Fundamenta Mathematicae
Similarity: