The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

The Necessary Maximality Principle for c.c.c. forcing asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already true in the minimal extension containing the real. We show that this principle is equiconsistent with the existence of a weakly compact cardinal.
11 pages

Keywords

Logic, 03E55; 03E40

Citation

URI

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

Consulte el texto completo en el siguiente enlace:

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

Collections

arXiv