|
This article is cited in 4 scientific papers (total in 4 papers)
Reducibility of computable metrics on the real line
R. A. Kornev Novosibirsk State University, ul. Pirogova 1, Novosibirsk, 630090 Russia
Abstract:
We study computable reducibility of computable metrics on $\mathbf R$ induced by reducibility of their respective Cauchy representations. It is proved that this ordering has a subordering isomorphic to an arbitrary countable tree. Also we introduce a weak version of computable reducibility and construct a countable antichain of computable metrics that are incomparable with respect to it. Informally, copies of the real line equipped with these metrics are pairwise homeomorphic but not computably homeomorphic.
Keywords:
computable metric space, Cauchy representation, reducibility of representations.
Received: 13.10.2015 Revised: 16.10.2016
Citation:
R. A. Kornev, “Reducibility of computable metrics on the real line”, Algebra Logika, 56:4 (2017), 453–476; Algebra and Logic, 56:4 (2017), 302–317
Linking options:
https://www.mathnet.ru/eng/al808 https://www.mathnet.ru/eng/al/v56/i4/p453
|
|