Abstract
AbstractThis paper is concerned with the proper way to effectivize the notion of a Polish space. A theorem is proved that shows the recursive Polish space structure is not found in the effectively open subsets of a space $${\mathcal {X}}$$
X
, and we explore strong evidence that the effective structure is instead captured by the effectively open subsets of the product space $$\mathbb {N}\times {\mathcal {X}}$$
N
×
X
.
Publisher
Springer Science and Business Media LLC
Reference6 articles.
1. Kechris, A.S.: Classical Descriptive Set Theory. Spinger, New York (1995)
2. Moschovakis, Y.N.: Descriptive Set Theory. American Mathematical Society, Providence (2009)
3. Arant, T., Gregoriades, V., Moschovakis, Y.N.: Notes on Effective Descriptive Set Theory (to appear)
4. Rogers, H.: Theory of Recursive Functions and Effective Computability. MIT Press, Cambridge (1987)
5. Weihrauch, K.: Computability. Springer, New York (1987)