Proof theory of weak compactness
  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. 
Toshiyasu Arai
math.LO