Provably recursive functions of reflection

MaRDI QIDQ4981456zbMATH OpenFDO

Authors Wolfram Pohlers, Jan-Carl Stegert

Publication date 24 June 2014

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Nonclassical and second-order set theories (03E70) Recursive ordinals and ordinal notations (03F15)

Recommendations

• A proof-theoretic characterization of the primitive recursive set functions
• scientific article; zbMATH DE number 218515
• scientific article; zbMATH DE number 2186953
• Induction rules, reflection principles, and provably recursive functions
• Reflection principles and provability algebras in formal arithmetic

Cited in

(9)

• Induction rules, reflection principles, and provably recursive functions
• Pure \(\Sigma_2\)-elementarity beyond the core
• A proof-theoretic characterization of the primitive recursive set functions
• scientific article; zbMATH DE number 1102104 (Why is no real title available?)
• scientific article; zbMATH DE number 218515 (Why is no real title available?)
• scientific article; zbMATH DE number 1889701 (Why is no real title available?)
• A Glimpse of $$ \sum_{3} $$-elementarity
• Iterated inductive definitions revisited
• A simplified ordinal analysis of first-order reflection

This page was built for publication: Provably recursive functions of reflection

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