Pages that link to "Item:Q1292419"
From MaRDI portal
The following pages link to Effective properties of sets and functions in metric spaces with computability structure (Q1292419):
Displaying 22 items.
- A semilattice of degrees of computable metrics (Q820483) (← links)
- A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties (Q1019738) (← links)
- Recursive quasi-metric spaces. (Q1427771) (← links)
- Computability on subsets of metric spaces. (Q1427773) (← links)
- On the computability of Walsh functions. (Q1607297) (← links)
- Computability of a function with jumps: Effective uniformity and limiting recursion (Q1763621) (← links)
- Dense computability structures (Q2041062) (← links)
- Effective compactness and orbits of points under the isometry group (Q2105085) (← links)
- Computable reducibility of metrics on the reals (Q2165612) (← links)
- Genericity of weakly computable objects (Q2363959) (← links)
- Computability of probability measures and Martin-Löf randomness over metric spaces (Q2389335) (← links)
- An Application of Martin-Löf Randomness to Effective Probability Theory (Q3576058) (← links)
- On computably locally compact Hausdorff spaces (Q3616220) (← links)
- (Q4217607) (← links)
- (Q4362969) (← links)
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras (Q4650302) (← links)
- Computing Uniform Bounds (Q4916180) (← links)
- Effectivity on Continuous Functions in Topological Spaces (Q4918040) (← links)
- On Computable Metrization (Q4921450) (← links)
- Computability of Subsets of Metric Spaces (Q5024568) (← links)
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM (Q5858927) (← links)
- Comparing computability in two topologies (Q6642884) (← links)