Computable metrization

DOI10.1002/MALQ.200710009MaRDI QIDQ5307607zbMATH OpenOpenAlexFDO

Authors Tanja Grubba, Klaus Weihrauch, Matthias Schröder

Publication date 17 September 2007

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200710009

zbMATH Keywords

computable analysiscomputable embeddingcomputable metric spacecomputable metrizationTTE

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60) Metric spaces, metrizability (54E35)

Recommendations

• On computable metrization
• Computably regular topological spaces
• scientific article; zbMATH DE number 1746049
• Computably Isometric Spaces
• Cocompactness and quasi-uniformizability of completely metrizable spaces.

Cited in

(18)

• Reducibility of computable metrics on the real line
• Computability theory. Abstracts from the workshop held January 7--13, 2018
• Computable metrics above the standard real metric
• Characterizing the continuous degrees
• Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
• Computably regular topological spaces
• Towards the Effective Descriptive Set Theory
• Computable exchangeable sequences have computable de Finetti measures
• scientific article; zbMATH DE number 1746047 (Why is no real title available?)
• How incomputable is the separable Hahn-Banach theorem?
• Computable Riesz representation for locally compact Hausdorff spaces
• On computable metrization
• On a metric generalization of the \(tt\)-degrees and effective dimension theory
• Computably Isometric Spaces
• Algorithmic randomness over general spaces
• A polynomial time computable metric between points sets
• Comparing notions of presentability in Polish spaces and Polish groups
• Computable de Finetti measures

This page was built for publication: Computable metrization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307607)