A Buchholz derivation system for the ordinal analysis of KP + Π3-reflection

DOI10.2178/JSL/1164060454MaRDI QIDQ3416113zbMATH OpenOpenAlexFDO

Authors Markus Michelbrink

Publication date 19 January 2007

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1164060454

zbMATH Keywords

\(\text{KAP}+ \Pi_3\)-reflectionoperator-controlled notational systemsprovably recursive function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Structure of proofs (03F07) Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Proof theory of reflection
• Finitary treatment of operator controlled derivations
• scientific article; zbMATH DE number 733387
• Ordinal diagrams for Π₃-reflection
• A simplified ordinal analysis of first-order reflection

Cites work

• An ordinal analysis of stability
• Explaining the Gentzen-Takeuti reduction steps: A second-order system
• Finitary treatment of operator controlled derivations
• scientific article; zbMATH DE number 193575 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
• Proof theory of reflection
• Set theory. An introduction to large cardinals

Cited in

(6)

• Proof theory of reflection
• Finitary treatment of operator controlled derivations
• scientific article; zbMATH DE number 1102104 (Why is no real title available?)
• Ordinal diagrams for Π₃-reflection
• Zur Beweistheorie von KP+ $$ \varPi_{3} $$-Ref
• A simplified ordinal analysis of first-order reflection

This page was built for publication: A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection

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