Universality for left-computably enumerable metric spaces
Alexander Gavruskin, André Nies · Lobachevskii Journal of Mathematics · 2014
There exists a universal object in the class of left-computably enumerable (left-c.e.) metric spaces with diameter bounded by a constant under effective isometric embeddings. There is no such universal object in the class of all left-c.e. metric spaces.