Pages that link to "Item:Q5636867"
From MaRDI portal
The following pages link to Computable Fields and Arithmetically Definable Ordered Fields (Q5636867):
Displaying 7 items.
- Domain representability of metric spaces (Q674414) (← links)
- Nonconstructivizability of certain ordered fields of real numbers (Q1104316) (← links)
- Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets (Q1292396) (← links)
- Concrete models of computation for topological algebras (Q1292413) (← links)
- An Algorithmic Construction of Quantum Circuits of High Descriptive Complexity (Q4918005) (← links)
- The Diophantine problem in the classical matrix groups (Q5033989) (← links)
- Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability (Q6047670) (← links)