03D40 Word problems, etc. in computability and recursion theory [See also 06B25, 08A50, 20F10, 68R15] 627