Effective Polish space

An effective Polish space is a concept from descriptive set theory and computable analysis that combines topological properties with notions from computability. Let's break this down into its components: 1. **Polish Space**: A Polish space is a separable completely metrizable topological space. This means that there exists a metric on the space such that the space is complete (every Cauchy sequence converges within the space) and there is a countable dense subset.