On the equivalence of two quantifier elimination tests
arXiv:math/0702376
Abstract
We prove that, for countable languages, two model-theoretic quantifier elimination tests, one proposed by J. R. Shoenfield and the other by L. van den Dries, are equivalent.