Klaus Weihrauch

Learn More
An approach for a simple, general, and unified theory of effectivity on sets with cardinality not greater than that of the continuum is presented. A standard theory of effectivity on F = {f : N 3 N} has been developed in a previous paper. By representations 6: B--* M this theory is extended to other sets M. Topological and recursion theoretical properties(More)
In this paper we introduce and compare computability concepts on the set of closed subsets of Euclidean space. We use the language and framework of Type 2 Theory of Effectivity (TTE) which supplies a concise language for distinguishing a variety of effectivity properties and which admits highly effective versions of classical theorems. In particular, Type 2(More)