Proof theory of weak compactness
Logic
2013-04-11 v7
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.
Keywords
Cite
@article{arxiv.1111.0462,
title = {Proof theory of weak compactness},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1111.0462},
year = {2013}
}