Title: Recursive number theory