Selected Logic Papers

Recursive enumerability and the jump operator; on the degrees less than 0'; a simple set which is not effectively simple; the recursively enumerable degrees are dense; metarecursive sets (with G. Kreisel); Post's problem, admissable ordinals and regularity; on a theorem of Lachlan and Martin; a minimal hyperdegree (with R.O. Gandy); measure-theoretic uniformity in recursion theory and set theory; forcing with perfect closed sets; recursion in objects of finite type; the a-finite injury methods (with S.G. Simpson); remarks against foundational activity; countable admissible ordinals and hyperdegrees; 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; effective bonds on Morley rank; on the number of countable models; Post's problem in E-recursion; the limits of E-recursive enumerability; effective versus proper forcing.