著者紹介

内容

目次

Recursive enumerability and the jump operator; on the degrees less than0'; a simple set which is not effectively simple; the recursively enumerabledegrees are dense; metarecursive sets (with G. Kreisel); Post's problem,admissable ordinals and regularity; on a theorem of Lachlan and Martin; aminimal hyperdegree (with R.O. Gandy); measure-theoretic uniformity inrecursion theory and set theory; forcing with perfect closed sets; recursionin objects of finite type; the a-finite injury methods (with S.G. Simpson);remarks against foundational activity; countable admissible ordinals andhyperdegrees; the 1-section of a type 'n' object; the k-section of a type 'n'object; Post's problem, absoluteness and recursion in finite types; effectivebonds on Morley rank; on the number of countable models; Post's problem inE-recursion; the limits of E-recursive enumerability; effective versus properforcing.