Page "Quantifier elimination" Paragraph 7
from
Wikipedia
A first-order theory T has quantifier elimination if and only if for any two models B and C of T and for any common substructure A of B and C, B and C are elementarily equivalent in the language of T augmented with constants from A.
In fact, it is sufficient here to show that any sentence with only existential quantifiers have the same truth value in B and C.
Page 1 of 1.
1.910 seconds.