{"id":"arxiv/2605.13608","url":"https://arxiv.org/abs/2605.13608","tags":["math.LO"],"score":0,"title":"Universal homogeneous two-sorted ultrametric spaces","domain":"math.LO","source":"arxiv","authors":["Adam Bartoš","Wiesław Kubiś","Aleksandra Kwiatkowska","Maciej Malicki"],"reviews":0,"subject":"math.LO","summary":"We view ultrametric spaces as two-sorted structures consisting of a set of points and of a linearly ordered set of distances. We call the appropriate notion of embeddings distance-carrying (dc for short). Those are obtained by combining isometries and linear order embeddings. We show that the class of all finite two-sorted ultrametric spaces with dc-embeddings is Fraïssé, and that the limit is the countable rational Urysohn ultrametric space $\\mathbb{U}$. The space $\\mathbb{U}$ is dc-universal for all countable ultrametric spaces, and its Cauchy completion $\\overline{\\mathbb{U}}$ is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-13","reactions":{}}