Scales at _

DOI10.1007/S11856-015-1225-1MaRDI QIDQ891164zbMATH OpenOpenAlexFDO

Authors Dima Sinapova, Spencer Unger

Publication date 16 November 2015

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11856-015-1225-1

zbMATH Keywords

pcf theoryPrikry type forcingssscalessingular cardinals hypothesisweak square

Mathematics Subject Classification ID

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

Review text

A question of Woodin asks if it is consistent that \(\kappa\) is a singular strong limit cardinal, \(2^\kappa > \kappa^+\) and the weak square fails at \(\kappa.\) The question was answered by \textit{M. Gitik} and \textit{A. Sharon} [Proc. Am. Math. Soc. 136, No. 1, 311--320 (2008; Zbl 1140.03033)] in the case of \(\kappa=\aleph_{\omega^2}\), but remained open for \(\kappa=\aleph_\omega.\) In this paper, the authors prove the following theorem, which partially answers Woodin's question: Theorem. It is consistent relative to a supercompact cardinal that \(\aleph_\omega\) is a strong limit, \(2^{\aleph_{\omega}}=\aleph_{\omega+2}\) and \(\square_{\aleph_\omega, \aleph_n}\) fails for all \(n<\omega\). The main forcing construction of the paper is the one considered by the authors in their paper [Ann. Pure Appl. Logic 165, No. 4, 996--1007 (2014; Zbl 1345.03089)], in which the authors showed that \(\square^*_{\aleph_\omega}\) holds in the model. To show the failure of square principles \(\square_{\aleph_\omega, \aleph_n}, n<\omega,\) the authors analyze scales in the extension and focus on the existence or non-existence of very good scales, from which they derive the main theorem.

Recommendations

• Diamond, scales and GCH down to \(\aleph_{\omega^2}\)
• The strong tree property and weak square
• Weak squares and very good scales
• The weak □* is really weaker than the full □
• The tree property and the failure of the singular cardinal hypothesis at \(\aleph _{\omega ^{2}}\)

Cites work

• Cardinal Arithmetic
• Combinatorial principles in the core model for one Woodin cardinal
• Combinatorics at \(\aleph_\omega\)
• Diagonal Prikry extensions
• Extender based forcings
• Good and bad points in scales
• scientific article; zbMATH DE number 3702632 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• scientific article; zbMATH DE number 3336797 (Why is no real title available?)
• scientific article; zbMATH DE number 3346351 (Why is no real title available?)
• Indexed squares
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On SCH and the approachability property
• On the singular cardinals problem. I
• Powers of regular cardinals
• Set Theory
• Squares, scales and stationary reflection
• The fine structure of the constructible hierarchy

Cited in

(17)

• Diamond, scales and GCH down to \(\aleph_{\omega^2}\)
• A global version of a theorem of Ben-David and Magidor
• Diagonal supercompact Radin forcing
• Namba forcing and no good scale
• Modified extender based forcing
• The non-compactness of square
• The weak □* is really weaker than the full □
• On Box, Weak Box and Strong Compactness
• Weak squares and very good scales
• The two-cardinals transfer property and resurrection of supercompactness 󠀼span style=󠀢color:red󠀢󠀾This article has been retracted󠀼/span󠀾
• On a strengthening of Jónssonness for \(\aleph_\omega\)
• THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL
• scientific article; zbMATH DE number 3893187 (Why is no real title available?)
• On SCH and the approachability property
• STATIONARY REFLECTION AND THE FAILURE OF THE SCH
• Continuous tree-like scales
• The tree property below \(\aleph_{\omega \cdot 2}\)

This page was built for publication: Scales at \({\aleph_{\omega} }\)

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