完全二叉树理论的模型及性质  

THE MODELS AND PROPERTIES OF THE THEORY OF COMPLETE BINARY TREE

作　　者：陈磊[1] 沈复兴[1] 

机构地区：[1]北京师范大学数学系,北京100875

出　　处：《北京师范大学学报（自然科学版）》2004年第2期177-180,共4页Journal of Beijing Normal University(Natural Science)

基　　金：国家自然科学基金资助项目 ( 199310 2 0 )

摘　　要：定义了完全二叉树理论的决定公式 .利用该类公式证明了此理论是原子理论 ,且型的个数是可数的 .还给出了它的可数原子模型和饱和模型 .证明了完全二叉树理论的ω1The determinant formulas of the theory of complete binary tree are defined and used in this paper to prove that the number of the types of this theory is countable and the theory is atomic. The countable atomic and saturated models are also built. Moreover, it is proved that the theory is categorical in every uncountable power but not in power ω .

关 键 词：完全二叉树理论 原子模型 饱和模型 型 ω1-范畴 

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