The following pages link to (Q4217598):
Displayed 6 items.
- Effective continuities on effective topological spaces (Q864437) (← links)
- From axiomatics to intrinsic characterization: some open problems in computable analysis (Q1292411) (← links)
- Effective properties of sets and functions in metric spaces with computability structure (Q1292419) (← links)
- Effective metric spaces and representations of the reals. (Q1607294) (← links)
- A Real Number Structure that is Effectively Categorical (Q4243908) (← links)
- Representations versus numberings: On the relationship of two computability notions (Q5958133) (← links)