关于完全理论在S_n(T)拓扑空间中的性质探讨  

Dincussion Properties of the Complete Theory on the S_n(T) Topclogcal Space

作　　者：杨年西[1] 

机构地区：[1]淮北师范大学数学学院,安徽淮北235000

出　　处：《太原师范学院学报（自然科学版）》2011年第1期48-50,共3页Journal of Taiyuan Normal University:Natural Science Edition

摘　　要：在可数形式语言L中,完全理论T在Sn(T)拓扑空间的性质很好反映了完全理论T的性质.主要对完全理论T型的拓扑空间的不同性质进行研究,证明了如果完全理论T有无限模型,那么ω-范畴完全理论充分必要条件:对任意正整数n,Sn(T)拓扑空间是离散空间.In a first-order countable form languages L,the properties of the complete theory T in Sn（T） topology space is good properties having reflected complete theory T;We mainly study about different properties of type of the complete theory T in topology space,and proved that if the complete theory has a infinite model,then the ω-categorical complete theory has a necessary and sufficient condition：For Arbitrarily n,the Sn（T） topology space is discrete space.

关 键 词：模型论 型 Ω-范畴 完全理论 

分 类 号：O141.4[理学—数学]