Stationary sets added when forcing squares

Archive for Mathematical Logic 57 (7-8):909-916 (2018)
  Copy   BIBTEX

Abstract

Current research in set theory raises the possibility that \ can be made compatible with some stationary reflection, depending on the parameter \. The purpose of this paper is to demonstrate the difficulty in such results. We prove that the poset \\), which adds a \-sequence by initial segments, will also add non-reflecting stationary sets concentrating in any given cofinality below \. We also investigate the CMB poset, which adds \ in a slightly different way. We prove that the CMB poset also adds non-reflecting stationary sets, but not necessarily concentrating in any cofinality.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Sigma-Prikry forcing II: Iteration Scheme.Alejandro Poveda, Assaf Rinot & Dima Sinapova - 2022 - Journal of Mathematical Logic 22 (3):2150019.
Adding clubs with square.John Krueger - 2006 - Annals of Pure and Applied Logic 141 (1):1-28.
Reflecting stationary sets.Menachem Magidor - 1982 - Journal of Symbolic Logic 47 (4):755-771.
Restrictions on forcings that change cofinalities.Yair Hayut & Asaf Karagila - 2016 - Archive for Mathematical Logic 55 (3-4):373-384.
Full Reflection of Stationary Sets Below $aleph_omega$.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822-830.
Full reflection of stationary sets below ℵω.Thomas Jech & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (2):822 - 830.

Analytics

Added to PP
2018-02-03

Downloads
16 (#904,551)

6 months
4 (#1,005,419)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Weak squares and very good scales.Maxwell Levine - 2018 - Journal of Symbolic Logic 83 (1):1-12.

Add more references