• DML-CZ Home

Author: Sochor, Antonín

• Sochor, Antonín: Petr Vopěnka (*16. 5. 1935). (Czech) [Petr Vopěnka (born 16.5.1935)]. Pokroky matematiky, fyziky a astronomie, vol. 45 (2000), issue 2, pp. 125-134
• Hájek, Petr; Sochor, Antonín: Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům. (Czech) [Classical logic in context of its generalizations and Professor Fiala’s tilting at windmills]. Pokroky matematiky, fyziky a astronomie, vol. 43 (1998), issue 1, pp. 39-45
• 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
• Sochor, Antonín: Book reviews. Petr Vopěnka, Petr Hájek: The theory of semisets. (English). Czechoslovak Mathematical Journal, vol. 23 (1973), issue 2, pp. 347-348
• Sochor, Antonín: Der $\Pi$-Prozess. (German) [The $\Pi$-process]. Časopis pro pěstování matematiky, vol. 93 (1968), issue 2, pp. 145-147
• Sochor, Antonín: Poznámky o linearitě zobrazení $E_m$ do $E_m$. (Czech) [On the linearity of mappings of $E\sb m$ into $E\sb m$]. Časopis pro pěstování matematiky, vol. 87 (1962), issue 3, pp. 290-295