Pages that link to "Item:Q4180416"
From MaRDI portal
The following pages link to A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field (Q4180416):
Displaying 4 items.
- Elimination of quantifiers in algebraic structures (Q787962) (← links)
- Primes and their residue rings in models of open induction (Q1121883) (← links)
- Fermat's last theorem and Bezout's theorem in GCD domains (Q1196796) (← links)
- Boolean products of real closed valuation rings and fields (Q5956886) (← links)