To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Model complete theory

From Wikipedia, the free encyclopedia

In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula. This notion was introduced by Abraham Robinson.

YouTube Encyclopedic

  • 1/3
    Views:
    76 437
    89 337
    296 186
  • Ses 15: Portfolio Theory III & The CAPM and APT I
  • Expectancy Theory of Motivation | Episode 28
  • Intro to Game Theory and the Dominant Strategy Equilibrium

Transcription

Model companion and model completion

A companion of a theory T is a theory T* such that every model of T can be embedded in a model of T* and vice versa.

A model companion of a theory T is a companion of T that is model complete. Robinson proved that a theory has at most one model companion. Not every theory is model-companionable, e.g. theory of groups. However if T is an -categorical theory, then it always has a model companion.[1][2]

A model completion for a theory T is a model companion T* such that for any model M of T, the theory of T* together with the diagram of M is complete. Roughly speaking, this means every model of T is embeddable in a model of T* in a unique way.

If T* is a model companion of T then the following conditions are equivalent:[3]

If T also has universal axiomatization, both of the above are also equivalent to:

Examples

Non-examples

  • The theory of dense linear orders with a first and last element is complete but not model complete.
  • The theory of groups (in a language with symbols for the identity, product, and inverses) has the amalgamation property but does not have a model companion.

Sufficient condition for completeness of model-complete theories

If T is a model complete theory and there is a model of T that embeds into any model of T, then T is complete.[4]

Notes

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.
This page was last edited on 21 September 2023, at 00:47
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.