The last word on elimination of quantifiers in modules
From MaRDI portal
Publication:3496319
DOI10.2307/2274656zbMath0712.03018MaRDI QIDQ3496319
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
03C65: Models of other mathematical theories
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Measurability in modules, On central extensions and definably compact groups in o-minimal structures, On pp-elimination and stability in a continuous setting, Model theory of compact complex manifolds with an automorphism
Cites Work