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.

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)