On the relationship between mutual and tight stationarity

DOI10.1016/J.APAL.2021.102963MaRDI QIDQ2032992zbMATH OpenOpenAlexFDO

Authors William Chen-Mertens, Itay Neeman

Publication date 14 June 2021

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2021.102963

zbMATH Keywords

mutual stationarityPrikry-type forcingsingular cardinals

Mathematics Subject Classification ID

Ordered sets and their cofinalities; pcf theory (03E04) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55)

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.

Recommendations

• ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS)
• On singular stationarity. I: Mutual stationarity and ideal-based methods
• On the strength of mutual stationarity
• Tight stationarity and tree-like scales
• Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities
• Global co-stationarity of the ground model from a new countable length sequence
• scientific article; zbMATH DE number 639505
• Colouring of successor of regular, again
• A weak variation of shelah's I[ω₂]
• Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)

Cites work

• Canonical structure in the universe of set theory. I
• Canonical structure in the universe of set theory. II.
• Diagonal Prikry extensions
• Forcing a mutual stationarity property in cofinality 𝜔₁
• Good and bad points in scales
• scientific article; zbMATH DE number 3851073 (Why is no real title available?)
• scientific article; zbMATH DE number 4168669 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• scientific article; zbMATH DE number 1795296 (Why is no real title available?)
• Iterated ultrapowers and prikry forcing
• Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
• Notes on singular cardinal combinatorics
• On a question of Pereira
• ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS)
• On singular stationarity. I: Mutual stationarity and ideal-based methods
• On the strength of mutual stationarity
• Organic and tight
• Tight stationarity and tree-like scales

Cited in

(8)

• Some applications of mixed support iterations
• Organic and tight
• On singular stationarity. I: Mutual stationarity and ideal-based methods
• Tight stationarity and tree-like scales
• Canonical structure in the universe of set theory. II.
• ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS)
• scientific article; zbMATH DE number 2222025 (Why is no real title available?)
• Mutual stationarity and singular Jonsson cardinals

This page was built for publication: On the relationship between mutual and tight stationarity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2032992)