Model Complete Theory
In model theory, a first-order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula. This notion was introduced by Abraham Robinson.
Read more about Model Complete Theory: Model Companion and Model Completion, Examples
Famous quotes containing the words model, complete and/or theory:
“The best way to teach a child restraint and generosity is to be a model of those qualities yourself. If your child sees that you want a particular item but refrain from buying it, either because it isn’t practical or because you can’t afford it, he will begin to understand restraint. Likewise, if you donate books or clothing to charity, take him with you to distribute the items to teach him about generosity.”
—Lawrence Balter (20th century)
“Silence is to all creatures thus attacked the only means of salvation; it fatigues the Cossack charges of the envious, the enemy’s savage ruses; it results in a cruising and complete victory.”
—Honoré De Balzac (1799–1850)
“The great tragedy of science—the slaying of a beautiful theory by an ugly fact.”
—Thomas Henry Huxley (1825–1895)