Model complete theory

（重定向自Model complete）

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.

单词	Model complete
释义	Model complete 原声例句未来世界建设 The new dishes are being designed and constructed in China - based on this prototype model completed in 2018. 中国正在设计和建造新的盘子——基于这个 2018 年完成的原型模型。英语百科 Model complete theory （重定向自Model complete） 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.
随便看	lock lever yoke的意思 Lockley的意思 Lockleys的意思 lock lift的意思 lock lifter的意思 locklike的意思 Lock Limit的意思 locklin的意思 lock lips的意思 lock list的意思 lock loop的意思 lock magnet的意思 lockmaker的意思 lockmaker的意思 lockmaking的意思 lockman的意思 lock management的意思 lock manager的意思 lockmaster的意思 lockmaster的意思 lock mechanism的意思 lock mechanism of chassis的意思 lockmen的意思 lock mode的意思 lock, mounting, safety device的意思