arXiv:1111.0462 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords weak compactness, proof theory, zermelo-fraenkels set theory, weakly compact cardinal, mahlo operations Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset