What people are saying - Write a review
We haven't found any reviews in the usual places.
Part A Hyperarithmetic Sets
Constructive Ordinals and n Sets
Notations for Ordinals
55 other sections not shown
Other editions - View all
a-cardinal a-finite a-recursive a-stable admissible ordinal admissible set admits Moschovakis witnesses arithmetic Assume L(k bounded classical recursion theory closed closure co^K cofinality Corollary countable definition denoted effective transfinite recursion element encodes enumerable on L(k equivalent Exercise exists a recursive follows formula Gandy selection gc(a Godel number Hence hyperarithmetic hierarchy hyperarithmetic sets hyperdegree hyperregular implies induction initial segment injury Kleene Kleene's Kreisel Lemma metafinite metarecursion theory metarecursive function metarecursively enumerable set natural enumeration negative requirements nonempty Normann notations one-one open set order definable ordertype ordinals less parameters partial recursive function Post's problem prior to stage projectum proof of Lemma proof of Theorem Proposition proved quantifiers recursive ordinals recursively enumerable sets regular relativization req 2e satisfies Section Show solution to Post's Spector subset Suppose TC(x Theorem 4.1 tp(a tp(S Turing Turing degrees Turing jump Turing reducibility unbounded unique wellfounded wellordering