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 striking point about our model family is not simply the compete-compete, consume-consume style of life it urges us to follow.... The striking point, in the face of all the propaganda, is how few Americans actually live this way.”
—Louise Kapp Howe (b. 1934)
“The love between man and woman is the greatest and most complete passion the world will ever see, because it is dual, because it is of two opposing kinds.”
—D.H. (David Herbert)
“The theory seems to be that so long as a man is a failure he is one of God’s chillun, but that as soon as he has any luck he owes it to the Devil.”
—H.L. (Henry Lewis)