Thinning operators and _4-reflection

MaRDI QIDQ3606409zbMATH OpenFDO

Authors Christoph Duchhardt

Publication date 26 February 2009

Full work available at URL http://d-nb.info/989242862/34

zbMATH Keywords

consistency proofsordinal analysisproof theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Proof theory and ordinal analysis
• scientific article; zbMATH DE number 733387
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Ordinal diagrams for Π₃-reflection
• Investigations of subsystems of second order arithmetic and set theory in strength between \(\Pi^1_1\)-CA and \(\Delta^1_2\)-\(\text{CA}+\text{BI}\). I

Cited in

(2)

• A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis
• Transfinite dependent choice and ω-model reflection

This page was built for publication: Thinning operators and \(\Pi_4\)-reflection

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