On the maximality of degrees of metrics under computable reducibility

Authors

  • Ruslan Ruslan Aleksandrovich Kornev Sobolev Institute of Mathematics SO RAN

Keywords:

computable metric space, Cauchy representation, reducibility of representations, computable analysis.

Abstract

We study the semilattice $\CMX$ of degrees of computable metrics on a Polish space $\mathbf{X}$ under computable reducibility. It is proved that this semilattice does not have maximal elements if $\mathbf{X}$ is a noncompact space. It is also shown that the degree of the standard metric on the unit interval is maximal in the respective semilattice.

Downloads

Published

2022-04-07

Issue

Section

Mathematical logic, algebra and number theory