Reducibility of Computable Metrics on the Real Line

R. A. Kornev

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

We study computable reducibility of computable metrics on 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.

Язык оригиналаанглийский
Страницы (с-по)302-317
Число страниц16
ЖурналAlgebra and Logic
Том56
Номер выпуска4
DOI
СостояниеОпубликовано - 1 сен 2017

Fingerprint Подробные сведения о темах исследования «Reducibility of Computable Metrics on the Real Line». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать