presented at event Special Session on Computability Theory, European Summer Meeting of the Association for Symbolic Logic Conference