What are the recursion theoretic properties of a set of axioms ? Understanding a paper
William Craig,Armando B. Matos
The recursion theoretic properties of a set of axioms are studied and some of its consequences are explored.