On a weak Kelley-Morse theory of classes
Wiktor V. Marek, Antonín Sochor (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Metamathematics of the alternative set theory. I.”
On a weak Kelley-Morse theory of classes
Why semisets?
Petr Hájek (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity: