02H20
- : The axiom of reflection. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 1, pp. 87-111
- : Revealments. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 1, pp. 97-118
- : Endomorphic universes and their standard extensions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 605-629
- : The lattice of indiscernibility equivalences. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 631-638
- : On models in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 723-736
- : A nonstandard set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 4, pp. 647-663
- : Real classes in the ultrapower of hereditarily finite sets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 4, pp. 637-640
- : A representation of models of Peano arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 553-558
Search
Partner of
