-
arXiv:2301.08233 [pdf, ps, other]
Square compactness and Lindelöf trees
Abstract: 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.
Submitted 24 May, 2023; v1 submitted 19 January, 2023; originally announced January 2023.
MSC Class: 03E05 (Primary); 54B10; 03E04 (Secondary)