Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R.F. ARENS and I. KAPLANSKY, Topological representation of algebras, Trans. Amer. Math. Soc. 63 (1948), 457–481.
Ch. BERLINE, Rings which admit elimination of quantifiers, J. Symb. Logic, to appear.
C.C. CHANG and H.J. KEISLER, Model theory, North-Holland (1973).
N. JACOBSON, Structure of rings, Amer. Math. Soc. (1964).
A. MACINTYRE, On ω1-categorical theories of fields, Fund. Math. 71 (1971), 1–25.
A. MACINTYRE, K. MCKENNA and L. VAN DEN DRIES, Elimination of quantifiers in algebraic structures, preprint.
A. MACINTYRE and J.G. ROSENSTEIN, NO-categoricity for rings without nilpotent elements and for boolean structures, J. Algebra 43 (1976), 129–154.
B.I. ROSE, Rings which admit elimination of quantifiers, J. Symb. Logic 43 (1978), 92–112.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag
About this paper
Cite this paper
Boffa, M., Macintyre, A., Point, F. (1980). The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. In: Pacholski, L., Wierzejewski, J., Wilkie, A.J. (eds) Model Theory of Algebra and Arithmetic. Lecture Notes in Mathematics, vol 834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090158
Download citation
DOI: https://doi.org/10.1007/BFb0090158
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10269-4
Online ISBN: 978-3-540-38393-2
eBook Packages: Springer Book Archive