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
Ch. BERLINE: Rings which admit elimination of quantifiers, to appear in the Journal of Symbolic Logic.
M. BOFFA, A. MACINTYRE, F. POINT: The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings, in these Annals.
A. MACINTYRE: On ω1-categorical theories of fields, Fundamenta Mathematicae, vol. 71 (1971), pp. 1–25.
B.I. ROSE: Rings which admit elimination of quantifiers, Journal of Symbolic Logic, vol. 43, No1 (1978), p.92.112.
B.I. ROSE: Prime quantifier eliminable rings, to appear in the Journal of the London Mathematical Society.
G.E. SACKS: Saturated model theory, Benjamin, Reading, Massachussets, (1972).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag
About this paper
Cite this paper
Berline, C. (1980). Elimination of quantifiers for non semi-simple rings of characteristic p. 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/BFb0090157
Download citation
DOI: https://doi.org/10.1007/BFb0090157
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