Polish space
Effective Polish space.