The model companion of the theory of commutative rings without nilpotent elements
HTML articles powered by AMS MathViewer
- by L. Lipshitz and D. Saracino PDF
- Proc. Amer. Math. Soc. 38 (1973), 381-387 Request permission
Abstract:
We show that the theory of commutative rings without nilpotent elements has a model companion. The model companion is decidable and is the model completion of the theory of commutative regular rings.References
- P. M. Cohn, On the free product of associative rings, Math. Z. 71 (1959), 380–398. MR 106918, DOI 10.1007/BF01181410
- Paul Eklof and Gabriel Sabbagh, Model-completions and modules, Ann. Math. Logic 2 (1970/71), no. 3, 251–295. MR 277372, DOI 10.1016/0003-4843(71)90016-7
- Joachim Lambek, Lectures on rings and modules, Blaisdell Publishing Co. [Ginn and Co.], Waltham, Mass.-Toronto, Ont.-London, 1966. With an appendix by Ian G. Connell. MR 0206032
- Serge Lang, Algebra, Addison-Wesley Publishing Co., Inc., Reading, Mass., 1965. MR 0197234
- Abraham Robinson, Introduction to model theory and to the metamathematics of algebra, North-Holland Publishing Co., Amsterdam, 1963. MR 0153570
- Abraham Robinson, Infinite forcing in model theory, Proceedings of the Second Scandinavian Logic Symposium (Oslo, 1970), Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland, Amsterdam, 1971, pp. 317–340. MR 0357106
- Gabriel Sabbagh, Embedding problems for modules and rings with application to model-companions, J. Algebra 18 (1971), 390–403. MR 280539, DOI 10.1016/0021-8693(71)90069-X
Additional Information
- © Copyright 1973 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 38 (1973), 381-387
- MSC: Primary 02H15; Secondary 13L05
- DOI: https://doi.org/10.1090/S0002-9939-1973-0439624-8
- MathSciNet review: 0439624