Quantifier Elimination
摘要
A test for eliminating quantifiers is given and applied it to further study the model theory of algebraically closed fields.