Martin's axiom and spanning trees of infinite graphs
If \(MA_{\kappa}\) holds then every \(\omega\)-connected graph of cardinality \(\leq \kappa\) has a spanning tree with no infinite branch.
scientific article; zbMATH DE number 4212093