The following pages link to On Computable Metrization (Q4921450):
Displaying 11 items.
- On images of partial computable functions over computable Polish spaces (Q2403641) (← links)
- Rice’s Theorem in Effectively Enumerable Topological Spaces (Q3195700) (← links)
- (Q4217607) (← 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)
- Abstract versus concrete computation on metric partial algebras (Q5277710) (← links)
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM (Q5858927) (← links)
- On the complexity of the theory of a computably presented metric structure (Q6077947) (← links)
- Every \(\Delta^0_2\) Polish space is computable topological (Q6554707) (← links)