• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae
• Volume 20

Author: Sochor, Antonín

• Sochor, Antonín; Vopěnka, Petr: Endomorphic universes and their standard extensions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 605-629
• Sochor, Antonín: Metamathematics of the alternative set theory. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 697-722