En lógica matemática , un espacio polaco efectivo es un espacio métrico separable completo que tiene una presentación computable . Dichos espacios se estudian en la teoría descriptiva de conjuntos efectiva y en el análisis constructivo . En particular, los ejemplos estándar de espacios polacos como la línea real , el conjunto Cantor y el espacio Baire son todos espacios polacos efectivos.
Definición
Un espacio polaco efectivo es un espacio métrico separable completo X con métrica d tal que hay un conjunto denso contable C = ( c 0 , c 1 , ...) que hace las siguientes dos relaciones en computable (Moschovakis 2009: 96-7):
Referencias
- Yiannis N. Moschovakis , 2009, Teoría de conjuntos descriptivos , 2da edición, American Mathematical Society. ISBN 0-8218-4813-5