在 CH 下由典范函数界定
逻辑
2010-09-02 v2
摘要
我们证明某一类半适当迭代不添加 omega-序列。因此,从合适的大基数出发可以获得一个模型,其中连续统假设成立且从 omega_1 到 omega_1 的每个函数都在一个 club 上被典范函数界定,从而 omega_1 是第 omega_2 个典范函数。
引用
@article{arxiv.math/0011187,
title = {Bounding by canonical functions, with CH},
author = {Paul Larson and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0011187},
year = {2010}
}