Commutative regular rings without prime model extensions
HTML articles powered by AMS MathViewer
- by D. Saracino and V. Weispfenning PDF
- Proc. Amer. Math. Soc. 47 (1975), 201-207 Request permission
Abstract:
It is known that the theory $K$ of commutative regular rings with identity has a model completion $K’$. We show that there exists a countable model of $K$ which has no prime extension to a model of $K’$.References
- Jon Barwise and Abraham Robinson, Completing theories by forcing, Ann. Math. Logic 2 (1970), no. 2, 119–142. MR 272613, DOI 10.1016/0003-4843(70)90008-2
- 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
- L. Lipshitz and D. Saracino, The model companion of the theory of commutative rings without nilpotent elements, Proc. Amer. Math. Soc. 38 (1973), 381–387. MR 439624, DOI 10.1090/S0002-9939-1973-0439624-8
- Abraham Robinson, Forcing in model theory, Symposia Mathematica, Vol. V (INDAM, Rome, 1969/70) Academic Press, London, 1971, pp. 69–82. MR 0278925
- Gerald E. Sacks, Saturated model theory, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass., 1972. MR 0398817
Additional Information
- © Copyright 1975 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 47 (1975), 201-207
- DOI: https://doi.org/10.1090/S0002-9939-1975-0351805-2
- MathSciNet review: 0351805