The model completion of the theory of modules over finitely generated commutative algebras

Mathematics – Logic

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

AMSLaTeX, 13 pages, no figures. Part of author's phd thesis

Scientific paper

10.2178/jsl/1245158083

We find the model completion of the theory modules over $A$, where $A$ 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^n$, 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.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

The model completion of the theory of modules over finitely generated commutative algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The model completion of the theory of modules over finitely generated commutative algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The model completion of the theory of modules over finitely generated commutative algebras will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-122373

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.