presented at event Special Session on Computability, North Americal Annual Meeting of the Association for Symbolic Logic Conference