On computably locally compact Hausdorff spaces
From MaRDI portal
Publication:3616220
DOI10.1017/S0960129508007366zbMath1159.03044MaRDI QIDQ3616220
Publication date: 24 March 2009
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
computabilityeffective spaceType-2 Theory of Effectivitycomputably locally compact Hausdorff spacesrepresentation approach
Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80) Other constructive mathematics (03F65)
Related Items
Cites Work
- Unnamed Item
- Computability on subsets of Euclidean space. I: Closed and compact subsets
- Concrete models of computation for topological algebras
- Effective properties of sets and functions in metric spaces with computability structure
- Recursive quasi-metric spaces.
- Computability on subsets of metric spaces.
- Computability on computable metric spaces
- Continuity and computability of reachable sets
- Computable operators on regular sets
- Computability theory of generalized functions
- Berechenbare Reelle Funktionen
- Computable Real‐Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
- On Computable Numbers, with an Application to the Entscheidungsproblem
