Title: Abstracts and Recursion Theory