Pages that link to "Item:Q4243908"
From MaRDI portal
The following pages link to A Real Number Structure that is Effectively Categorical (Q4243908):
Displayed 7 items.
- Topological properties of real number representations. (Q1607288) (← links)
- Effective metric spaces and representations of the reals. (Q1607294) (← links)
- Models of computation for partial functions on the reals (Q2258841) (← links)
- Stability of representations of effective partial algebras (Q2996232) (← links)
- Absolutely non-computable predicates and functions in analysis (Q3616216) (← links)
- Stability for Effective Algebras (Q4918000) (← links)
- Computable Riesz Representation for Locally Compact Hausdorff Spaces (Q4918024) (← links)