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. 259278, Springer Verlag, 1984. 

Abstract 

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 = "259278", series = "Lecture Notes in Mathematics", volume = 1104, publisher = "Springer Verlag" } 