The last word on elimination of quantifiers in modules

DOI10.2307/2274656zbMath0712.03018OpenAlexW2078512985MaRDI QIDQ3496319

K. K. Reuter, Hans B. Gute

Publication date: 1990

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

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

zbMATH Keywords

cosetsconstructible subset of a group

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (4)

Measurability in modules ⋮ On pp-elimination and stability in a continuous setting ⋮ Model theory of compact complex manifolds with an automorphism ⋮ On central extensions and definably compact groups in o-minimal structures

Cites Work

• Model theory of modules
• Elimination of quantifiers for modules

This page was built for publication: The last word on elimination of quantifiers in modules