模型完全

更新时间:2024-05-21 18:02

模型完全是数学术语

模型完全(model complete)理论的一种模型论性质.当犷的一个理论T适合下列条件时,称为模型完全的:对T的任何模型邻,房,如果'21C,,则,-ll o.形式理论的完全性和模型完全性是两个不同的概念.不能由一个推出另一个.例如,有首元和末元的稠密线性序理论是完全的,但不是模型完全的.而代数闭域理论是模型完全的,但不是完全理论.

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}