Related Concepts
Various model theoretic ideas are related to quantifier elimination, and there are various equivalent conditions.
Every theory with quantifier elimination is model complete.
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.
Read more about this topic: Quantifier Elimination
Famous quotes containing the words related and/or concepts:
“There is nothing but is related to us, nothing that does not interest us,—kingdom, college, tree, horse, or iron show,—the roots of all things are in man.”
—Ralph Waldo Emerson (1803–1882)
“Once one is caught up into the material world not one person in ten thousand finds the time to form literary taste, to examine the validity of philosophic concepts for himself, or to form what, for lack of a better phrase, I might call the wise and tragic sense of life.”
—F. Scott Fitzgerald (1896–1940)