arXiv Analytics

Sign in

arXiv:1111.0462 [math.LO]AbstractReferencesReviewsResources

Proof theory of weak compactness

Toshiyasu Arai

Published 2011-11-02, updated 2013-03-11Version 7

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.

Categories: math.LO
Subjects: 03F99, 03E55
Related articles: Most relevant | Search more
arXiv:1902.04146 [math.LO] (Published 2019-02-11)
A $\square(κ)$-like principle consistent with weak compactness
arXiv:1104.1842 [math.LO] (Published 2011-04-11)
Introducing the hardline in proof theory
arXiv:1404.1586 [math.LO] (Published 2014-04-06)
Weak and local versions of measurability

Links

Toolbox