Some model theory of modules. III. On infiniteness of sets definable in modules

DOI10.2307/2274088zbMath0524.03020OpenAlexW2053860071MaRDI QIDQ3037399

Philipp Rothmaler

Publication date: 1984

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

Full work available at URL: https://doi.org/10.2307/2274088

zbMATH Keywords

coherencecompletenessflat modulesdefinable subsetsregular ringsvon Neumann regularitycoherent ringsmodel completenessfinite cover propertyRamsey quantifiersinfinite simple ringmodules over an associative ringpositive primitive subgroupseliminability of cardinality quantifiersinfinite modulerings with a unique maximal idealthere are infinitely manyVaughtian pairs

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Free, projective, and flat modules and ideals in associative algebras (16D40) Logic with extra quantifiers and operators (03C80) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)

Related Items

Quantifier elimination for modules

Cites Work

• Unnamed Item
• Magidor-Malitz quantifiers in modules
• Abstract
• Model-completions and modules
• Fundamenta Mathematicae: An Examination of Its Founding and Significance

This page was built for publication: Some model theory of modules. III. On infiniteness of sets definable in modules