On a weak Kelley-Morse theory of classes
Wiktor V. Marek, Antonín Sochor (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Why semisets?”
On a weak Kelley-Morse theory of classes
Metamathematics of the alternative set theory. I.
Antonín Sochor (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Nonstandard models of arithmetic as an alternative basis for continuum considerations
Karel Čuda (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Metamathematics of the alternative set theory. III.
Antonín Sochor (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity: