Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Novak's result by Henkin's method”
Comparison of the axioms of local and universal choice
Set existence principles of Shoenfield, Ackermann, and Powell
W. Reinhardt (1974)
Fundamenta Mathematicae
Similarity:
A construction for consistent systems
I. Novak (1950)
Fundamenta Mathematicae
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
A contribution to Gödel's axiomatic set theory, I
Ladislav Rieger (1957)
Czechoslovak Mathematical Journal
Similarity:
Metamathematics of the alternative set theory. I.
Antonín Sochor (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity: