Effective properties of sets and functions in metric spaces with computability structure
From MaRDI portal
computability structurecomputable functioneffective \(\sigma\)-compactnesseffective Tietze's extension theoremmetric space
Recommendations
Cites work
- A foundation for computable analysis
- Computability on computable metric spaces
- Computability structures on metric spaces
- Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
- Effectivity and effective continuity of functions between computable metric spaces
- scientific article; zbMATH DE number 42077 (Why is no real title available?)
- scientific article; zbMATH DE number 800363 (Why is no real title available?)
- scientific article; zbMATH DE number 908753 (Why is no real title available?)
- scientific article; zbMATH DE number 3313523 (Why is no real title available?)
Cited in
(34)- A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties
- Recursive quasi-metric spaces.
- Computability on subsets of metric spaces.
- On the computability of Walsh functions.
- Computability of a function with jumps: Effective uniformity and limiting recursion
- Dense computability structures
- Effective compactness and orbits of points under the isometry group
- Computable reducibility of metrics on the reals
- 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
- Effective dispersion in computable metric spaces
- Computability and continuity in metric partial algebras equipped with computability structures
- An application of Martin-Löf randomness to effective probability theory
- On computably locally compact Hausdorff spaces
- Computability structures on metric spaces
- Effectiveness of the global modulus of continuity on metric spaces
- Effective fixed point theorem over a non-computably separable metric space
- Some properties of the effective uniform topological space
- On computable metric spaces Tietze-Urysohn extension is computable
- Uniform procedures in uncountable structures
- A comparison of concepts from computable analysis and effective descriptive set theory
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
- Computing uniform bounds
- Effectivity on continuous functions in topological spaces
- On computable metrization
- Effective compacts over co-immune sets
- Computability of Subsets of Metric Spaces
- Maximal computability structures
- Effective metric model theory
- Computability of Polish spaces up to homeomorphism
- Comparing computability in two topologies
- Degree spectra of homeomorphism type of compact Polish spaces
- A semilattice of degrees of computable metrics
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)
