Diagonal supercompact Radin forcing

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

doi:10.1016/j.apal.2020.102828

Diagonal supercompact Radin forcing

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

Einstein Institute of Mathematics

The Hebrew University of Jerusalem

Research output: Contribution to journal › Article › peer-review

Abstract

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

Original language	English
Article number	102828
Journal	Annals of Pure and Applied Logic
Volume	171
Issue number	10
DOIs	https://doi.org/10.1016/j.apal.2020.102828
State	Published - Dec 2020

Keywords

Radin forcing
Supercompact cardinals
Weak square

All Science Journal Classification (ASJC) codes

Logic

Access to Document

10.1016/j.apal.2020.102828

Cite this

@article{92f3b3379c1b484c8db5831fd1929cae,

title = "Diagonal supercompact Radin forcing",

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

keywords = "Radin forcing, Supercompact cardinals, Weak square",

author = "Omer Ben-Neria and Chris Lambie-Hanson and Spencer Unger",

note = "Publisher Copyright: {\textcopyright} 2020 Elsevier B.V.",

year = "2020",

month = dec,

doi = "10.1016/j.apal.2020.102828",

language = "الإنجليزيّة",

volume = "171",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "10",

}

TY - JOUR

T1 - Diagonal supercompact Radin forcing

AU - Ben-Neria, Omer

AU - Lambie-Hanson, Chris

AU - Unger, Spencer

PY - 2020/12

Y1 - 2020/12

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

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

KW - Radin forcing

KW - Supercompact cardinals

KW - Weak square

UR - http://www.scopus.com/inward/record.url?scp=85084863170&partnerID=8YFLogxK

U2 - 10.1016/j.apal.2020.102828

DO - 10.1016/j.apal.2020.102828

M3 - مقالة

SN - 0168-0072

VL - 171

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 10

M1 - 102828

ER -

Diagonal supercompact Radin forcing

Abstract

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this