02H13
- : The axiom of reflection. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 1, pp. 87-111
- : Endomorphic universes and their standard extensions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 605-629
- : A method for constructing some endomorphic universes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 655-668
- : End-extensions of countable structures and the induction schema. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 291-308
- : On a weak Kelley-Morse theory of classes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 371-381
Search
Partner of
