使用阶梯进行编码：实数的良序
摘要：GCH下的ZFC模型具有包含以下条件的有限扩张(使用大小为aleph_2的poset)： MA + 2^{aleph_0}= aleph_2 + 存在一个Delta^2_1-well ordering的实数. 该证明通过迭代设计来自由更改ladder systems在omega_1上的猜测性质的posets来完成。因此，本文的主要关注点是对此类ladders的研究。
作者：Uri Abraham and Saharon Shelah
论文ID：math/0104195
分类：Logic
分类简称：math.LO
提交时间：2007-05-23