E-recursion 2012

DOI10.1142/9789814602648_0003MaRDI QIDQ3461818zbMATH OpenOpenAlexFDO

Authors Gerald E. Sacks

Publication date 18 January 2016

Published in E-Recursion, Forcing and C*-Algebras (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814602648_0003

zbMATH Keywords

forcingadmissibilityreflecting ordinals\(E\)-closed structures\(E\)-recursive enumerability\(E\)-recursive functions

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other aspects of forcing and Boolean-valued models (03E40) Higher-type and set recursion theory (03D65)

Recommendations

• E-recursive intuitions
• Reflection and forcing in E-recursion theory
• scientific article; zbMATH DE number 3916251
• The limits of E-recursive enumerability
• scientific article; zbMATH DE number 4010510

Cited in

(14)

• scientific article; zbMATH DE number 3948239 (Why is no real title available?)
• scientific article; zbMATH DE number 4031653 (Why is no real title available?)
• Another extension of Van de Wiele's theorem
• Definability and forcing in E-recursion.
• Plus‐1 Results for E‐Recursion
• Effective cofinalities and admissibility in E-recursion
• SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN3E
• Forcing and Consistency Results for Recursion in3E Together with Selection Over ℵ1
• scientific article; zbMATH DE number 3916251 (Why is no real title available?)
• Σ₁ definitions with parameters
• Reflection and forcing in E-recursion theory
• The limits of E-recursive enumerability
• Inadmissible forcing
• E-recursive intuitions

This page was built for publication: \(E\)-recursion 2012

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