| 完全稠密二叉偏序理论的可数模型 |
| |
| 引用本文： | 陈磊,沈复兴. 完全稠密二叉偏序理论的可数模型[J]. 北京师范大学学报(自然科学版), 2007, 43(2): 111-113 |
| |
| 作者姓名： | 陈磊 沈复兴 |
| |
| 作者单位： | 北京师范大学哲学与社会学学院价值与文化研究中心,100875,北京;北京师范大学信息科学与技术学院,100875,北京 |
| |
| 基金项目： | 北京师范大学校科研和教改项目 |
| |
| 摘 要： | 在偏序理论和二叉树理论的基础上给出了稠密二叉偏序理论的公理,并在该理论中定义了上界函数*,利用有理数序列构造了该理论的一个可数模型.
|
| 关 键 词： | 完全稠密 二叉偏序 有理数序列 上界 可数模型 |
| 修稿时间： | 2006-08-18 |
A COUNTABLE MODEL FOR THE THEORY OF COMPLETE DENSE BINARY ORDER |
| |
| Chen Lei,Shen Fuxing. A COUNTABLE MODEL FOR THE THEORY OF COMPLETE DENSE BINARY ORDER[J]. Journal of Beijing Normal University(Natural Science), 2007, 43(2): 111-113 |
| |
| Authors: | Chen Lei Shen Fuxing |
| |
| Abstract: | The theory of complete dense binary order,which is alike to the theory of binary tree but different from it,is given.The upper bound function in this theory is defined and a countable model for this theory is constructed. |
| |
| Keywords: | the theory of complete dense binary order sequence of national upper bound countable model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
