Characterizing strong compactness via strongness

Mathematical Logic Quarterly 49 (4):375 (2003)
  Copy   BIBTEX

Abstract

We construct a model in which the strongly compact cardinals can be non-trivially characterized via the statement “κ is strongly compact iff κ is a measurable limit of strong cardinals”. If our ground model contains large enough cardinals, there will be supercompact cardinals in the universe containing this characterization of the strongly compact cardinals.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.200310040

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Analytics

Added to PP
2013-12-01

Downloads
78 (#737,591)

6 months
15 (#769,189)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the indestructibility aspects of identity crisis.Grigor Sargsyan - 2009 - Archive for Mathematical Logic 48 (6):493-513.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Set Theory.Jouko Vaananen - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
On strong compactness and supercompactness.Telis K. Menas - 1975 - Annals of Mathematical Logic 7 (4):327-359.
The lottery preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.

View all 14 references / Add more references