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

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

将在逻辑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.