RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2022 Volume 19, Issue 1, Pages 248–258 (Mi semr1496)

This article is cited in 1 paper

Mathematical logic, algebra and number theory

On the maximality of degrees of metrics under computable reducibility

R. Kornev

Sobolev Institute of Mathematics, 4, Acad. Koptyug ave., Novosibirsk, 630090, Russia

Abstract: We study the semilattice $\mathcal{CM}_c(\mathbf{X})$ 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.

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

UDC: 510.5

MSC: 03F60

Received April 7, 2021, published April 19, 2022

Language: English

DOI: 10.33048/semi.2022.19.019



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024