Diagonal supercompact Radin forcing

DOI10.1016/J.APAL.2020.102828zbMATH Open1472.03058arXiv1604.01564OpenAlexW3032263555MaRDI QIDQ2004953FDOQ2004953

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

Publication date: 7 October 2020

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

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.

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

zbMATH Keywords

supercompact cardinalsweak squareRadin forcing

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The fine structure of the constructible hierarchy
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Prikry-Type Forcings
• ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS
• On SCH and the approachability property
• Aronszajn trees on \(\aleph_2\) and \(\aleph_3\).
• The tree property at successors of singular cardinals
• The tree property
• The tree property and the failure of the singular cardinal hypothesis at \(\aleph _{\omega ^{2}}\)
• Diagonal Prikry extensions
• Aronszajn trees and the independence of the transfer property
• Sur un problème de Sikorski
• The strength of the failure of the singular cardinal hypothesis
• The tree property up to \(\aleph_{\omega+1}\)
• The tree property and the failure of SCH at uncountable cofinality
• A model for a very good scale and a bad scale
• Fragility and indestructibility. II
• The tree property below \(\aleph_{\omega \cdot 2}\)
• The generalized continuum hypothesis can fail everywhere
• On squares, outside guessing of clubs and I
• Forcing closed unbounded sets
• Scales at \({\aleph_{\omega} }\)
• Additions to some results of Erdös and Tarski

Cited In (6)

• Radin forcing and its iterations
• On the consistency of local and global versions of Chang’s Conjecture
• Global Chang's conjecture and singular cardinals
• Another method for constructing models of not approachability and not SCH
• THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL
• Supercompact extender based Magidor-Radin forcing

Recommendations

• ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS 👍 👎
• The tree property at successors of singular cardinals 👍 👎
• The tree property at double successors of singular cardinals of uncountable cofinality 👍 👎
• THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL 👍 👎
• The tree property and the failure of SCH at uncountable cofinality 👍 👎
• The tree property at the first and double successors of a singular 👍 👎
• The definable tree property for successors of cardinals 👍 👎
• INDESTRUCTIBILITY OF THE TREE PROPERTY 👍 👎
• The special Aronszajn tree property 👍 👎
• DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$ 👍 👎

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)