We find the model completion of the theory modules over 𝔸,
where 𝔸 is a finitely generated commutative algebra over a
field K. This is done in a context where the field K and the
module are represented by sorts in the theory, so that constructible sets
associated with a module can be interpreted in this language. The language
is expanded by additional sorts for the Grassmanians of all powers of
Kⁿ, which are necessary to achieve quantifier elimination.
The result turns out to be that the model completion is the theory of a
certain class of “big” injective modules. In particular, it is shown that
the class of injective modules is itself elementary. We also obtain an
explicit description of the types in this theory.
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription.
Read more about accessing full-text
References
Steven Buechler, Essential stability theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1996.
David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995, with a view toward algebraic geometry.
Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, no. 52, Springer-Verlag, New York, 1977.
Mathematical Reviews (MathSciNet):
MR463157
David Marker, Model theory: An introduction, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New York, 2002.
James S. Milne, Étale cohomology, Princeton Mathematical Series, vol. 33, Princeton University Press, Princeton, N.J., 1980.
Mathematical Reviews (MathSciNet):
MR559531
James S. Milne, Algebraic geometry, family http://jmilne.org/math/, Februar y2005, course lecture notes.
David Pierce, Model-theory of vector-spaces over unspecied fields, family http://www.math.metu.edu.tr/\~dpierce/papers/Vector-spaces/, Septembe r2006.
Bruno Poizat, A course in model theory, Universitext, Springer-Verlag, New York, 2000, an introduction to contemporary mathematical logic, translated from the French by Moses Klein and revised by the author.
Raphael M. Robinson, Undecidable rings, Transactions of the American Mathematical Society, vol. 70 (1951), no. 1, pp. 137--159.
Mathematical Reviews (MathSciNet):
MR41081
Gerald E. Sacks, Saturated model theory, W. A. Benjamin, Inc., Reading, Massachusetts, 1972.
Mathematical Reviews (MathSciNet):
MR398817
L. van den Dries and K. Schmidt, Bounds in the theory of polynomial rings over fields. A nonstandard approach, Inventiones Mathematicae, vol. 76 (1984), no. 1, pp. 77--91.
Mathematical Reviews (MathSciNet):
MR739626
