Marker Theorem 3.1.4 says: Suppose T $T$ is a theory in a language with at least one constant symbol. Then an L-formula $L$-formula $\phi(x)$ is T-equivalent $T$-equivalent to a quantifier-free formula iff, whenever M $M$ and N $N$ are models of T, $T$, $A \subseteq M$ and $A \subseteq N$, then $M |= \models \phi(a)$ iff $N |= \models \phi(a)$ for any $a$ from $A$. -end of theorem
Thus, if we further assume that $T$ is model-complete, then it must follow that $T$ eliminates quantifiers? Where am I going wrong, if it is wrong?
