Quantifier elimination for modules

DOI10.1007/BF02007550MaRDI QIDQ3749043zbMATH OpenOpenAlexFDO

Authors Volker Weispfenning

Publication date 1985

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/138031

zbMATH Keywords

cyclic modulesdecidabilityDedekind domainsdivisible modulesideal basesmodel theory of modulesmodules over discrete valuation ringsmodules over principal ideal domainsmodules over von Neumann regular rings

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Structure, classification theorems for modules and ideals in commutative rings (13C05) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Applications of logic to commutative algebra (13L05)

Recommendations

• scientific article; zbMATH DE number 3935176
• Quantifier elimination for modules with scalar variables
• Elimination of quantifiers for ordered valuation rings
• scientific article; zbMATH DE number 3914300
• Elimination of quantifiers in algebraic structures

Cites work

• Elimination of quantifiers for modules
• scientific article; zbMATH DE number 3752830 (Why is no real title available?)
• scientific article; zbMATH DE number 3781143 (Why is no real title available?)
• scientific article; zbMATH DE number 3231118 (Why is no real title available?)
• scientific article; zbMATH DE number 3308418 (Why is no real title available?)
• scientific article; zbMATH DE number 3341988 (Why is no real title available?)
• scientific article; zbMATH DE number 3375620 (Why is no real title available?)
• Model completeness of certain theories of modules
• Model-completions and modules
• Modules Over Dedekind Rings and Valuation Rings
• Some model theory of modules. II. on stability and categoricity of flat modules
• Some model theory of modules. III. On infiniteness of sets definable in modules

Cited in

(8)

• Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies
• Magidor-Malitz quantifiers in modules
• scientific article; zbMATH DE number 3935176 (Why is no real title available?)
• scientific article; zbMATH DE number 3948417 (Why is no real title available?)
• scientific article; zbMATH DE number 4031651 (Why is no real title available?)
• Quantifier elimination in valued Ore modules
• scientific article; zbMATH DE number 7121593 (Why is no real title available?)
• Quantifier elimination and other model-theoretic properties of BL-algebras

This page was built for publication: Quantifier elimination for modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3749043)