Pages that link to "Item:Q1427773"
From MaRDI portal
The following pages link to Computability on subsets of metric spaces. (Q1427773):
Displayed 50 items.
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Closed choice and a uniform low basis theorem (Q424541) (← links)
- Computable neighbourhoods of points in semicomputable manifolds (Q508833) (← links)
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← links)
- Co-c.e. sets with disconnected complements (Q722203) (← links)
- Computable de Finetti measures (Q764273) (← links)
- Borel complexity and computability of the Hahn-Banach theorem (Q926175) (← links)
- Computability and the morphological complexity of some dynamics on continuous domains (Q930875) (← links)
- A computable version of Banach's inverse mapping theorem (Q1006604) (← links)
- Recursive quasi-metric spaces. (Q1427771) (← links)
- On the uniform computational content of the Baire category theorem (Q1633900) (← links)
- On the uniform computational content of computability theory (Q1694010) (← links)
- Semicomputable manifolds in computable topological spaces (Q1704608) (← links)
- Warsaw discs and semicomputability (Q1709073) (← links)
- Generated quasi-metric hyper and function spaces. (Q1868863) (← links)
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (Q1945017) (← links)
- Computability of products of chainable continua (Q2035483) (← links)
- Dense computability structures (Q2041062) (← links)
- On the computability of the set of automorphisms of the unit square (Q2072068) (← links)
- On envelopes and backward approximations (Q2104271) (← links)
- Effective compactness and orbits of points under the isometry group (Q2105085) (← links)
- Computability of pseudo-cubes (Q2187274) (← links)
- Computable subcontinua of semicomputable chainable Hausdorff continua (Q2235769) (← links)
- Chainable and circularly chainable semicomputable sets in computable topological spaces (Q2274137) (← links)
- Probabilistic computability and choice (Q2346414) (← links)
- Computability of probability measures and Martin-Löf randomness over metric spaces (Q2389335) (← links)
- Uniform test of algorithmic randomness over a general space (Q2566004) (← links)
- Continuity and computability of reachable sets (Q2566008) (← links)
- Realizing semicomputable simplices by computable dynamical systems (Q2676461) (← links)
- Rohlin properties for $\mathbb{Z}^{d}$ actions on the Cantor set (Q2880675) (← links)
- A Computability Challenge: Asymptotic Bounds for Error-Correcting Codes (Q2891310) (← links)
- How constructive is constructing measures? (Q2987777) (← links)
- COMPUTABLE SEMANTICS FOR <i>CTL*</i> ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS (Q3016218) (← links)
- Weihrauch degrees, omniscience principles and weak computability (Q3083132) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Computability and Analysis, a Historical Approach (Q3188239) (← links)
- Computability of the Solutions to Navier-Stokes Equations via Effective Approximation (Q3297826) (← links)
- Effectivity and effective continuity of multifunctions (Q3570164) (← links)
- An Application of Martin-Löf Randomness to Effective Probability Theory (Q3576058) (← links)
- On computably locally compact Hausdorff spaces (Q3616220) (← links)
- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems (Q3646256) (← links)
- Effective Riemann mappings of multiply connected domains and Riemann surfaces (Q4593241) (← links)
- A Natural Weak Limit Space with Admissible Representation which is not a Limit Space (Q4916192) (← links)
- Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces (Q4918004) (← links)
- How Incomputable is the Separable Hahn-Banach Theorem? (Q4918007) (← links)
- Towards Computability over Effectively Enumerable Topological Spaces (Q4918009) (← links)
- Complexity of Blowup Problems (Q4918017) (← links)
- On the Continuity of Effective Multifunctions (Q4918021) (← links)
- Effectivity on Continuous Functions in Topological Spaces (Q4918040) (← links)
- Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus (Q4918048) (← links)