Proof theory of weak compactness
arXiv:1111.0462 · doi:10.1142/S0219061313500037
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.