Square compactness and Lindelöf trees
We prove that every weakly square compact cardinal is a strong limit cardinal. We also study Aronszajn trees with no uncountable finitely branching subtrees, characterizing them in terms of being Lindelöf with respect to a particular topology. We prove that the class of such trees lies between the classes of Suslin and Aronszajn trees, and that the inclusions can consistently be strict.
math.LO↗