Extra
上位词
对象
应用
模型论
简介
模型论(model theory)是数学的一个学科,模型论的一些重要定理,如紧致性定理,l－s－t 定理,省略型定理, 插值定理等等,不仅对逻辑,集合论,递归论的研究有重要作用 ,而且也在数论、代数、拓扑等数学学科中得到应用。
| 中文名 | 模型论 |
|---|---|
| 原始名称 | 模型论 |
| 外文名 | model theory |
| 学科 | 数学 |
| 精选上位词 | 科学百科数理科学分类 |
| 英文名 | model theory |
相关实体