完全二叉树模型中元素的CB秩 |
| |
引用本文: | 陈磊,沈复兴.完全二叉树模型中元素的CB秩[J].数学学报,2005,48(2):245-250. |
| |
作者姓名: | 陈磊 沈复兴 |
| |
作者单位: | 北京师范大学数学系,北京100875 |
| |
摘 要: | 本文以完全二叉树理论的可量词消去为基础,介绍了该理论的可数原子模型 及饱和模型,并计算了一元、二元完全型的CB秩,从而给出了CB秩在该理论中的 几何解释.
|
关 键 词: | 完全二叉树 原子模型 饱和模型 CB秩 |
The CB Rank of the Elements in Complete Binary Trees |
| |
Institution: | Lei CHEN Fu Xing SHEN Department of Mathematics, Beijing Normal University, Beijing 100875, P. R. China |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 维普 等数据库收录! |
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
|