|
|||||
|
|
| 一阶理论的主型 | |
| 引用本文： | 陈国龙. 一阶理论的主型[J]. 数学进展, 2000, 29(1): 51-54 |
| 作者姓名： | 陈国龙 |
| 作者单位： | 中国科学院软件研究所计算机科学开放研究实验室,北京,100080,中国;淮北煤炭师范学院计算机科学与技术系,淮北,安徽,235000,中国 |
| 基金项目： | 国家自然科学基金，安徽省教委自然科学基金 |
| 摘 要： | 研究了主型的有关性质，证明了一个素模型存在的充分必要条件。 |
| 关 键 词： | 主型 完全公式 素模型 模型论 一阶理论 |
| 修稿时间： | : |
The Principal Type of the First Order Theory |
|
| Chen Guolong. The Principal Type of the First Order Theory[J]. Advances in Mathematics(China), 2000, 29(1): 51-54 | |
| Authors: | Chen Guolong |
| Abstract: | Some properties of principal type are discussed. A necessary and sufficient condition of the existence of prime model is proved. |
| Keywords: | principal type complete formula prime model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |