Title: Recursive analysis (Studies in logic and the foundations of mathematics)