The following pages link to Type 2 recursion theory (Q1073021):
Displaying 28 items.
- Three concepts of decidability for general subsets of uncountable spaces (Q817852) (← links)
- Computability of measurable sets via effective topologies (Q818928) (← links)
- Theory of representations (Q1073022) (← links)
- Compactness in constructive analysis revisited (Q1100202) (← links)
- Representations of the real numbers and of the open subsets of the set of real numbers (Q1101448) (← links)
- On the complexity of online computations of real functions (Q1186506) (← links)
- \(\delta\)-uniform BSS machines (Q1271171) (← links)
- Equality is a jump (Q1292397) (← links)
- Computability on subsets of Euclidean space. I: Closed and compact subsets (Q1292398) (← links)
- An effective Riemann Mapping Theorem (Q1292405) (← links)
- Effectiveness of the global modulus of continuity on metric spaces (Q1292416) (← links)
- Using macrotransducers to specify partial continuous operators in metric spaces (Q1375271) (← links)
- A blend of methods of recursion theory and topology. (Q1412834) (← links)
- Computability on continuous, lower semi-continuous and upper semi-continuous real functions (Q1575670) (← links)
- The Turing closure of an Archimedean field (Q1575915) (← links)
- Real number computation through Gray code embedding. (Q1607300) (← links)
- Computability on computable metric spaces (Q1802069) (← links)
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations (Q1885034) (← links)
- Computable reducibility of metrics on the reals (Q2165612) (← links)
- Type 2 computational complexity of functions on Cantor's space (Q2277260) (← links)
- Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
- Recursion theoretic operators and morphisms on numbered sets (Q3340845) (← links)
- Recursiveness and continuity: an introduction (Q3720581) (← links)
- Computability of Self-Similar Sets (Q4238423) (← links)
- A Real Number Structure that is Effectively Categorical (Q4243908) (← links)
- A Relationship between Equilogical Spaces and Type Two Effectivity (Q4917046) (← links)
- On the topological aspects of the theory of represented spaces (Q5740207) (← links)
- THE DISCONTINUITY PROBLEM (Q6095979) (← links)
