用梯子编码实数的良序
逻辑
2007-05-23 v1
摘要
ZFC + GCH 的任意模型都有一个（由大小为 aleph_2 的偏序集构造的）力迫扩张，其中如下成立：MA + 2^{aleph_0}= aleph_2 + 存在实数的 Delta^2_1-良序。证明由迭代旨在任意改变 omega_1 上梯子系统猜测性质的偏序集构成。因此，此类梯子的研究是本文的主要关注点。
引用
@article{arxiv.math/0104195,
title = {Coding with ladders a well-ordering of the reals},
author = {Uri Abraham and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0104195},
year = {2007}
}