On computable metrization

DOI10.1016/J.ENTCS.2006.08.020MaRDI QIDQ4921450zbMATH OpenOpenAlexFDO

Authors Tanja Grubba, Klaus Weihrauch

Publication date 10 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.08.020

zbMATH Keywords

computable analysiscomputable embeddingcomputable metric spacecomputable metrizationTTE

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Metric spaces, metrizability (54E35)

Recommendations

• Computable metrization
• Computably regular topological spaces
• scientific article; zbMATH DE number 1222111
• Effective dispersion in computable metric spaces
• Computably Isometric Spaces

Cites work

• Computability on computable metric spaces
• Computability on Regular Subsets of Euclidean Space
• Computability on subsets of Euclidean space. I: Closed and compact subsets
• Computability on subsets of metric spaces.
• Computability theory of generalized functions
• Computable functionals
• Computable operators on regular sets
• Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
• Concrete models of computation for topological algebras
• Continuity and computability of reachable sets
• Effective properties of sets and functions in metric spaces with computability structure
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1059780 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2190887 (Why is no real title available?)
• scientific article; zbMATH DE number 3110188 (Why is no real title available?)

Cited in

(20)

• Reducibility of computable metrics on the real line
• Computable metrics above the standard real metric
• On images of partial computable functions over computable Polish spaces
• Computably regular topological spaces
• Computable separation in topology, from T₀ to T₃
• Rice's theorem in effectively enumerable topological spaces
• scientific article; zbMATH DE number 1222111 (Why is no real title available?)
• scientific article; zbMATH DE number 1746047 (Why is no real title available?)
• Computable elements and functions in effectively enumerable topological spaces
• Notions of Probabilistic Computability on Represented Spaces
• Effectivity on continuous functions in topological spaces
• scientific article; zbMATH DE number 7360045 (Why is no real title available?)
• Abstract versus concrete computation on metric partial algebras
• Computable metrization
• Computability of Polish spaces up to homeomorphism
• On the complexity of the theory of a computably presented metric structure
• Every \(\Delta^0_2\) Polish space is computable topological
• Computably locally compact groups and their closed subgroups
• Computable topological groups
• Effective bases and notions of effective second countability in computable analysis

This page was built for publication: On computable metrization

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