Computable reducibility of metrics on the reals

DOI10.1007/s10469-022-09676-wOpenAlexW4289930834MaRDI QIDQ2165612

R. A. Kornev

Publication date: 22 August 2022

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

Full work available at URL: https://doi.org/10.1007/s10469-022-09676-w

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A semilattice of degrees of computable metrics
• Type 2 recursion theory
• 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
• Reducibility of computable metrics on the real line
• Computable metrics above the standard real metric
• On the maximality of degrees of metrics under computable reducibility
• Computable copies of ℓ p 1
• Computably Isometric Spaces
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction

This page was built for publication: Computable reducibility of metrics on the reals