2022/03/08 by Switzer, Corey Bacal · 1 citation
#FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2203.04186
Define the special tree number, denoted \mathfrakst, to be the least size of a tree of height ω1 which is neither special nor has a cofinal branch. This cardinal had previously been studied in the context of fragments of MA but in this paper we look at its relation to other, more typical, cardinal characteristics. Classical facts imply that ℵ1 ≤ \mathfrakst ≤ 2ℵ0, under Martin's Axiom \mathfrakst = 2ℵ0 and that \mathfrakst = ℵ1 is consistent with MA(\rm Knaster) + 2ℵ0 = κ for any regular κ thus the value of \mathfrakst is not decided by ZFC and in fact can be strictly below essentially all well studied cardinal characteristics. We show that conversely it is consistent that \mathfrakst = 2ℵ0 = κ for any κ of uncountable cofinality while \rm non(\mathcal M) = \mathfraka = \mathfraks = \mathfrakg = ℵ1. In particular \mathfrakst is independent of the lefthand side of Cichoń's diagram, amongst other things. The proof involves an in depth study of the standard ccc forcing notion to specialize (wide) Aronszajn trees, which may be of independent interest.