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:
“A parent who from his own childhood experience is convinced of the value of fairy tales will have no difficulty in answering his child’s questions; but an adult who thinks these tales are only a bunch of lies had better not try telling them; he won’t be able to related them in a way which would enrich the child’s life.”
—Bruno Bettelheim (20th century)
“When you have broken the reality into concepts you never can reconstruct it in its wholeness.”
—William James (1842–1910)