A Forcing Axiom Deciding the Generalized Souslin Hypothesis

Chris Lambie-Hanson, Assaf Rinot

Research output: Contribution to journalArticlepeer-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 languageEnglish
Pages (from-to)437-470
Number of pages34
JournalCanadian Journal of Mathematics
Volume71
Issue number2
DOIs
StatePublished - 1 Apr 2019

Bibliographical note

Publisher Copyright:
© 2018 Canadian Mathematical Society.

Funding

This research was partially supported by the Israel Science Foundation (grant #1630/14).

FundersFunder number
Israel Science Foundation1630/14

    Keywords

    • SDFA
    • Souslin tree
    • diamond
    • forcing axiom
    • sharply dense set
    • square

    Fingerprint

    Dive into the research topics of 'A Forcing Axiom Deciding the Generalized Souslin Hypothesis'. Together they form a unique fingerprint.

    Cite this