Diagonal supercompact Radin forcing

DOI10.1016/J.APAL.2020.102828MaRDI QIDQ2004953zbMATH OpenOpenAlexFDO

Authors Omer Ben-Neria, Chris Lambie-Hanson, Spencer Unger

Publication date 7 October 2020

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

Full work available at URL https://arxiv.org/abs/1604.01564

zbMATH Keywords

Radin forcingsupercompact cardinalsweak square

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)

Abstract: Motivated by the goal of constructing a model in which there are no $kappa$-Aronszajn trees for any regular $kappa>alep{h}_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square fail.

Review text

For several decades, a major open problem in set theory has been the question whether it is consistent that the tree property holds at every regular cardinal \(\kappa>\omega_1\). Results of \textit{E. Specker} [Colloq. Math. 2, 9--12 (1949; Zbl 0040.16703)] and \textit{R. B. Jensen} [Ann. Math. Logic 4, 229--308 (1972; Zbl 0257.02035)] show that, for this question to be answered positively, one would at a minimum need to obtain a model in which both GCH and the weak square principle \(\square^*_\mu\) fail everywhere. In fact, the failure of \(\square^*_\mu\) is equivalent to the nonexistence of special \(\mu^+\)-Aronszajn trees, but this would be a significant step towards the ultimate goal of eliminating all Aronszajn trees. It has turned out that the most difficult aspects of this problem involve the interaction between cardinal arithmetic at singular cardinals and the tree property (or other compactness properties) at their successor (and double successors). The reason for this essentially boils down to the fact that the failure of GCH or SCH is an anticompactness feature, while the tree property (or the failure of forms of \(\square\)) is a compactness property. In the present paper, the authors start from a supercompact cardinal \(\kappa\) with an inaccessible above and produce a forcing extension in which \(\kappa\) remains inaccessible and has a club of singular cardinals \(\nu\) at which both the singular cardinal hypothesis and \(\square^*_\nu\) fail. The fact that \(\kappa\) remains inaccessible is significant, since their extension can then be cut off at \(\kappa\) to produce a model with a proper class of singular cardinals with the stated properties. The main forcing utilized is an upgraded version of both the Gitik-Sharon forcing from [\textit{M. Gitik} and \textit{A. Sharon}, Proc. Am. Math. Soc. 136, No. 1, 311--320 (2008; Zbl 1140.03033)] and \textit{D. Sinapova}'s forcing from [J. Symb. Log. 73, No. 4, 1361--1372 (2008; Zbl 1156.03045)]. As a flavour of Radin forcing, it preserves the inaccessibility of \(\kappa\) while adding a club of newly singular strong limit cardinals at which SCH fails. Weak square does in fact hold at some of the points of this club, but the authors show that those points are quite sparse (their complement in \(\kappa\) is a fat stationary set), so a club avoiding them can be added without disrupting the remaining structure.

Recommendations

• The tree property at successors of singular cardinals
• Aronszajn trees and failure of the singular cardinal hypothesis
• The tree property at double successors of singular cardinals of uncountable cofinality
• Destructibility of the tree property at \(\aleph_{\omega + 1}\)
• THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL
• The tree property and the failure of SCH at uncountable cofinality
• The definable tree property for successors of cardinals
• INDESTRUCTIBILITY OF THE TREE PROPERTY
• The tree property at the first and double successors of a singular
• The special Aronszajn tree property

Cites work

• A model for a very good scale and a bad scale
• Additions to some results of Erdös and Tarski
• Aronszajn trees and failure of the singular cardinal hypothesis
• Aronszajn trees and the independence of the transfer property
• Aronszajn trees on _2 and _3.
• Diagonal Prikry extensions
• Forcing closed unbounded sets
• Fragility and indestructibility. II
• scientific article; zbMATH DE number 3336799 (Why is no real title available?)
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• On SCH and the approachability property
• On squares, outside guessing of clubs and I
• Prikry-type forcings
• Scales at \({\aleph_{\omega} }\)
• Sur un problème de Sikorski
• The fine structure of the constructible hierarchy
• The generalized continuum hypothesis can fail everywhere
• The strength of the failure of the singular cardinal hypothesis
• The tree property
• The tree property and the failure of SCH at uncountable cofinality
• The tree property and the failure of the singular cardinal hypothesis at \(\aleph _{\omega ^{2}}\)
• The tree property at successors of singular cardinals
• The tree property below \(\aleph_{\omega \cdot 2}\)
• The tree property up to \(\aleph_{\omega+1}\)

Cited in

(11)

• Some results on Specker's problem
• Global Chang's conjecture and singular cardinals
• Another method for constructing models of not approachability and not SCH
• Accessing the switchboard via set forcing
• On the consistency of local and global versions of Chang's conjecture
• Fragility and indestructibility. II
• (Weak) diamond can fail at the least inaccessible cardinal
• THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL
• Supercompact extender based Magidor-Radin forcing
• □ on the singular cardinals
• Radin forcing and its iterations

This page was built for publication: Diagonal supercompact Radin forcing

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