A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field
HTML articles powered by AMS MathViewer
- by L. P. D. van den Dries PDF
- Proc. Amer. Math. Soc. 79 (1980), 97-100 Request permission
Abstract:
Linearly ordered rings and preordered fields whose first order theory admits quantifier elimination are shown to be real closed fields.References
-
A. Macintyre, K. McKenna and L. van den Dries, Quantifier elimination in algebraic structures, Advances in Math. (to appear).
Additional Information
- © Copyright 1980 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 79 (1980), 97-100
- MSC: Primary 03C60; Secondary 03C10, 06F25, 12J10
- DOI: https://doi.org/10.1090/S0002-9939-1980-0560592-6
- MathSciNet review: 560592