Jump to content

Model complete theory

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by R.e.b. (talk | contribs) at 17:21, 24 February 2008 (Abraham Robinson). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In model theory, a theory is called model complete if every embedding of models is an elementary equivalence. This notion was introduced by Abraham Robinson.

Examples

  • The theory of dense linear orders with a first and last element is complete but not model complete.
  • The theory of dense linear orders with two constant symbols is model complete but not complete.

References

Chang, Chen Chung; Keisler, H. Jerome (1990) [1973], Model Theory, Studies in Logic and the Foundations of Mathematics (3rd ed.), Elsevier, ISBN 978-0-444-88054-3

Retrieved from "https://en.wikipedia.org/w/index.php?title=Model_complete_theory&oldid=193727668"