Title: Fragments of arithmetic and the foundations of the priority method
Subjects: Recursive functions, Set theory