The limits of E-recursive enumerability

DOI10.1016/0168-0072(86)90064-3MaRDI QIDQ1095136zbMATHOpenAlexFDO

Authors Gerald E. Sacks

Publication date 1986

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(86)90064-3

zbMATH Keywords

E-recursion theory

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• Reflection and forcing in E-recursion theory
• scientific article; zbMATH DE number 3916251
• \(E\)-recursion 2012
• Effective cofinalities and admissibility in E-recursion
• \(E\)-recursive intuitions

Cites work

• scientific article; zbMATH DE number 3912367 (Why is no real title available?)
• scientific article; zbMATH DE number 3685474 (Why is no real title available?)
• scientific article; zbMATH DE number 3739516 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3531389 (Why is no real title available?)
• Aspects of constructibility
• Completely mitotic r. e. degrees
• Degrees of unsolvability of constructible sets of integers
• Effective cofinalities and admissibility in E-recursion
• Hyperanalytic Predicates
• Inadmissible forcing
• Negative solutions to Post's problem. II
• Recursive Functionals and Quantifiers of Finite Types II
• Reflection and forcing in E-recursion theory
• The K-Section of a Type n Object
• The definability of E(α)
• The extended plus-one hypothesis—A relative consistency result
• Uncountable admissibles. II: Compactness
• Σ₁ compactness for next admissible sets

Cited in

(11)

• \(E\)-recursive intuitions
• Effective forcing versus proper forcing
• Reflection and forcing in E-recursion theory
• scientific article; zbMATH DE number 3916251 (Why is no real title available?)
• SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN3E
• Effective cofinalities and admissibility in E-recursion
• \(E\)-recursion 2012
• Inadmissible forcing
• Another extension of Van de Wiele's theorem
• On the non-enumerability of \(L\)
• scientific article; zbMATH DE number 3981159 (Why is no real title available?)

This page was built for publication: The limits of E-recursive enumerability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1095136)