11 Number theory
11Uxx Connections with logic
11U05 Decidability (4 articles)
- : Diophantine representation of the decimal expansions of $e$ and $\pi$. (English). Mathematica Slovaca, vol. 50 (2000), issue 5, pp. 531-539
- : Structures related to Pascal's triangle modulo $2$ and their elementary theories. (English). Mathematica Slovaca, vol. 44 (1994), issue 5, pp. 531-554
- : Twin prime problem in an arithmetic without induction. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 3, pp. 543-555
- : O desátém Hilbertově problému. (Czech) [On the tenth Hilbert problem]. Pokroky matematiky, fyziky a astronomie, vol. 18 (1973), issue 4, pp. 185-192
Search
Partner of
