Computational dimension of topological spaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2064, Issue , 2001, Pages 323-335

  Tsuiki, Hideki ^a  

^a Kyoto University   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTER SETS; COMPUTABILITY AND DECIDABILITY; SET THEORY;

CONTINUOUS FUNCTIONS; DEGREE OF COMPLEXITY; EUCLIDEAN SPACES; INFINITE DIMENSIONAL; N-DIMENSIONAL SPACE; SEPARABLE METRIC SPACES; TOPOLOGICAL DIMENSIONS; TOPOLOGICAL SPACES;

TOPOLOGY;

EID: 84974676530     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45335-0_19     Document Type: Conference Paper

References (12)

1. Vasco Brattka and Peter Hertling. Topological properties of real number representations. Theoretical Computer Science, 2000. to appear.
2. Jens Blanck. Domain representability of metric spaces. Annals of Pure and Applied Logic, 83:225-247, 1997.
3. Ryszard Engelking. Outline of General Topology. North-Holland, Amsterdam, 1968.
4. Ryszard Engelking. Dimension Theory. North-Holland, Amsterdam, 1978.
5. Abbas Edalat and Philipp Sünderhauf. A domain-theoretic approach to computability on the real line. Theoretical Computer Science, 210(1):73-98, 1998.
6. Pietro Di Gianantonio. An abstract data type for real numbers. Theoretical Computer Science, 221:295-326, 1999.
7. Witold Hurewicz and Henry Wallman. Dimension Theory. Princeton University Press, 1948.
8. Juniti Nagata. Modern Dimension Theory. North-Holland, Amsterdam, 1965.
9. Viggo Stoltenberg-Hansen and John V. Tucker. Concrete models of computation for topological algebras. Theoretical Computer Science, 219:347-378, 1999.
10. Hideki Tsuiki. Implementing real number computation in GHC. Computer Software (in Japanese), 2001. to appear.
11. Hideki Tsuiki. Real number computation through gray code embedding. Theoretical Computer Science, 2001. to appear.
12. Klaus Weihrauch. Computable Analysis, an Introduction. Springer-Verlag, Berlin, 2000.