The following pages link to On effective topological spaces (Q4391431):
Displayed 19 items.
- Program self-reference in constructive Scott subdomains (Q693046) (← links)
- Towards a descriptive set theory for domain-like structures (Q854185) (← links)
- Recursive quasi-metric spaces. (Q1427771) (← links)
- Computability on subsets of metric spaces. (Q1427773) (← links)
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. (Q1607287) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- Strong reducibility of partial numberings (Q1766927) (← links)
- Outline of partial computability in computable topology (Q2011636) (← links)
- On higher effective descriptive set theory (Q2011663) (← links)
- On images of partial computable functions over computable Polish spaces (Q2403641) (← links)
- Rice’s Theorem in Effectively Enumerable Topological Spaces (Q3195700) (← links)
- On Turing degrees of points in computable topology (Q3528143) (← links)
- Program Self-reference in Constructive Scott Subdomains (Q3576041) (← links)
- Computable elements and functions in effectively enumerable topological spaces (Q4593240) (← links)
- Some results related to the continuity problem (Q4593245) (← links)
- Computable and Continuous Partial Homomorphisms on Metric Partial Algebras (Q4650302) (← links)
- Towards Computability over Effectively Enumerable Topological Spaces (Q4918009) (← links)
- (Q5094901) (← links)
- Representations versus numberings: On the relationship of two computability notions (Q5958133) (← links)