Spaces allowing Type-2 Complexity Theory
β
Matthias SchrΓΆder
π
Article
π
2004
π
John Wiley and Sons
π
English
β 290 KB
## Abstract The basic concept of Typeβ2 Theory of Effectivity (TTE) to define computability on topological spaces (__X, Ο__ ) or limit spaces (__X__,β) are representations, i. e. surjection functions from the Baire space onto __X__. Representations having the topological property of admissibility a