Effective properties of sets and functions in metric spaces with computability structure
From MaRDI portal
(Redirected from Publication:1292419)
metric spaceeffective \(\sigma\)-compactnesscomputable functioncomputability structureeffective Tietze's extension theorem
Recommendations
Cites work
- scientific article; zbMATH DE number 42077 (Why is no real title available?)
- scientific article; zbMATH DE number 1222088 (Why is no real title available?)
- scientific article; zbMATH DE number 1222103 (Why is no real title available?)
- scientific article; zbMATH DE number 1222111 (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?)
- Computability on computable metric spaces
- Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
Cited in
(33)- Recursive quasi-metric spaces.
- A semilattice of degrees of computable metrics
- Uniform procedures in uncountable structures
- Effective compactness and orbits of points under the isometry group
- Effectivity on continuous functions in topological spaces
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
- scientific article; zbMATH DE number 1086720 (Why is no real title available?)
- Computability of Subsets of Metric Spaces
- scientific article; zbMATH DE number 1746048 (Why is no real title available?)
- 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
- Genericity of weakly computable objects
- Effective compacts over co-immune sets
- 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.
- A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties
- scientific article; zbMATH DE number 1746049 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1746046 (Why is no real title available?)
- Computability and continuity in metric partial algebras equipped with computability structures
- Maximal computability structures
- Dense computability structures
- scientific article; zbMATH DE number 1222111 (Why is no real title available?)
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)