Large cardinals and gap-1 morasses

Annals of Pure and Applied Logic 159 (1-2):71-99 (2009)
  Copy   BIBTEX

Abstract

We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular uncountable cardinal, while preserving all n-superstrong , hyperstrong and 1-extendible cardinals. In the latter case, a preliminary forcing to make the GCH hold is required. Our forcing yields morasses that satisfy an extra property related to the homogeneity of the partial order; we refer to them as mangroves and prove that their existence is equivalent to the existence of morasses. Finally, we exhibit a partial order that forces universal morasses to exist at every regular uncountable cardinal, and use this to show that universal morasses are consistent with n-superstrong, hyperstrong, and 1-extendible cardinals. This all contributes to the second author’s outer model programme, the aim of which is to show that L-like principles can hold in outer models which nevertheless contain large cardinals

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,377

External links

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

Through your library

Similar books and articles

Higher gap morasses, IA: Gap-two morasses and condensation.Charles Morgan - 1998 - Journal of Symbolic Logic 63 (3):753-787.
Gap forcing: Generalizing the lévy-Solovay theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Elementary chains and C (n)-cardinals.Konstantinos Tsaprounis - 2014 - Archive for Mathematical Logic 53 (1-2):89-118.
Tall cardinals.Joel D. Hamkins - 2009 - Mathematical Logic Quarterly 55 (1):68-86.
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Abstract logic and set theory. II. large cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
Chains of end elementary extensions of models of set theory.Andrés Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.
Proper forcing and remarkable cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.
Co-stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Large cardinals and projective sets.Haim Judah & Otmar Spinas - 1997 - Archive for Mathematical Logic 36 (2):137-155.
Strong Cardinals and Sets of Reals in Lω1.Ralf-Dieter Schindler - 1999 - Mathematical Logic Quarterly 45 (3):361-369.

Analytics

Added to PP
2013-12-22

Downloads
14 (#812,131)

6 months
3 (#338,877)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On c-extendible cardinals.Konstantinos Tsaprounis - 2018 - Journal of Symbolic Logic 83 (3):1112-1131.
On extendible cardinals and the GCH.Konstantinos Tsaprounis - 2013 - Archive for Mathematical Logic 52 (5-6):593-602.
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.
Ultrahuge cardinals.Konstantinos Tsaprounis - 2016 - Mathematical Logic Quarterly 62 (1-2):77-87.

Add more citations

References found in this work

Morasses, diamond, and forcing.Daniel J. Velleman - 1982 - Annals of Mathematical Logic 23 (2):199.
Simplified morasses.Dan Velleman - 1984 - Journal of Symbolic Logic 49 (1):257-271.
Fine Structure and Class Forcing.M. C. Stanley - 2001 - Bulletin of Symbolic Logic 7 (4):522-525.
The PCF Conjecture and Large Cardinals.Luís Pereira - 2008 - Journal of Symbolic Logic 73 (2):674 - 688.

View all 7 references / Add more references