Diagonal supercompact Radin forcing

, &
Annals of Pure and Applied Logic 171 (10):102828 (2020)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2020.102828

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

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

Through your library

My notes

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.
Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.

Analytics

Added to PP
2020-05-19

Downloads
19 (#775,535)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

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

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 fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Forcing closed unbounded sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.

View all 15 references / Add more references