English

Perfect Subtree Property for Weakly Compact Cardinals

Logic 2021-09-22 v3

Abstract

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

Cite

@article{arxiv.1910.05159,
  title  = {Perfect Subtree Property for Weakly Compact Cardinals},
  author = {Yair Hayut and Sandra Müller},
  journal= {arXiv preprint arXiv:1910.05159},
  year   = {2021}
}
R2 v1 2026-06-23T11:40:58.590Z