Kent, C. F. ’Disorder’ in lattices of binumerations. (English) Zbl 0291.02022 Commentat. Math. Univ. Carol. 15, 221-244 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03F99 Proof theory and constructive mathematics 03B99 General logic 03D99 Computability and recursion theory × Cite Format Result Cite Review PDF Full Text: EuDML