Reducibility of computable metrics on the real line

DOI10.1007/S10469-017-9451-8zbMath1420.03112OpenAlexW2767805006MaRDI QIDQ1703268

R. A. Kornev

Publication date: 2 March 2018

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-017-9451-8

zbMATH Keywords

computable metric spaceCauchy representationreducibility of representations

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Related Items (3)

A semilattice of degrees of computable metrics ⋮ Computable reducibility of metrics on the reals ⋮ Computable metrics above the standard real metric

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory of representations
• Computability on computable metric spaces
• Computably Isometric Spaces
• An Introduction to Metric Spaces and Fixed Point Theory
• Recursive metric spaces
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction

This page was built for publication: Reducibility of computable metrics on the real line