Proof theory of weak compactness

DOI10.1142/S0219061313500037MaRDI QIDQ2853981zbMATH OpenFDO

Authors Toshiyasu Arai

Publication date 17 October 2013

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

Full work available at URL https://arxiv.org/abs/1111.0462

zbMATH Keywords

Mahlo operationMostowski collapsingordinal analysisweakly compact cardinal

Mathematics Subject Classification ID

Structure of proofs (03F07) Complexity of proofs (03F20)

Abstract: We show that the existence of a weakly compact cardinal over the Zermelo-Fraenkel's set theory is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.

Cites work

• Epsilon substitution method for -FIX
• On splitting stationary subsets of large cardinals
• Ordinal diagrams for Π₃-reflection
• Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
• Proof theory of reflection
• Quick cut-elimination for strictly positive cuts
• The fine structure of the constructible hierarchy
• Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators

Cited in

(4)

• The Schröder-Bernstein property for weakly minimal theories
• Cut-elimination for \(\omega_{1}\)
• Intuitionistic fixed point theories over set theories
• Boundedness theorems for flowers and sharps

This page was built for publication: Proof theory of weak compactness

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