  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\"of 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.
