On the relationship between mutual and tight stationarity
type: Item
instance of: scholarly article
title: On the relationship between mutual and tight stationarity
zbMATH Open document ID: 1489.03015
author: William Chen-Mertens
author: Itay Neeman
published in: Annals of Pure and Applied Logic
publication date: 2021-06-14T00:00:00Z
review text: Let \(\kappa\) be a singular cardinal and \(\langle \kappa_{\xi}: \xi < \operatorname{cf}(\kappa)\rangle\) a sequence of regular cardinals cofinal in \(\kappa\). A stationary sequence is a sequence \(\vec{\xi} = \langle S_{\xi} : \xi < \operatorname{cf}(\kappa) \rangle\) where \(S_{\xi} \subseteq \kappa_{\xi}\) is stationary in \(\kappa_{\xi}\) for all but boundedly many \(\xi < \operatorname{cf}(\kappa)\). \textit{M. Foreman} and \textit{M. Magidor} [Acta Math. 186, No. 2, 271--300 (2001; Zbl 1017.03022)] introduced two new concepts of stationarity, mutual stationarity and tight stationarity. Here, the authors are interested in the case where \(\operatorname{cf}(\kappa) = \omega\) and where each \(S_{\xi}\) consists of ordinals of some fixed uncountable cofinality \(\eta\). \textit{J. Cummings} et al. [Ann. Pure Appl. Logic 142, No. 1--3, 55--75 (2006; Zbl 1096.03060)] constructed models where \(\langle \omega_n : n<\omega \rangle\) have mutually stationary sequences which are not tightly stationary. The main result of this paper is a forcing construction so that there are mutually stationary but not tightly stationary sequences on every increasing \(\omega\)-sequence of regular cardinals. They show that this property is preserved under a class of Prikry type forcing. They give examples in the Cohen and Prikry models of \(\omega\)-sequences of regular cardinals for which there is a non-tightly stationary sequence of stationary subsets consisting of cofinality \(\omega_1\) ordinals. They show that such stationary sequences are mutually stationary in case of interleaved supercompact cardinals.
reviewed by: Martin Weese
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E04
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03E55
zbMATH DE Number: 7358536
zbMATH Keywords: mutual stationarity
zbMATH Keywords: Prikry-type forcing
zbMATH Keywords: singular cardinals
MaRDI profile type: Publication
full work available at URL: j.apal.2021.102963
OpenAlex ID: W3134922710
cites work: On singular stationarity. I: Mutual stationarity and ideal-based methods
cites work: ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS)
cites work: Tight stationarity and tree-like scales
cites work: Notes on singular cardinal combinatorics
cites work: Diagonal Prikry extensions
cites work: Canonical structure in the universe of set theory. I
cites work: Canonical structure in the universe of set theory. II.
cites work: Organic and tight
cites work: Iterated ultrapowers and prikry forcing
cites work: Q3320361
cites work: Q4550722
cites work: Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
cites work: On a question of Pereira
cites work: Q3495349
cites work: Q3852172
cites work: Q4315890
cites work: Forcing a mutual stationarity property in cofinality 𝜔₁
cites work: Q3425068
cites work: Good and bad points in scales
cites work: Q4326402
DOI: 10.1016/J.APAL.2021.102963
Recommended article: ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS)
Recommended article: On singular stationarity. I: Mutual stationarity and ideal-based methods
Recommended article: Q3425068
Recommended article: Tight stationarity and tree-like scales
Recommended article: Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities
Recommended article: Global co-stationarity of the ground model from a new countable length sequence
Recommended article: Q4305844
Recommended article: Colouring of successor of regular, again
Recommended article: A weak variation of shelah's I[ω2]
Recommended article: Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
description: scientific article; zbMATH DE number 7358536