"54" Result
Sort By:
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…
Algebraic recursion theory
by Bell, John Lane, Ivanov, L. L.
fromMathematics and its applications
0
Type: Book
The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.