The following pages link to On Computable Metrization (Q4921450):
Displayed 7 items.
- On images of partial computable functions over computable Polish spaces (Q2403641) (← links)
- Rice’s Theorem in Effectively Enumerable Topological Spaces (Q3195700) (← links)
- Computable elements and functions in effectively enumerable topological spaces (Q4593240) (← links)
- Notions of Probabilistic Computability on Represented Spaces (Q4918035) (← links)
- Effectivity on Continuous Functions in Topological Spaces (Q4918040) (← links)
- (Q4993805) (← links)
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM (Q5858927) (← links)