This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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
Editors and Affiliations
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
