Some problems of definability in recursive function theory
H Rogers Jr - Studies in Logic and the Foundations of Mathematics, 1967 - Elsevier
Publisher Summary This chapter discusses several problems of definability in recursive
function theory. It presents several of the basic facts of elementary recursive function theory
and describes several structures that have been principal objects of study in recent
development of the theory. The chapter considers the notion of definability and provides a
brief discussion of the open problems. The notion of recursive function is the central concept
in the theory; the partial recursive functions play a fundamental technical role. They can be …
function theory. It presents several of the basic facts of elementary recursive function theory
and describes several structures that have been principal objects of study in recent
development of the theory. The chapter considers the notion of definability and provides a
brief discussion of the open problems. The notion of recursive function is the central concept
in the theory; the partial recursive functions play a fundamental technical role. They can be …