bn:01810724n
Noun Concept
NL
effectieve poolse ruimte
EN
In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Wikipedia
Relations
Sources
Wikipedia Translations