摘要 | 第1-4页 |
Abstract | 第4-6页 |
第一章 前言 | 第6-7页 |
第二章 RCC的理论及其扩展 | 第7-11页 |
·RCC的模型 | 第7-8页 |
·GRCC模型 | 第8-11页 |
·离散GRCC模型 | 第8-9页 |
·GRCC模型的子结构与直接极限 | 第9-11页 |
第三章 布尔代数及直接积的分解 | 第11-15页 |
·布尔代数 | 第11-13页 |
·无穷直接积中的次直分解 | 第13-15页 |
第四章 连通性的一阶可定义 | 第15-21页 |
·RCC的内部连通性 | 第15-16页 |
·Bx中子空间的连通性 | 第16-21页 |
第五章 GRCC内部连通模型 | 第21-24页 |
·连通嵌入的定义 | 第21页 |
·GRCC内部连通模型的构建 | 第21-24页 |
第六章 RCC可数模型的直接积扩展 | 第24-30页 |
·直接积(Direct product)上的RCC模型 | 第24-26页 |
·直接积上RCC关系的完善 | 第26-30页 |
第七章 RCC可数模型的多维性定理 | 第30-36页 |
·多维的有理数上的RCC空间及其在2~w中的嵌入 | 第30-32页 |
·RCC可数模型的多维性定理 | 第32-36页 |
第八章 总结与展望 | 第36-37页 |
参考文献 | 第37-39页 |
致谢 | 第39-40页 |