Recursion theory and algebra. (English) Zbl 0306.02038
Algebra Logic, Papers Summer Res. Inst., Clayton 1974, Lect. Notes Math. 450, 209-219 (1975).
MSC:
03D65 | Higher-type and set recursion theory |
08A05 | Structure theory of algebraic structures |
08Axx | Algebraic structures |
03D99 | Computability and recursion theory |
03D25 | Recursively (computably) enumerable sets and degrees |
03D30 | Other degrees and reducibilities in computability and recursion theory |