Abstract
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.
Similar content being viewed by others
References
E. Ianovski, R. Miller, S. Ng, and A. Nies, “Complexity of equivalence relations and preorders from computability theory,” J. Symbolic Logic (in press).
A. G. Melnikov and A. Nies, Proceedings of the American Mathematical Society 141(8), 2885 (2013).
A. G. Melnikov and A. Nies, in Proceedings of CiE (Springer, Berlin, 2013), pp. 320–328.
Author information
Authors and Affiliations
Corresponding author
Additional information
Submitted by M. M. Arslanov
Rights and permissions
About this article
Cite this article
Gavruskin, A., Nies, A. Universality for left-computably enumerable metric spaces. Lobachevskii J Math 35, 292–294 (2014). https://doi.org/10.1134/S1995080214040179
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080214040179