Perfect Subtree Property for Weakly Compact Cardinals

DOI10.1007/S11856-022-2385-4MaRDI QIDQ6327007arXivFDO

Authors Yair Hayut, Sandra Müller

Publication date 11 October 2019

Published in arXiv

Full work available at URL https://doi.org/10.1007/S11856-022-2385-4

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

arXiv classification

math.LO

Abstract: We investigate the consistency strength of the statement: $kappa$ is weakly compact and there is no tree on $kappa$ with exactly $kapp{a}^{+}$ many branches. We show that this statement fails strongly (in the sense that there is a sealed tree with exactly $kapp{a}^{+}$ 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 $kapp{a}^{+}$ many branches and, in particular, the Perfect Subtree Property for $kappa$, implies the consistency of $A{D}_{mathbbR}+DC$.

This page was built for publication: Perfect Subtree Property for Weakly Compact Cardinals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6327007)