摘要
利用型的方法给出了强最小模型的理论是ω1-范畴的一个新的证明，并利用强最小集及分式理论的特殊关系，给出分式理论是ω1-范畴的一个充分条件．
Using types and formulae, It is proved that the theory of strongly minimal model is ω1- categorical. At the same time, with the relation of the strongly thenimal formula and fraction- theory, a sufficient condition of the fraction- theory being ω1- categorical is obtained.
出处
《北京师范大学学报（自然科学版）》
CAS
CSCD
北大核心
1999年第2期180-183,共4页
Journal of Beijing Normal University(Natural Science)
基金
国家自然科学基金!19571009
教育部博土点基金
关键词
分式理论
强最小集
简单膨胀
ω1范畴
fraction-theory
strongly minimal set
simple expansion
ω1-categorical
