Sy D. Friedman, β-recursion theory. Transactions of the American Mathematical Society, vol. 255 (1979), pp. 173–200. - Sy D. Friedman. Post's problem without admissibility. Advances in mathematics, vol. 35 (1980), pp. 30–49.
Keyword(s):
1906 ◽
Vol 12
(5)
◽
pp. 223-235
2006 ◽
Vol 38
(04)
◽
pp. 696-697