中文

在 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}
}