Chang's conjecture and weak square
type: Item
instance of: scholarly article
title: Chang's conjecture and weak square
zbMATH Open document ID: 1327.03040
author: Hiroshi Sakai
published in: Archive for Mathematical Logic
publication date: 2013-02-15T00:00:00Z
review text: In this well-written, self-contained paper, the author discusses the influence of variations of Chang's conjecture on weak square principles. He first showed that for all infinite cardinals \(\mu<\nu\), if \((\nu^+, \nu)\twoheadrightarrow(\mu^+, \mu)\) holds, then there is a \({<}\nu^+\)-Baire forcing extension in which both \((\nu^+, \nu)\twoheadrightarrow(\mu^+, \mu)\) and \(\square(\nu^+)\) hold. Note that \textit{S. Todorčević} [NATO ASI Ser., Ser. C, Math. Phys. Sci. 411, 385--398 (1993; Zbl 0844.03027)] proved that \((\nu^+, \nu)\twoheadrightarrow(\mu^+, \mu)\) implies the failure of \(\square_\nu\). He also discusses the relationship between \((\nu^+, \nu)\twoheadrightarrow(\mu^+, \mu)\) and the weak square of the form \(\square_{\nu, \rho}\) when \(\nu\) is regular. The case when \(\nu\) is singular was already investigated by \textit{M. Foreman} [DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 58, 73--94 (2002; Zbl 1013.03049)]. When \(\mu=\omega\), he proved that if \(\nu\) is an uncountable regular cardinal and there is a measurable cardinal above \(\nu\), then there is a \({<}\nu\)-Baire forcing extension in which both \((\nu^+, \nu)\twoheadrightarrow(\mu^+, \mu)\) and \(\square_{\omega_1, 2}\) hold. He built such a model by first using Levy collapse to make the measurable cardinal to \(\nu^+\) and then forcing \(\square_{\nu, 2}\). When \(\mu\) is uncountable, he obtained the following result: for all uncountable cardinals \(\mu<\nu\), \(\square_{\nu, \mu}\) fails if \((\nu^+, \nu)\twoheadrightarrow(\mu^+, \mu)\) holds, and either (I) \(\nu^{{<}\nu}=\nu\) or (II) \(|\{\rho\in\mathrm{Reg} \mid \mu<\rho\leq\nu\}|<|\{\rho\in\mathrm{Reg} \mid \omega\leq\rho\leq\mu\}|<\aleph_1\). Here, \(\mathrm{Reg}\) denotes the class of all regular cardinal. For example, it follows that \((\omega_3, \omega_2)\twoheadrightarrow(\omega_2, \omega_1)\) implies the failure of \(\square_{\omega_2, \omega_1}\).
reviewed by: Tetsuya Ishiu
Mathematics Subject Classification ID: 03E55
Mathematics Subject Classification ID: 03E35
zbMATH DE Number: 6136595
zbMATH Keywords: Chang's conjecture
zbMATH Keywords: square principle
zbMATH Keywords: large cardinal
zbMATH Keywords: consistency
MaRDI profile type: Publication
full work available at URL: s00153-012-0305-8
OpenAlex ID: W2138045790
Wikidata QID: Q122905449
cites work: Large Cardinals and Strong Model Theoretic Transfer Properties
cites work: Q4550722
cites work: Martin's maximum, saturated ideals, and nonregular ultrafilters. I
cites work: The fine structure of the constructible hierarchy
cites work: Reflecting stationary sets
cites work: Combinatorial principles in the core model for one Woodin cardinal
cites work: Q4375363
cites work: Conjectures of Rado and Chang and special Aronszajn trees
DOI: 10.1007/S00153-012-0305-8
description: scientific article; zbMATH DE number 6136595