03 Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F30 First-order arithmetic and fragments (12 articles)
- : The limit lemma in fragments of arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 44 (2003), issue 3, pp. 565-568
- : Arithmetical classification of the set of all provably recursive functions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 40 (1999), issue 4, pp. 631-634
- : Hercules versus Hidden Hydra Helper. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 32 (1991), issue 4, pp. 731-741
- : Hercules and Hydra. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 1, pp. 85-95
- : A simple detailed proof for Goedel's incompleteness theorem. (English). Kybernetika, vol. 24 (1988), issue 6, pp. 447-451
- : Partial conservativity revisited. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), issue 4, pp. 679-690
- : Hercules and Hydra, a game on rooted finite trees. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 2, pp. 259-267
- : O struktuře modelů omezené $E\sb 1$-indukce. (Czech) [On the structure of models of bounded $E\sb 1$-induction]. Časopis pro pěstování matematiky, vol. 109 (1984), issue 4, pp. 372-379
- : A definition of exponentiation by a bounded arithmetical formula. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 4, pp. 667-671
- : A logical analysis of the truth-reaction paradox. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 23 (1982), issue 4, pp. 699-713
- : Completion closed algebras and models of Peano arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 3, pp. 585-594
- : On interpretability in theories containing arithmetic. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 667-688
Search
Partner of
