Metamathematics of the alternative set theory. I.
Antonín Sochor (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Provability in the alternative set theory”
Metamathematics of the alternative set theory. I.
On a weak Kelley-Morse theory of classes
Wiktor V. Marek, Antonín Sochor (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Degrees of interpretability
Vítězslav Švejdar (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Why semisets?
Petr Hájek (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity: