This text examines one of the most contested topics in linguistics and cognitive science: the role of recursion in language. It offers a precise account of what recursion is, what role it should play in cognitive theories of human knowledge, and how it manifests itself in the me…
We prove two main results: (1) [lowercase Greek]Omega + 1 is an initial segment of the degrees ([less-than or equal to]≤ a̲ for any r.e. a̲ [not equal to] 0̲ , and (2) given any 0̲ [less than] a̲ [less than] h̲ where a̲ and h̲ are r.e. and h̲ is high, there is a minimal degree m̲ [less t…
This monograph carries out the program which the author formulated in earlier work, the formalization of the theory of recursive functions of type 0 and 1 and of the theory of realizability.
General recursion theory: an axiomatic approach
General recursion theory: an axiomatic approach
General recursion theory: an axiomatic approach
General recursion theory: an axiomatic approach
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the tenth publica…