presented at event Meeting of the American Mathematical Society, Special Session Computability Theory and Effective Algebra Conference