02H15
- : 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
- : A representation of models of Peano arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 3, pp. 553-558
Search
Partner of
