A semilattice of degrees of computable metrics

DOI10.1134/S0037446621050050OpenAlexW3204270394MaRDI QIDQ820483

R. A. Kornev

Publication date: 27 September 2021

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446621050050

zbMATH Keywords

computable analysiscomputable metric spaceCauchy representationreducibility of representations

Mathematics Subject Classification ID

Theory of computing (68Qxx) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Related Items

On the maximality of degrees of metrics under computable reducibility ⋮ Computable reducibility of metrics on the reals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of representations
• On the continued fraction representation of computable real numbers
• Representations of the real numbers and of the open subsets of the set of real numbers
• Effective properties of sets and functions in metric spaces with computability structure
• Topological properties of real number representations.
• Reducibility of computable metrics on the real line
• Computable metrics above the standard real metric
• Computable structures and operations on the space of continuous functions
• A Real Number Structure that is Effectively Categorical
• Computable copies of ℓ p 1
• The isometry degree of a computable copy of ℓ p 1
• The Classification Problem for Compact Computable Metric Spaces
• Computably Isometric Spaces
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction