Diagonal supercompact Radin forcing

Annals of Pure and Applied Logic 171 (10):102828 (2020)

Abstract

Motivated by the goal of constructing a model in which there are no κ-Aronszajn trees for any regular $k>\aleph_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square fail.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2020-05-19

Downloads
9 (#959,288)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Tree Property at Successors of Singular Cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
Aronszajn Trees on ℵ2 and ℵ3.Uri Abraham - 1983 - Annals of Mathematical Logic 24 (3):213-230.
The Tree Property Up to אω+1.Itay Neeman - 2014 - Journal of Symbolic Logic 79 (2):429-459.
The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 15 references / Add more references

Citations of this work

Another method for constructing models of not approachability and not SCH.Moti Gitik - 2021 - Archive for Mathematical Logic 60 (3):469-475.

Add more citations

Similar books and articles

Radin Forcing and its Iterations.John Krueger - 2007 - Archive for Mathematical Logic 46 (3-4):223-252.
More on the Least Strongly Compact Cardinal.Arthur W. Apter - 1997 - Mathematical Logic Quarterly 43 (3):427-430.
Partial Near Supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
A Gitik Iteration With Nearly Easton Factoring.William Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
How Many Normal Measures Can ℵmath Image Carry?Arthur W. Apter - 2010 - Mathematical Logic Quarterly 56 (2):164-170.
Supercompact Extender Based Magidor–Radin Forcing.Carmi Merimovich - 2017 - Annals of Pure and Applied Logic 168 (8):1571-1587.
Coherent Sequences Versus Radin Sequences.James Cummings - 1994 - Annals of Pure and Applied Logic 70 (3):223-241.
Some Structural Results Concerning Supercompact Cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
The subcompleteness of diagonal Prikry forcing.Kaethe Minden - 2020 - Archive for Mathematical Logic 59 (1-2):81-102.
More Notions of Forcing Add a Souslin Tree.Ari Meir Brodsky & Assaf Rinot - 2019 - Notre Dame Journal of Formal Logic 60 (3):437-455.
Some Structural Results Concerning Supercompact Cardinals.Arthur Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
Diamonds, Compactness, and Measure Sequences.Omer Ben-Neria - 2019 - Journal of Mathematical Logic 19 (1):1950002.
Laver Indestructibility and the Class of Compact Cardinals.Arthur W. Apter - 1998 - Journal of Symbolic Logic 63 (1):149-157.
Removing Laver Functions From Supercompactness Arguments.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (2):154.