• DML-CZ Home

03E70 Nonclassical and second-order set theories (91 articles)

• Prati, Nando: Alternative set theory with elementary classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 35 (1994), issue 1, pp. 193-203
• Kalina, Martin: Expected values in the alternative set theory and their applications to some limit theorems. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 35 (1994), issue 1, pp. 169-179
• Sochor, A.: Complexity of the axioms of the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 1, pp. 33-45
• Chen, Shutao; Wisła, Marek: Extreme compact operators from Orlicz spaces to $C(\Omega)$. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 1, pp. 63-77
• Guričan, Jaroslav: Homology theory in the AST III. Comparison with homology theories of Čech and Vietoris. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 1, pp. 11-22
• Mlček, Josef: Monotonic valuations of $\pi \sigma $-triads and evaluations of ideals. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 34 (1993), issue 1, pp. 23-32
• Náter, J.; Pulmann, P.; Zlatoš, P.: Dimensional compactness in biequivalence vector spaces. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 33 (1992), issue 4, pp. 681-688
• Guričan, Jaroslav: Homology theory in the AST II. Basic concepts, Eilenberg-Steenrod's axioms. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 33 (1992), issue 2, pp. 353-372
• Mlček, Josef: $\in $-representation and set-prolongations. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 33 (1992), issue 4, pp. 661-666
• Mlček, Josef: Valuations of lines. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 33 (1992), issue 4, pp. 667-679
• Šmíd, Miroslav; Zlatoš, Pavol: Biequivalence vector spaces in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 3, pp. 517-544
• Sgall, Jiří: Forcing in the alternative set theory. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 2, pp. 323-337
• 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
• Guričan, Jaroslav: Homology theory in the alternative set theory I. Algebraic preliminaries. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 1, pp. 75-93
• Č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
• Kalina, Martin; Zlatoš, Pavol: Some connections between measure, indiscernibility and representation of cuts. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 31 (1990), issue 4, pp. 751-763
• 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
• Mlček, Josef: Combinatoric properties of classes in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 141-154
• 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
• Witzany, Jiří: Correspondence between interval $\pi$-equivalences and $Sd$-functions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 175-187
• Kalina, Martin; Zlatoš, Pavol: Cuts of real classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 129-136
• Č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
• Kalina, Martin: Probability in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 2, pp. 347-356
• Kalina, Martin: A sequential approach to a construction of measures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 121-128
• Tzouvaras, Athanossios: Simple motions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 163-173
• 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
• Čuda, Karel: A contribution to topology in AST: Almost indiscernibilities. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 485-499
• Tzouvaras, Athanossios: Correction to the paper “A notion of measure for classes in AST”. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 2, pp. 393
• Mlček, Josef: Correction to the paper: “Set-like equivalence and inner and outer cuts”. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 2, pp. 395
• 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 contribution to topology in AST: Compactness. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 1, pp. 43-61
• Sgall, Jiří; Witzany, Jiří: Dimension of indiscernibility equivalences. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 3, pp. 537-547
• Č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
• Tzouvaras, Athanossios: A notion of measure for classes in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 3, pp. 449-455
• Mlček, Josef: Set-like equivalence and inner and outer cuts. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 4, pp. 635-647
• Tzouvaras, Athanossios: Some remarks on revealness. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 1, pp. 63-69
• Mlček, Josef: $\beta$-structures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 4, pp. 765-773
• Čuda, Karel: The consistency of the measurability of projective semisets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 1, pp. 103-121
• Sgall, Jiří: Construction of the class FN. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 3, pp. 435-436
• Tzouvaras, Athanossios: Countable inductive definitions in AST. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 1, pp. 17-33
• Č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
• Tzouvaras, Athanossios: Ultrafilters and endomorphic universes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 27 (1986), issue 1, pp. 35-51
• Guričan, Jaroslav; Zlatoš, Pavol: Archimedean and geodetical biequivalences. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 4, pp. 675-698
• Guričan, Jaroslav; Zlatoš, Pavol: Biequivalences and topology in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 3, pp. 525-552
• Sochor, Antonín: Constructibility and shiftings of view. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 3, pp. 477-498
• Tzouvaras, Athanossios: Minimal ultrafilters and maximal endomorphic universes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 4, pp. 719-726
• 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
• Trlifajová, Kateřina; Vopěnka, Petr: Utility theory in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 4, pp. 699-711
• Čuda, Karel; Vojtášková, Blanka: Models of AST without choice. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 25 (1984), issue 4, pp. 555-589
• Sochor, Antonín: Metamathematics of the alternative set theory. III. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 1, pp. 137-154
• Č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
• Sochor, Antonín; Vopěnka, Petr: Shiftings of the horizon. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 1, pp. 127-136
• Čuda, Karel; Kussová, Blanka: Basic equivalences in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 629-644
• Vencovská, Alena: Constructions of endomorphic universes and similarities. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 3, pp. 557-577
• Č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
• 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
• Mlček, Josef: Monotonic valuations and valuations of triads of higher types. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 2, pp. 377-398
• 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
• Č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
• Sochor, Antonín; Vopěnka, Petr: Revealments. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 1, pp. 97-118
• Mlček, Josef: Approximations of $\sigma$-classes and $\pi$-classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 669-679
• 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
• Vopěnka, Petr: The lattice of indiscernibility equivalences. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 631-638
• Sochor, Antonín: Metamathematics of the alternative set theory. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 697-722
• Vencovská, Alena: A method for constructing some endomorphic universes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 655-668
• Resl, Michal: On models in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 723-736
• Č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
• Mlček, Josef: Valuations of structures. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 681-695
• 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
• Mareš, Milan: How to handle fuzzy-quantities?. (English). Kybernetika, vol. 13 (1977), issue 1, pp. (23)-40
• Čuda, Karel: The nonabsolute boundedness model of the theory of semisets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 4, pp. 763-769
• Mareš, Milan: On fuzzy-quantities with real and integer values. (English). Kybernetika, vol. 13 (1977), issue 1, pp. (41)-56
• Nieminen, Juhani: On the algebraic structure of fuzzy sets of type 2. (English). Kybernetika, vol. 13 (1977), issue 4, pp. (261)-273
• Pultr, Aleš: Fuzzy mappings and fuzzy sets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 3, pp. 441-459
• Čuda, Karel: A nonstandard set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 4, pp. 647-663
• Michálek, Jiří: Fuzzy topologies. (English). Kybernetika, vol. 11 (1975), issue 5, pp. (345)-354
• Balcar, Bohuslav: A theorem on supports in the theory of semisets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 1, pp. 1-6
• Hájek, Petr: Why semisets?. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 397-420
• Štěpánková, Olga: Construction by transfinite induction. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 3, pp. 583-591