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

DOI10.2178/jsl/1245158083zbMath1183.03028arXivmath/0607418OpenAlexW3101296538MaRDI QIDQ3399176

Moshe Kamensky

Publication date: 29 September 2009

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0607418

zbMATH Keywords

quantifier eliminationmodel theory of modulesmodel completion

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

Model-theory of vector-spaces over unspecified fields ⋮ On von Neumann regular rings with an automorphism

Cites Work

• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Unnamed Item

This page was built for publication: The model completion of the theory of modules over finitely generated commutative algebras