A global version of a theorem of Ben-David and Magidor
type: Item
instance of: scholarly article
title: A global version of a theorem of Ben-David and Magidor
zbMATH Open document ID: 0948.03049
DOI: 10.1016/S0168-0072(99)00033-0
author: Arthur W. Apter
author: James Cummings
published in: Annals of Pure and Applied Logic
publication date: 2000-11-14T00:00:00Z
review text: In J. Symb. Log. 51, 1029-1033 (1986; Zbl 0621.03035), \textit{S. Ben-David} and \textit{M. Magidor} showed, using a \(\kappa^+\)-supercompact cardinal~\(\kappa\), that \(\square_{\aleph_\omega}^*\) may hold while \(\square_{\aleph_\omega}\) fails. In the present paper the authors start with a~\(\kappa\) that is \(\kappa^{+5}\)-supercompact and construct a model in which \(\kappa\)~is still \(\kappa^{+5}\)-supercompact and for \textit{every} singular cardinal~\(\lambda\) below~\(\kappa\) the principle~\(\square_{\lambda,\text{cf}(\lambda)}\) holds while \(\square_\lambda\)~fails. Thus, in this model the set~\(V_\kappa\) is a model for the global version of the theorem of Ben-David and Magidor that was promised in the title. Note \(\square_{\lambda,\theta}\) says that there is a sequence \(\langle\mathcal C_\alpha:\alpha<\lambda^+, \alpha\)~a limit\(\rangle\) such that \(1\leq|\mathcal C_\alpha|\leq\theta\), \(\mathcal C_\alpha\)~consists of club subsets of~\(\alpha\) of order type at most~\(\lambda\), and if \(C\in\mathcal C_\alpha\) and \(\beta\in\lim(C)\) then \(C\cap\beta\in\mathcal C_\beta\) -- so \(\square_\lambda=\square_{\lambda,1}\) and \(\square_\lambda^*=\square_{\lambda,\lambda}\).
reviewed by: K. P. Hart
Mathematics Subject Classification ID: 03E55
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03E35
zbMATH DE Number: 1423281
zbMATH Keywords: weak square
zbMATH Keywords: stationary reflection
zbMATH Keywords: supercompact cardinal
zbMATH Keywords: Radin forcing
MaRDI profile type: Publication
cites work: Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor
cites work: On Box, Weak Box and Strong Compactness
cites work: The weak □* is really weaker than the full □
cites work: Squares, scales and stationary reflection
cites work: Indexed squares
cites work: The generalized continuum hypothesis can fail everywhere
cites work: The fine structure of the constructible hierarchy
cites work: Stationary reflections for uncountable cofinality
cites work: On the singular cardinals problem. I
cites work: Changing cofinality of cardinals
cites work: Q5613932
cites work: Adding closed cofinal sequences to large cardinals
cites work: Combinatorial principles in the core model for one Woodin cardinal
Recommended article: Scales at \({\aleph_{\omega} }\)
Recommended article: WEAK SQUARES AND VERY GOOD SCALES
Recommended article: Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor
Recommended article: The weak □* is really weaker than the full □
Recommended article: The semi-weak square principle
Recommended article: Square and non-reflection in the context of \(\mathcal P_{\kappa}\lambda\)
Recommended article: The non-compactness of square
Recommended article: The two-cardinals transfer property and resurrection of supercompactness 󠀼span style=󠀢color:red󠀢󠀾This article has been retracted󠀼/span󠀾
Recommended article: Global square sequences in extender models
Recommended article: On SCH and the approachability property
description: scientific article; zbMATH DE number 1423281