Paluch, Stanislav The lattices of numerations of theories containing Peano’s arithmetic. (English) Zbl 0268.02033 Commentat. Math. Univ. Carol. 14, 339-359 (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03B99 General logic 03F99 Proof theory and constructive mathematics 03D99 Computability and recursion theory PDF BibTeX XML Cite \textit{S. Paluch}, Commentat. Math. Univ. Carol. 14, 339--359 (1973; Zbl 0268.02033) Full Text: EuDML