Perfect subtree property for weakly compact cardinals

Yair Hayut; Sandra Müller

doi:10.1007/s11856-022-2385-4

Perfect subtree property for weakly compact cardinals

Yair Hayut
, Sandra Müller^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

2 Scopus citations

Abstract

We investigate the consistency strength of the statement: κ is weakly compact and there is no tree on κ with exactly κ⁺ many branches. We show that this statement fails strongly (in the sense that there is a sealed tree with exactly κ⁺ many branches) if there is no inner model with a Woodin cardinal. Moreover, we show that for a weakly compact cardinal κ the nonexistence of a tree on κ with exactly κ⁺ many branches and, in particular, the Perfect Subtree Property for κ, implies the consistency of AD_ℝ + DC.

Original language	English
Pages (from-to)	865-886
Number of pages	22
Journal	Israel Journal of Mathematics
Volume	253
Issue number	2
DOIs	https://doi.org/10.1007/s11856-022-2385-4
State	Published - Mar 2023

Bibliographical note

Publisher Copyright:
© 2022, The Hebrew University of Jerusalem.

Access to Document

10.1007/s11856-022-2385-4

Cite this

@article{3d9a072786344da4a7e1a69388fb2fd1,

title = "Perfect subtree property for weakly compact cardinals",

abstract = "We investigate the consistency strength of the statement: κ is weakly compact and there is no tree on κ with exactly κ+ many branches. We show that this statement fails strongly (in the sense that there is a sealed tree with exactly κ+ many branches) if there is no inner model with a Woodin cardinal. Moreover, we show that for a weakly compact cardinal κ the nonexistence of a tree on κ with exactly κ+ many branches and, in particular, the Perfect Subtree Property for κ, implies the consistency of ADℝ + DC.",

author = "Yair Hayut and Sandra M{\"u}ller",

note = "Publisher Copyright: {\textcopyright} 2022, The Hebrew University of Jerusalem.",

year = "2023",

month = mar,

doi = "10.1007/s11856-022-2385-4",

language = "אנגלית",

volume = "253",

pages = "865--886",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "2",

}

TY - JOUR

T1 - Perfect subtree property for weakly compact cardinals

AU - Hayut, Yair

AU - Müller, Sandra

PY - 2023/3

Y1 - 2023/3

N2 - We investigate the consistency strength of the statement: κ is weakly compact and there is no tree on κ with exactly κ+ many branches. We show that this statement fails strongly (in the sense that there is a sealed tree with exactly κ+ many branches) if there is no inner model with a Woodin cardinal. Moreover, we show that for a weakly compact cardinal κ the nonexistence of a tree on κ with exactly κ+ many branches and, in particular, the Perfect Subtree Property for κ, implies the consistency of ADℝ + DC.

AB - We investigate the consistency strength of the statement: κ is weakly compact and there is no tree on κ with exactly κ+ many branches. We show that this statement fails strongly (in the sense that there is a sealed tree with exactly κ+ many branches) if there is no inner model with a Woodin cardinal. Moreover, we show that for a weakly compact cardinal κ the nonexistence of a tree on κ with exactly κ+ many branches and, in particular, the Perfect Subtree Property for κ, implies the consistency of ADℝ + DC.

UR - https://www.scopus.com/pages/publications/85142178745

U2 - 10.1007/s11856-022-2385-4

DO - 10.1007/s11856-022-2385-4

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85142178745

SN - 0021-2172

VL - 253

SP - 865

EP - 886

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 2

ER -

Perfect subtree property for weakly compact cardinals

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this