Quantifier elimination for modules with scalar variables

DOI10.1016/0168-0072(92)90025-UzbMath0772.03017OpenAlexW1987803410MaRDI QIDQ1192337

L. P. D. van den Dries, Jan E. Holly

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(92)90025-u

zbMATH Keywords

integral domainsBezout domainsPresburger arithmetictorsion-free modulestwo-sorted invariant statementstwo-sorted modulestwo-sorted positive primitive formulastwo-sorted theory of modules over a ring

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Discretely ordered modules as a first-order extension of the cutting planes proof system, Parametric Presburger arithmetic: complexity of counting and quantifier elimination, Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior, Some new results on decidability for elementary algebra and geometry

Cites Work

• Unnamed Item
• Model theory of modules
• Elimination of quantifiers for modules
• Integer Programming with a Fixed Number of Variables