首页 | 本学科首页   官方微博 | 高级检索  
     

模型论中的拓扑学方法
引用本文:陈国龙. 模型论中的拓扑学方法[J]. 数学学报, 2002, 45(4): 639-642. DOI: cnki:ISSN:0583-1431.0.2002-04-003
作者姓名:陈国龙
作者单位:淮北煤炭师范学院计算机科学与技术系,安徽,淮北,235000
基金项目:国家自然科学基金资助项目(10101008),安徽省教育厅自然科学计划资助项目
摘    要:本文利用拓扑学方法研究了ω-范畴理论的性质,并对模型个数问题进行了讨论.

关 键 词:拓扑学  模型论    ω-范畴
文章编号:0583-1431(2002)04-0639-04
修稿时间:2000-05-09

The Topology''''s Method in Model Theory
Guo Long CHEN. The Topology''''s Method in Model Theory[J]. Acta Mathematica Sinica, 2002, 45(4): 639-642. DOI: cnki:ISSN:0583-1431.0.2002-04-003
Authors:Guo Long CHEN
Affiliation:Guo Long CHEN(Department of Computer Science and Technology, Huaibei Coal Teacher's College, Huaibei 235000, P. R. China)
Abstract:By the method of topology, the properties of ω-categorical complete theory are studied and the problem of the number of the countable model is discussed.
Keywords:Topology   Model theory   Type   ω-categorical
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《数学学报》浏览原始摘要信息
点击此处可从《数学学报》下载全文
正在获取引用信息,请稍候...
正在获取相似文献,请稍候...
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号