Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00830815n
Noun Concept
Categories: Mathematical logic, Model theory
EN
model complete theory  model-complete  model-complete theory  model companion  model complete
EN
In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding. Wikipedia
Definitions
Relations
Sources
EN
In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding. Wikipedia
IS A
theory
Wikipedia
EN
model complete theory
Wikidata
EN
model complete theory
Wikipedia Redirections
EN
model-complete, model-complete theory, model companion, model complete, model completeness, model completion

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License