-
模型完全
鎖定
模型完全是數學術語。
- 中文名
- 模型完全
- 外文名
- model complete
模型完全(model complete)理論的一種模型論性質.當獷的一個理論T適合下列條件時，稱為模型完全的:對T的任何模型鄰，房，如果'21C,,則,-ll o.形式理論的完全性和模型完全性是兩個不同的概念.不能由一個推出另一個.例如，有首元和末元的稠密線性序理論是完全的，但不是模型完全的.而代數閉域理論是模型完全的，但不是完全理論.
- 詞條統計
-
- 瀏覽次數：次
- 編輯次數：5次歷史版本
- 最近更新： 大千同行