| 完全二叉树理论的模型及性质 |
| |
| 引用本文： | 陈磊,沈复兴.完全二叉树理论的模型及性质[J].北京师范大学学报(自然科学版),2004,40(2):177-180. |
| |
| 作者姓名： | 陈磊 沈复兴 |
| |
| 作者单位： | 北京师范大学数学系,100875,北京;北京师范大学数学系,100875,北京 |
| |
| 摘 要： | 定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型.证明了完全二叉树理论的ω1-范畴性.
|
| 关 键 词： | 完全二叉树理论 原子模型 饱和模型 型 ω1-范畴 |
| 修稿时间： | 2003年6月3日 |
THE MODELS AND PROPERTIES OF THE THEORY OF COMPLETE BINARY TREE |
| |
| Chen Lei Shen Fuxing.THE MODELS AND PROPERTIES OF THE THEORY OF COMPLETE BINARY TREE[J].Journal of Beijing Normal University(Natural Science),2004,40(2):177-180. |
| |
| Authors: | Chen Lei Shen Fuxing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
