# Quantifier elimination, subgroups of modules [closed]

A theory T has property M if the following holds: For A and B models of T, if A is a substructure of B then A is also an elementary substructure of B. I want to prove that if a theory admits Quantifier Elimination then it has property M.

## closed as off-topic by Emil Jeřábek, Tony Huynh, RP_, Chris Godsil, Michael AlbaneseApr 7 '17 at 14:10

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Emil Jeřábek, Tony Huynh, RP_, Chris Godsil, Michael Albanese
If this question can be reworded to fit the rules in the help center, please edit the question.

• The property is known as model completeness. This is not a research-level question, it belongs to math.stackexchange.com . – Emil Jeřábek Apr 7 '17 at 11:08

If both $A$ and $B$ model $T$ and $T$ admits quantifier-elimination, then for any formula $\varphi(x)$, there is a quantifier-free assertion $\psi(x)$ that $T$ proves is equivalent to $\varphi(x)$. So $A\models \psi(a)$ if and only if $B\models \psi(a)$, since $\psi$ is quantifier-free. Since $\psi$ is equivalent to $\varphi$ in models of $T$, it follows that $A\models\varphi(a)$ if and only if $B\models\varphi(a)$, and this is what it means for $A$ to be an elementary substructure.