| 有关模型C的若干协调性结果 |
| |
| 引用本文： | 杨慧,李山林.有关模型C的若干协调性结果[J].河南师范大学学报(自然科学版),2005,33(3):129-130,136. |
| |
| 作者姓名： | 杨慧 李山林 |
| |
| 作者单位： | 郑州铁路职业技术学院,数学教研室,郑州,450052;许昌职业技术学院,教务处,河南,许昌,461100 |
| |
| 摘 要： | 致力于研究Chang氏模型C与所有集合的类V之间的协调性关系.证明了V=C≠L和V≠C≠L都分别和ZFC集合论系统协调(其中,L是G del可构成类).进而,我们研究了-ωSuslin树和1ω-Kurepa树在C中的存在性.证明了,模型C中存在这种树是协调的,不管V中是否存在这种树.
|
| 关 键 词： | 模型C 模型L 力迫方法 KT(ω1) ST(ω1) |
| 文章编号： | 1000-2367（2005）03-0129-02 |
| 收稿时间： | 2004-12-09 |
| 修稿时间： | 2004-12-09 |
Some Consistency Results concerning Chang's Model C |
| |
| YANG Hui,LI Shan-Lin.Some Consistency Results concerning Chang's Model C[J].Journal of Henan Normal University(Natural Science),2005,33(3):129-130,136. |
| |
| Authors: | YANG Hui LI Shan-Lin |
| |
| Abstract: | This paper is devoted to the investigation of the consistency relationships between Chang's model C and the universe V of all sets. It is shown that V=C≠L and V≠C≠L are consistent with ZFC set theory, respectively (where L is Gdel's constructible universe). Further, we prove some consistency results about the existence of ω_1-Suslin trees and ω_1-Kurepa trees in C. It is proved that the existence of such kind of trees in model C is consistent regardless the existence of them in V. |
| |
| Keywords: | model C model L forcing KT(ω_1) ST(ω_1) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
