• DML-CZ Home

03H15 Nonstandard models of arithmetic (23 articles)

• Sochor, A.: Complexity of the axioms of the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 1, pp. 33-45
• Čuda, Karel: Multiplication of nonadditive cuts in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 1, pp. 61-73
• Sgall, Jiří; Sochor, Antonín: Revealed automorphisms. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 1, pp. 105-113
• Henriksen, Melvin; Smith, Frank A.: Ordered ultraconnected rings. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 31 (1990), issue 1, pp. 41-47
• Kalina, Martin; Zlatoš, Pavol: Borel classes in AST. Measurability, cuts and equivalence. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 2, pp. 357-372
• 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
• Kalina, Martin; Zlatoš, Pavol: Cuts of real classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 129-136
• Č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
• 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
• Kalina, Martin; Zlatoš, Pavol: Arithmetic of cuts and cuts of classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 435-456
• Tzouvaras, Athanossios: Definability degrees for classes in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 1, pp. 41-48
• Č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
• 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
• Mlček, Josef: Some automorphisms of natural numbers in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 3, pp. 467-475
• Č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: 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
• Hájek, Petr: Completion closed algebras and models of Peano arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 3, pp. 585-594
• Sochor, Antonín; Vencovská, Alena: Indiscernibles in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 785-798
• Č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
• Souček, J.: On some problems in $\beta N$. (English). In: Frolík, Z. (ed.): Abstracta. 8th Winter School on Abstract Analysis. Czechoslovak Academy of Sciences, Praha, 1980. pp. 158-160