摘要
构造了p阶拟循环群理论的可数原子模型,并且筛选型中的公式得到原子模型上的完备公式.然后扩充原 子模型得到了可数万有模型.最后证明了p阶拟循环群理论的ω1 范畴性.
Some properties of p quasicyclic group are proved. Firstly, how to build the atomic model of p quasicyclic group theory is discussed. The elements of atomic model are arranged as a p forked complete tree. And then the complete formulas in atomic model are obtained by filtering types on the model. Furthermore, the countable universal model of the p quasicyclic group theory is constructed by adding countable elements in countable times into atomic model. Finally, the same method is used to prove that the theory of p quasicyclic group is ω 1-categroy.
出处
《北京师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2005年第1期4-6,共3页
Journal of Beijing Normal University(Natural Science)
基金
国家自然科学基金资助项目(60310213
19931020)
关键词
p阶拟循环群
原子模型
完备公式
万有模型
ω1-范畴
the theory of p quasicyclic group
atomic model
complete formula
universal model
ω 1-categorical
