Perfect subtree property for weakly compact cardinals

Yair Hayut, Sandra Müller*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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 languageAmerican English
Pages (from-to)865-886
Number of pages22
JournalIsrael Journal of Mathematics
Issue number2
StatePublished - Mar 2023

Bibliographical note

Funding Information:
The second-listed author was supported by L’ORÉAL Austria, in collaboration with the Austrian UNESCO Commission and in cooperation with the Austrian Academy of Sciences — Fellowship Determinacy and Large Cardinals and Elise Richter grant number V844 of the FWF.

Funding Information:
The first-listed author was supported by Austrian Science Fund (FWF) Lise Meitner grant 2650-N35.

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


Dive into the research topics of 'Perfect subtree property for weakly compact cardinals'. Together they form a unique fingerprint.

Cite this