- Abstract:
-
The basic concept of Type-2 Theory of Effectivity (TTE) to define computability on topological spaces $(X,\tau)$ or limit spaces $(X,->)$ are representations, i.e. surjection functions from the Baire space onto $X$. Representations having the topological property of admissibility are known to provide a reasonable computability theory.
In this article, we investigate several additional properties of representations which guarantee that such representations induce a reasonable Type-2 complexity theory on the represented spaces. For each of these properties, we give a nice characterization of the class of spaces that are equipped with a representation having the respective property.
- Links To Paper
- No links available
- Bibtex format
- @Article{EDI-INF-RR-0644,
- author = {
Matthias Schroeder
},
- title = {Spaces Allowing Type-2 Complexity Theory Revisited},
- journal = {Mathematical Logic Quarterly},
- publisher = {John Wiley & Sons},
- year = 2004,
- month = {Sep},
- volume = {50(4-5)},
- pages = {443-459},
- doi = {10.1002/malq.200310111},
- }
|
