Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally supercompact. We then apply this theorem to show that the hypothesis of supercompactness is necessary for certain proof schemata.
13 pages

Keywords

Logic, 03E55; 03E40

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/78789

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/9907046
 http://arxiv.org/abs/math/9907046

Collections

arXiv