Abstract This paper is concerned with the proper way to effectivize notion of a Polish space. A theorem proved that shows recursive space structure not found in effectively open subsets $${\mathcal {X}}$$ X , and we explore strong evidence effective instead captured by product $$\mathbb {N}\times {\mathcal <m...