Title: Recursive number theory;