Magidor-Malitz quantifiers in modules

DOI10.2307/2274085MaRDI QIDQ3708786zbMATH OpenOpenAlexFDO

Authors Andreas Baudisch

Publication date 1984

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

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

zbMATH Keywords

finite cover propertyRamsey quantifiersR-modules

Mathematics Subject Classification ID

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

Recommendations

• Modules and infinitary logics
• Quantifier elimination for modules
• On the elimination of Malitz quantifiers over Archimedian real closed fields
• scientific article; zbMATH DE number 45180
• Quantifier elimination for modules with scalar variables

Cites work

• Compact extensions of L(Q) (part 1a)
• Elimination of quantifiers for modules
• Model-completions and modules
• Ramsey quantifiers and the finite cover property
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory

Cited in

(8)

• Deux remarques à propos de la propriété de recouvrement fini
• Modules and infinitary logics
• On the elimination of Malitz quantifiers over Archimedian real closed fields
• Classification theory for abelian groups with an endomorphism
• On the expressibility hierarchy of Magidor-Malitz quantifiers
• Vapnik-Chervonenkis density in some theories without the independence property. II
• Stability and sparsity in sets of natural numbers
• Some model theory of modules. III. On infiniteness of sets definable in modules

This page was built for publication: Magidor-Malitz quantifiers in modules

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