Hájková, Marie The lattice of bi-numerations of arithmetic. II. (English) Zbl 0232.02025 Commentat. Math. Univ. Carol. 12, 281-306 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Review MSC: 03B30 Foundations of classical theories (including reverse mathematics) 06D99 Distributive lattices Citations:Zbl 0216.289 PDFBibTeX XMLCite \textit{M. Hájková}, Commentat. Math. Univ. Carol. 12, 281--306 (1971; Zbl 0232.02025) Full Text: EuDML