论文部分内容阅读
本文对一阶逻辑型上的拓扑与ω-范畴进行了研究。文章利用完全n-型(n＜ω)的集合上的拓扑来研究可数完全理论的可数模型，得到了两个判定理论T是不是ω-范畴的方法；改进了陈国龙给出的可数完全理论T是ω-范畴的判定定理的证明(见参考文献[4]定理2)，以此给出Vaught定理的另一证明；最后对Sn(T)的极限点作初步的考察，给出Sn(T)的极限点的个数与可数完全理论T的可数模型之间的关系。