A unified approach to constructive and recursive analysis.

Christoph Kreitz, Klaus Weihrauch.

In M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel & W. Thomas, eds.
Computation and proof theory (Logic Colloquium Aachen),
LNM 1104, pp. 259-278, Springer Verlag, 1984.


We present an approach to constructive and recursive analysis that follows the spirit of the `Polish School'. It is formulated as a theory of numberings of denumerable sets and of representations of sets with cardinality of the continuum. It enables us to study continuity, computability, and computational complexity, which can be considered as increasing degrees of constructivity. We will outline basic definitions and properties and show how analysis can be developed in this context.

Back to overview of papers

Bibtex Entry

@InProceedings{inp:KreitzWeihrauch84a, author = "Christoph Kreitz and Klaus Weihrauch", title = "A unified approach to constructive and recursive analysis", booktitle = "Computation and proof theory, Logic Colloquium, Aachen 1983", year = 1984, editor = "M.~M. Richter and E. B{\"o}rger and W. Oberschelp and B. Schinzel and W. Thomas", pages = "259--278", series = "Lecture Notes in Mathematics", volume = 1104, publisher = "Springer Verlag" }