Effective Polish space
In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in effective descriptive set theory and in constructive analysis.
An effective Polish space is a complete separable metric space X with metric d such that there is a countable dense set C = (c0, c1,...) that makes the following two relations on computable (Moschovakis 2009:142):
- Yiannis N. Moschovakis, 2009, Descriptive Set Theory, 2nd edition, American Mathematical Society. ISBN 0-8218-4813-5
|This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.|