311math.GN
The center of distances of a finite ultrametric space: centered spheres, prescribed centers, and extremal rigidity
PDFThe center of distances of a metric space (X,d) is the set C(X) of those distances t for which the equation d(p,x)=t has a solution x for every p ∈ X. Dovgoshey and Rovenska (arXiv:2601.13363, Mathematics 2026) described C(X) for ultrametric spaces generate…
Contribute a review
Evidence summary
95 Lean theorems · 16 stated results · 5 source-labelled candidates. Lean build reported passed by the source. Inspect claims