完全k叉树理论的可数模型及其胞腔性  

THE COUNTABLE MODELS AND CELLUAR PROPERTIES OF THE THEORY OF COMPLETE k-ARY TREE

作　　者：马鑫[1,2] 王世强[2] 

机构地区：[1]甘肃农业大学理学院,兰州730070 [2]北京师范大学数学科学学院,北京100875

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

摘　　要：将在逻辑Lω1ω中把完全k(k<ω)叉树理论的可数模型刻画到同构,并给出它们的Scott语句具体形式,证明了完全k叉树理论的可数模型的胞腔性质.It is shown that models of the theory of complete k-ary trees are characterized up to isomorphism in the logic Lω1ω, Scott sentences are given, and cellular property of countable models has been decided.

关 键 词：完全k叉树 Scott语句 超齐次结构 胞腔性质 

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