In [4], Kleene and Post showed that there are degrees between 0 (the degree of recursive sets) and 0' (the highest degree of recursively enumerable sets) between 0 and 0'.Expand

The purpose of this paper is to give a partial answer to the question: How much is the induction axiom weakened if it is applied only to sentences with no bound variables? It is well known that for… Expand