Rings which admit elimination of quantifiers

DOI10.2307/2273256zbMath0462.03007OpenAlexW2055158454MaRDI QIDQ3912785

Chantal Berline

Publication date: 1981

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

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

zbMATH Keywords

algebraically closed fields

Mathematics Subject Classification ID

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

Related Items

QE rings in characteristic pⁿ, Finite QE rings in characteristic \(p^ 2\), Elimination of quantifiers in algebraic structures

Cites Work

• Fundamenta Mathematicae: An Examination of Its Founding and Significance