摘要
本文以完全二叉树理论的可量词消去为基础,介绍了该理论的可数原子模型 及饱和模型,并计算了一元、二元完全型的CB秩,从而给出了CB秩在该理论中的 几何解释.
This article is based on the quantifier elimination of the theory of complete binary trees. The countable atomic model and saturated model are presented. We also calculate the CB rank of the types in one and two variables. Finally, the geometric meaning of CB rank in this theory is found.
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
2005年第2期245-250,共6页
Acta Mathematica Sinica：Chinese Series
基金
国家自然科学基金资助项目(60310213)
关键词
完全二叉树
原子模型
饱和模型
CB秩
Complete binary trees
Atomic model
Saturated model
CB rank
