The α-finite injury method

DOI10.1016/0003-4843(72)90004-6zbMath0262.02037OpenAlexW1987623954MaRDI QIDQ5677470

Gerald E. Sacks, Stephen G. Simpson

Publication date: 1972

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(72)90004-6

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items

The basic theory of partial \(\alpha\)-recursive operators, An example related to Gregory's theorem, Strong coding, Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory, IN MEMORIAM: GERALD E. SACKS, 1933–2019, On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0′, Degree theory on \(\aleph_\omega\), Hyperarithmetically Encodable Sets, The theory of the \(\alpha \) degrees is undecidable, Post's problem without admissibility, Almost local non-α-recursiveness, Σ_n sets which are Δ_n-incomparable (uniformly), Inverting the Half-Jump, One hundred and two problems in mathematical logic, The Sacks density theorem and Σ₂-bounding, Finite injury and Σ₁-induction, Atomic models higher up, On minimal pairs and minimal degrees in higher recursion theory, Inadmissible recursion theory, On generalized computational complexity, The irregular and non-hyperregular \(\alpha\)-r.e. degrees, Cohesive Sets: Countable and Uncountable, The Role of True Finiteness in the Admissible Recursively Enumerable Degrees, Minimal Covers and Hyperdegrees, The operator gap theorem in α-recursion theory, Post's problem for ordinal register machines: an explicit approach, Ordinal machines and admissible recursion theory, A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions, Global and local admissibility. II. Major subsets and automorphisms, Least upper bounds for minimal pairs of α-R.E. α-degrees