Effective properties of sets and functions in metric spaces with computability structure

DOI10.1016/S0304-3975(98)00301-6zbMATH Open0916.68049MaRDI QIDQ1292419FDOQ1292419

Authors: Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii 

Publication date: 21 June 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• Computability on computable metric spaces
• scientific article; zbMATH DE number 1222111
• scientific article; zbMATH DE number 1746048

zbMATH Keywords

metric spaceeffective \(\sigma\)-compactnesscomputable functioncomputability structureeffective Tietze's extension theorem

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Computability on computable metric spaces
• Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (33)

• Uniform procedures in uncountable structures
• A semilattice of degrees of computable metrics
• Effectivity on continuous functions in topological spaces
• Effective compactness and orbits of points under the isometry group
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• Title not available (Why is that?)
• Computability of Subsets of Metric Spaces
• Title not available (Why is that?)
• Effective dispersion in computable metric spaces
• Computability of Polish spaces up to homeomorphism
• Computability on subsets of metric spaces.
• Computability of a function with jumps: Effective uniformity and limiting recursion
• Effective compacts over co-immune sets
• Genericity of weakly computable objects
• Computability of probability measures and Martin-Löf randomness over metric spaces
• Computable structures and operations on the space of continuous functions
• On the computability of Walsh functions.
• Title not available (Why is that?)
• A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties
• A comparison of concepts from computable analysis and effective descriptive set theory
• An application of Martin-Löf randomness to effective probability theory
• On computable metrization
• Computable reducibility of metrics on the reals
• On computably locally compact Hausdorff spaces
• Comparing computability in two topologies
• Effective metric model theory
• Computing uniform bounds
• Title not available (Why is that?)
• Computability and continuity in metric partial algebras equipped with computability structures
• Maximal computability structures
• Dense computability structures
• Title not available (Why is that?)
• Recursive quasi-metric spaces.

This page was built for publication: Effective properties of sets and functions in metric spaces with computability structure

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