Polish space
Effective Polish space