Easton collapses and a strongly saturated filter

Archive for Mathematical Logic 59 (7-8):1027-1036 (2020)
  Copy   BIBTEX

Abstract

We introduce the Easton collapse and show that the two-stage iteration of Easton collapses gives a model in which the successor of a regular cardinal carries a strongly saturated filter. This allows one to get a model in which many successor cardinals carry saturated filters just by iterating Easton collapses.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-020-00733-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

The internal consistency of Easton’s theorem.Sy-David Friedman & Pavel Ondrejovič - 2008 - Annals of Pure and Applied Logic 156 (2):259-269.
An Easton theorem for level by level equivalence.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (3):247-253.
Easton’s theorem and large cardinals.Sy-David Friedman & Radek Honzik - 2008 - Annals of Pure and Applied Logic 154 (3):191-208.
Saturated filters at successors of singulars, weak reflection and yet another weak club principle.Mirna Džamonja & Saharon Shelah - 1996 - Annals of Pure and Applied Logic 79 (3):289-316.
Theorem 1 (Easton's Theorem). There is a forcing extension L [G] of L in which GCH fails at every regular cardinal. Assume that the universe V of all sets is rich in the sense that it contains inner models with large cardinals. Then what is the relationship between Easton's model L [G] and V? In particular, are these models compatible. [REVIEW]Sy-David Friedman - 2006 - Bulletin of Symbolic Logic 12 (4).
Identity crises and strong compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters.Arthur W. Apter, Ioanna M. Dimitriou & Peter Koepke - 2016 - Mathematical Logic Quarterly 62 (3):225-231.
Local saturation of the non-stationary ideal over Pκλ.Toshimichi Usuba - 2007 - Annals of Pure and Applied Logic 149 (1-3):100-123.
Splitting P κλ into stationary subsets.Yo Matsubara - 1988 - Journal of Symbolic Logic 53 (2):385-389.
An omitting types theorem for saturated structures.A. D. Greif & M. C. Laskowski - 1993 - Annals of Pure and Applied Logic 62 (2):113-118.
Equality-free saturated models.P. Dellunde - 2003 - Reports on Mathematical Logic:3-22.
On the indestructibility aspects of identity crisis.Grigor Sargsyan - 2009 - Archive for Mathematical Logic 48 (6):493-513.
Critique épistémologique de l'analyse systémique de David Easton: essai sur le rapport entre théorie et idéologie.Denis Monière - 1976 - Editions de l'Université d'Ottawa.
Easton’s theorem in the presence of Woodin cardinals.Brent Cody - 2013 - Archive for Mathematical Logic 52 (5-6):569-591.
Easton's theorem for Ramsey and strongly Ramsey cardinals.Brent Cody & Victoria Gitman - 2015 - Annals of Pure and Applied Logic 166 (9):934-952.

Analytics

Added to PP
2020-05-17

Downloads
13 (#1,039,189)

6 months
6 (#526,006)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The extent of saturation of induced ideals.Kenta Tsukuura - forthcoming - Archive for Mathematical Logic:1-17.
Weak saturation properties and side conditions.Monroe Eskew - 2024 - Annals of Pure and Applied Logic 175 (1):103356.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
Saturated ideals.Kenneth Kunen - 1978 - Journal of Symbolic Logic 43 (1):65-76.
Local saturation and square everywhere.Monroe Eskew - 2020 - Journal of Mathematical Logic 20 (3):2050019.

View all 6 references / Add more references