presented at event Special Session Computability Theory and Effective Mathematics, North American Annual Meeting of the Association for Symbolic Logic Conference