Novak's result by Henkin's method
H. Doest (1969)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Comparison of the axioms of local and universal choice”
Novak's result by Henkin's method
Set existence principles of Shoenfield, Ackermann, and Powell
W. Reinhardt (1974)
Fundamenta Mathematicae
Similarity:
Axiomatic foundations for Nonstandard Analysis
Karel Hrbacek (1978)
Fundamenta Mathematicae
Similarity:
Metamathematics of the alternative set theory. I.
Antonín Sochor (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
On a weak Kelley-Morse theory of classes
Wiktor V. Marek, Antonín Sochor (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Natural models of set theories
R. Montague, R. Vaught (1959)
Fundamenta Mathematicae
Similarity:
A construction for consistent systems
I. Novak (1950)
Fundamenta Mathematicae
Similarity: