Thinning operators and _4-reflection

zbMATH Open1202.03063MaRDI QIDQ3606409FDOQ3606409

Authors: Christoph Duchhardt 

Publication date: 26 February 2009

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

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

zbMATH Keywords

proof theoryordinal analysisconsistency proofs

Mathematics Subject Classification ID

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

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)