02H05
- : On models in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 723-736
- : End-extensions of countable structures and the induction schema. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 2, pp. 291-308
- : A note on cofinal extensions and segments. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 4, pp. 727-742
- : Twin prime problem in an arithmetic without induction. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 3, pp. 543-555
- : Real classes in the ultrapower of hereditarily finite sets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 4, pp. 637-640
- : Semantics based on states of affairs. (English). Kybernetika, vol. 11 (1975), issue 5, pp. (319)-335
- : A representation of models of Peano arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 553-558
Search
Partner of
