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