On the equivalence of two quantifier elimination tests
Logic
2007-05-23 v1
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.
Cite
@article{arxiv.math/0702376,
title = {On the equivalence of two quantifier elimination tests},
author = {Yimu Yin},
journal= {arXiv preprint arXiv:math/0702376},
year = {2007}
}