Computability in Europe 2006
Logical Approaches to Computational Barriers

Special Session Talk:
Admissible Representations in Computable Analysis

Speaker: Matthias Schroeder


Computable Analysis investigates computability on real numbers and related
 One approach to Computable Analysis is Type Two Theory of Effectivity
 TTE provides a computational framework for non-discrete spaces with
 of the continuum.
 Its basic tool are representations.
 A representation equips the objects of a given space with ``names'',
 which are infinite words.
 Computations are performed on these names.

 We discuss the property of admissibility as a well-behavedness criterion
 for representations. Moreover we investigate and characterise the class
of spaces
 which have such an admissible representation.
 This category turns out to have a remarkably rich structure. 

websites: Arnold Beckmann 2006-04-20