Labeled Trees Generating Separable and Locally Finite Ultrametrics

We analyze the interplay between labeled trees and the ultrametric spaces they present. We provide characterizations of labeled trees that generate separable ultrametric spaces and those that generate locally finite ultrametric spaces. In particular, we establish an analog of König’s Infinity Lemma for locally finite ultrametric spaces generated by labeled trees.