Computable metrics above the standard real metric

DOI10.33048/semi.2021.18.027OpenAlexW3200093975MaRDI QIDQ2033336

R. A. Kornev

Publication date: 17 June 2021

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.33048/semi.2021.18.027

zbMATH Keywords

computable analysiscomputable metric spacerepresentation of real numbersCauchy representationreducibility of representations

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items

A semilattice of degrees of computable metrics ⋮ 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
• Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
• Theory of representations
• Computational complexity of real functions
• Reducibility of computable metrics on the real line
• Algorithmic Randomness and Complexity
• Degrees of unsolvability of continuous functions
• Computably Isometric Spaces