• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae

Author: Sochor, Antonín

• Sgall, Jiří; Sochor, Antonín: Forcing in the alternative set theory. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 2, pp. 339-353
• Sgall, Jiří; Sochor, Antonín: Revealed automorphisms. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 1, pp. 105-113
• Sochor, Antonín; Vopěnka, Petr: Constructions of classes by transfinite induction in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 155-161
• Sochor, Antonín: Addition of initial segments. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 501-517
• Sochor, Antonín: Addition of initial segments. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 519-528
• Sochor, Antonín: Constructibility and shiftings of view. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 3, pp. 477-498
• Sochor, Antonín: Notes on revealed classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 3, pp. 499-514
• Sochor, Antonín: Metamathematics of the alternative set theory. III. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 1, pp. 137-154
• Sochor, Antonín; Vopěnka, Petr: Shiftings of the horizon. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 1, pp. 127-136
• Sochor, Antonín: Metamathematics of the alternative set theory. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 1, pp. 55-79
• Sochor, Antonín; Vopěnka, Petr: The axiom of reflection. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 1, pp. 87-111
• Sochor, Antonín; Vencovská, Alena: Indiscernibles in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 785-798
• Resl, Michal; Sochor, Antonín: Provability in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 655-660
• Sochor, Antonín; Vopěnka, Petr: Ultrafilters of sets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 689-699
• Sochor, Antonín; Vopěnka, Petr: Revealments. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 1, pp. 97-118
• 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
• Marek, Wiktor V.; Sochor, Antonín: On a weak Kelley-Morse theory of classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 371-381
• Sochor, Antonín: Real classes in the ultrapower of hereditarily finite sets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 4, pp. 637-640