Computable invariance

Theoretical Computer Science

Volumn 210, Issue 1, 1999, Pages 3-20

  Brattka, Vasco ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Computability and non computability in analysis; Continuity

Indexed keywords

EID: 0010264901     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00095-4     Document Type: Article

References (29)

1. V. Brattka, Grade der Nichtstetigkeit in der Analysis, Diplomarbeit, FernUniversität, Hagen, 1993.
2. V. Brattka, Computable selection in analysis, in: K.-I. Ko, K. Weihrauch (Eds.), Proc. Workshop on Computability and Complexity in Analysis, Informatik Berichte, vol. 190, FernUniversität, Hagen, 1995, pp. 125-138.
3. V. Brattka, Recursive characterization of computable real-valued functions and relations, Theoret. Comput. Sci. 162 (1996) 45-77.
4. V. Brattka, Order-free recursion on the real numbers, Math. Logic Quart. 43 (1997) 216-234.
5. V. Brattka, K. Weihrauch, Computability on subsets of Euclidean space 1: closed and compact subsets, Theoret. Comput. Sci., to appear.
6. A. Chou, K.-I. Ko, Computational complexity of two-dimensional regions, SIAM J. Comput. 24 (1995) 923-947.
7. R. Engelking, General Topology, Heldermann, Berlin, 1989.
8. A. Grzegorczyk, On the definition of computable real continuous functions, Fund. Math. 44 (1957) 61-71.
9. P. Hertling, Topologische Komplexitätsgerade von Funktionen mit endlichem Bild, Informatik-Berichte, vol. 152, FernUniversität, Hagen, 1993.
10. K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991.
11. K.-I. Ko, A polynomial-time computable curve whose interior has a nonrecursive measure, Theoret. Comput. Sci. 145 (1995) 241-270.
12. K.-I. Ko, On the computability of fractal dimensions and Julia sets, Annals of Pure and Applied logic, to appear.
13. K.-I. Ko, K. Weihrauch, On the measure of two-dimensional regions with polynomial-time computable boundaries, in: S. Homer, J.-Y. Cai (Eds.), Proc. 11th IEEE Conference on Computational Complexity, IEEE Computer Society Press, Los Alamitos (1996) 150-159.
14. Ch. Kreitz, K. Weihrauch, Compactness in constructive analysis revisited, Ann. Pure Appl. Logic 36 (1987) 29-38.
15. K. Kuratowski, Topology, vol. I&II, Academic Press, New York, 1966, 1968.
16. B.A. Kushner, Lectures on Constructive Mathematical Analysis, American Mathematical Society, Providence, 1984.
17. D. Lacombe, Extension de la notion de fonction recursive aux fonctions d'une ou plusieurs variables relles I-III, Comptes Rendus 240/241 (1955) 2478-2480/13-14, 151-153, 1250-1252.
18. J.R. Myhill, A recursive function, defined on a compact interval and having a continuous derivative that is not recursive, Michigan Math. J. 18 (1971) 97-98.
19. U. Mylatz, Vergleich unstetiger Funktionen in der Analysis, Diplomarbeit, FernUniversität, Hagen, 1992.
20. M.B. Pour-El, J. Richards, Computability in Analysis and Physics, Springer, Berlin, 1989.
21. N.A. Šanin, Constructive Real Numbers and Constructive Function Spaces, American Mathematical Society, Providence, 1968.
22. Th. von Stein, Vergleich nicht konstruktiv lösbarer Probleme in der Analysis, Diplomarbeit, FernUniversität, Hagen, 1989.
23. K. Weihrauch, Computability, Springer, Berlin, 1987.
24. K. Weihrauch, The degrees of discontinuity of some translators between representations of the real numbers, Informatik-Berichte, vol. 129, FernUniversität, Hagen, 1992.
25. K. Weihrauch, The TTE-interpretation of three hierarchies of omniscience principles, Informatik-Berichte, vol. 130, FernUniversität, Hagen, 1992.
26. K. Weihrauch, Computability on computable metric spaces, Theoret. Comput. Sci. 113 (1993) 191-210.
27. K. Weihrauch, A simple introduction to computable analysis, Informatik Berichte, vol. 171, FernUniversität, Hagen, 1995.
28. K. Weihrauch, Ch. Kreitz, Representations of the real numbers and of the open subsets of the set of real numbers, Ann. Pure Appl. Logic 35 (1987) 247-260.
29. Q. Zhou, Computable real-valued functions on recursive open and closed subsets of Euclidean space, Math. Logic Quart. 42 (1996) 379-409.