Pages that link to "Item:Q4351924"
From MaRDI portal
The following pages link to Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace (Q4351924):
Displaying 5 items.
- More on real algebra in Scott's model (Q1076670) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- On decidability and axiomatizability of some ordered structures (Q2318170) (← links)
- Σ-Definability of countable structures over real numbers, complex numbers, and quaternions (Q3546124) (← links)
- Computational complexity of quantifier-free negationless theory of field of rational numbers (Q5957912) (← links)