Topics in Metarecursion Theory |
Contents
Enumerations Without Repetition | 27 |
TT Sets and wSets | 40 |
Section 3 | 50 |
2 other sections not shown
Common terms and phrases
bounded characteristic function co-infinite completely regular contradiction CORNE CORNELL CORNELL CORNELL CORNELL EZRA CORNELL FOUNDED CORNELL LIBRARY CORNELL CORNELL UNIVERSITY CORNELL Corollary 2.6 d-state defined definition enumeration exists a meta-r.e. EZRA CORNELL Fact finite set FOUNDED CORNELL function letter function whose range i-th e-state infinite integers K₁ f(ß K₂ least upper bound Lemma Let f LIBRARY CORNELL CORNELL limit ordinal meta-r.e. maximal set meta-r.e. metadegree meta-r.e. sequence metadegree contains metafinite set metare cursive function metarecursion theory N-equation N-term one-one metarecursive function partial metare partial metarecursive function predicate proof of Theorem prove r.e. maximal r.e. sets recursion theory recursive function recursive ordinals regular meta-r.e. set Sacks Section sets B(0 successor ordinal Suppose n<w T'set th e-state Theorem Theorem 4.1 totally regular transitive relation Tsets TT set unbounded UNIVERS CORNELL UNIVERSITY LIBRARY UNIVERSITY UNIVERS UNIVERSITY UNIVERSITY variable w₁ weakly metarecursive well-inhabited