PROOF THEORY OF WEAK COMPACTNESS

DOI10.1142/S0219061313500037zbMath1291.03110arXiv1111.0462MaRDI QIDQ2853981

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

ordinal analysisweakly compact cardinalMahlo operationMostowski collapsing

Mathematics Subject Classification ID

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

Related Items (3)

Boundedness theorems for flowers and sharps ⋮ Intuitionistic fixed point theories over set theories ⋮ Cut-elimination for \(\omega_{1}\)

Cites Work

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

This page was built for publication: PROOF THEORY OF WEAK COMPACTNESS