The following pages link to (Q4422786):
Displaying 32 items.
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- Computability of measurable sets via effective topologies (Q818928) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- Comparing Cartesian closed categories of (core) compactly generated spaces (Q1880712) (← links)
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (Q1945017) (← links)
- On the computability of the set of automorphisms of the unit square (Q2072068) (← links)
- On envelopes and backward approximations (Q2104271) (← links)
- The fixed-point property for represented spaces (Q2120973) (← links)
- Parametrised second-order complexity theory with applications to the study of interval computation (Q2285136) (← links)
- Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract) (Q2946357) (← links)
- Stability of representations of effective partial algebras (Q2996232) (← links)
- Base-Complexity Classifications of QCB $$_0$$ 0 -Spaces (Q3195692) (← links)
- A uniformly computable Implicit Function Theorem (Q3506324) (← links)
- On computability and disintegration (Q4593233) (← links)
- A comparison of concepts from computable analysis and effective descriptive set theory (Q4593238) (← links)
- Computable Riesz Representation for Locally Compact Hausdorff Spaces (Q4918024) (← links)
- Effectivity on Continuous Functions in Topological Spaces (Q4918040) (← links)
- Admissible Representations of Probability Measures (Q4921436) (← links)
- Computable Riesz Representation for the Dual of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:mn>0</mml:mn><mml:mo>;</mml:mo><mml:mn>1</mml:mn><mml:mo (Q4921441) (← links)
- (Q4989411) (← links)
- Representations and evaluation strategies for feasibly approximable functions (Q4995603) (← links)
- Computability of Subsets of Metric Spaces (Q5024568) (← links)
- Admissibly Represented Spaces and Qcb-Spaces (Q5024575) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- (Q5155677) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Connected choice and the Brouwer fixed point theorem (Q5223123) (← links)
- Computable metrization (Q5307607) (← links)
- Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353) (← links)
- WEIHRAUCH GOES BROUWERIAN (Q5858925) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- A computable and compositional semantics for hybrid systems (Q6614877) (← links)
