Pages that link to "Item:Q4243908"
From MaRDI portal
The following pages link to A Real Number Structure that is Effectively Categorical (Q4243908):
Displaying 13 items.
- A semilattice of degrees of computable metrics (Q820483) (← links)
- Topological properties of real number representations. (Q1607288) (← links)
- Effective metric spaces and representations of the reals. (Q1607294) (← links)
- Axiomatic reals and certified efficient exact real computation (Q2148797) (← links)
- Models of computation for partial functions on the reals (Q2258841) (← links)
- Computable structures and operations on the space of continuous functions (Q2804293) (← 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)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- The dependence of computability on numerical notations (Q6088491) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)
