A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field

DOI10.2307/2042395zbMath0397.06017OpenAlexW4249282976MaRDI QIDQ4180416

L. P. D. van den Dries

Publication date: 1980

Full work available at URL: https://doi.org/10.2307/2042395

zbMATH Keywords

Quantifier EliminationReal Closed Ordered Field

Mathematics Subject Classification ID

Partial orders, general (06A06) Ordered rings, algebras, modules (06F25) Ordered fields (12J15) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (4)

Primes and their residue rings in models of open induction ⋮ Fermat's last theorem and Bezout's theorem in GCD domains ⋮ Boolean products of real closed valuation rings and fields ⋮ Elimination of quantifiers in algebraic structures

Cites Work

• Elimination of quantifiers in algebraic structures

This page was built for publication: A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field