• DML-CZ Home

Author: Čuda, Karel

• Čuda, Karel: Multiplication of nonadditive cuts in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 1, pp. 61-73
• Čuda, Karel; Vojtášková, Blanka: Monads of indiscernibles. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 109-119
• Čuda, Karel: On the adjunction of any semiset to the system of $Sd_V$-classes in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 4, pp. 775-778
• Čuda, Karel: A contribution to topology in AST: Almost indiscernibilities. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 485-499
• Čuda, Karel: A contribution to topology in AST: Compactness. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 1, pp. 43-61
• Čuda, Karel; Tzouvaras, Athanossios: Endomorphic cuts and tails. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 2, pp. 241-249
• Čuda, Karel; Vojtášková-Kussová, Blanka: Minimal monads. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 4, pp. 691-706
• Čuda, Karel: The consistency of the measurability of projective semisets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 1, pp. 103-121
• Čuda, Karel; Vojtášková-Kussová, Blanka: Model-theoretical constructions in AST. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 3, pp. 581-604
• Čuda, Karel: A nonstandard treatment with quantities. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 3, pp. 437-447
• Čuda, Karel: Some remarks to the axiom of prolongation. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 27 (1986), issue 2, pp. 19-21
• Čuda, Karel; Vojtášková, Blanka: Models of AST without choice. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 25 (1984), issue 4, pp. 555-589
• Čuda, Karel: Translation of nonstandard definitions to standard ones. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 25 (1984), issue 4, pp. 615-634
• Čuda, Karel; Kussová, Blanka: Monads in basic equivalences. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 3, pp. 437-452
• Čuda, Karel: Nonstandard models of arithmetic as an alternative basis for continuum considerations. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 3, pp. 415-430
• Čuda, Karel; Kussová, Blanka: Basic equivalences in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 629-644
• Čuda, Karel: An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 785-803
• Čuda, Karel: An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 3, pp. 433-445
• Čuda, Karel; Vopěnka, Petr: Real and imaginary classes in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 639-653
• Čuda, Karel: The nonabsolute boundedness model of the theory of semisets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 4, pp. 763-769
• Čuda, Karel: A nonstandard set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 4, pp. 647-663