A Forcing Axiom Deciding the Generalized Souslin Hypothesis

Chris Lambie-Hanson; Assaf Rinot

doi:10.4153/CJM-2017-058-2

A Forcing Axiom Deciding the Generalized Souslin Hypothesis

Chris Lambie-Hanson, Assaf Rinot

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

2 Scopus citations

Abstract

We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal λ, if λ ⁺⁺ is not a Mahlo cardinal in Gödel's constructible universe, then 2 ^λ = λ ⁺ entails the existence of a λ ⁺ -complete λ ⁺⁺ -Souslin tree.

Original language	English
Pages (from-to)	437-470
Number of pages	34
Journal	Canadian Journal of Mathematics
Volume	71
Issue number	2
DOIs	https://doi.org/10.4153/CJM-2017-058-2
State	Published - 1 Apr 2019
Externally published	Yes

Keywords

diamond
forcing axiom
SDFA
sharply dense set
Souslin tree
square

ASJC Scopus subject areas

General Mathematics

Access to Document

10.4153/CJM-2017-058-2

Cite this

@article{cb28aef71d5b4658a4ccb543955431ea,

title = "A Forcing Axiom Deciding the Generalized Souslin Hypothesis",

abstract = " We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal λ, if λ ++ is not a Mahlo cardinal in G{\"o}del's constructible universe, then 2 λ = λ + entails the existence of a λ + -complete λ ++ -Souslin tree.",

keywords = "diamond, forcing axiom, SDFA, sharply dense set, Souslin tree, square",

author = "Chris Lambie-Hanson and Assaf Rinot",

note = "Publisher Copyright: {\textcopyright} 2018 Canadian Mathematical Society.",

year = "2019",

month = apr,

day = "1",

doi = "10.4153/CJM-2017-058-2",

language = "English",

volume = "71",

pages = "437--470",

journal = "Canadian Journal of Mathematics",

issn = "0008-414X",

publisher = "Canadian Mathematical Society",

number = "2",

}

TY - JOUR

T1 - A Forcing Axiom Deciding the Generalized Souslin Hypothesis

AU - Lambie-Hanson, Chris

AU - Rinot, Assaf

PY - 2019/4/1

Y1 - 2019/4/1

N2 - We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal λ, if λ ++ is not a Mahlo cardinal in Gödel's constructible universe, then 2 λ = λ + entails the existence of a λ + -complete λ ++ -Souslin tree.

AB - We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal λ, if λ ++ is not a Mahlo cardinal in Gödel's constructible universe, then 2 λ = λ + entails the existence of a λ + -complete λ ++ -Souslin tree.

KW - diamond

KW - forcing axiom

KW - SDFA

KW - sharply dense set

KW - Souslin tree

KW - square

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

U2 - 10.4153/CJM-2017-058-2

DO - 10.4153/CJM-2017-058-2

M3 - Article

AN - SCOPUS:85064936589

SN - 0008-414X

VL - 71

SP - 437

EP - 470

JO - Canadian Journal of Mathematics

JF - Canadian Journal of Mathematics

IS - 2

ER -

A Forcing Axiom Deciding the Generalized Souslin Hypothesis

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this