zbMath0863.12006MaRDI QIDQ4874804
Žarko Mijajlović, Aleksandar N. Jovanović
Publication date: 28 April 1996
zbMATH Keywords
elimination of quantifiers; algebraically closed fields; resultants of polynomials; ordered real closed fields
Mathematics Subject Classification ID
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics