Alfred Tarski's elimination theory for real closed fields

Journal of Symbolic Logic 53 (1):7-19 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274424

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Alfred Tarski's Elimination Theory for Real Closed Fields.Lou van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7 - 19.
Review: Lou van den Dries, Angus Macintyre, David Marker, The Elementary Theory of Restricted Analytic Fields with Exponentiation; Lou van den Dries, Angus Macintyre, David Marker, Logarithmic-Exponential Power Series. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 , pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 , pp. 417–434. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
Review: Lou van den Dries, Tame Topology and O-Minimal Structures. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
Gregory Cherlin, Lou van den Dries, and Angus Macintyre. Decidability and undecidability theorems for PAC-fields. Bulletin of the American Mathematical Society, n.s. vol. 4 , pp. 101–104. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):568.
A Question of Van Den Dries and a Theorem of Lipshitz and Robinson; Not Everything Is Standard.Ehud Hrushovski & Ya'acov Peterzil - 2007 - Journal of Symbolic Logic 72 (1):119 - 122.
Correction to “T-convexity and tame extensions II”.Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597-1597.
Review: J. Denef, L. van den Dries, $ p $-Adic and real Subanalytic Sets. [REVIEW]Deirdre Haskell - 1997 - Journal of Symbolic Logic 62 (4):1481-1483.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.

Analytics

Added to PP
2009-01-28

Downloads
38 (#408,860)

6 months
13 (#276,301)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Complete Theories.Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.

Add more references