arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/0011187math.LO
收藏

Bounding by canonical functions, with CH

Paul Larson, Saharon Shelah

英文摘要:

We show that that a certain class of semi-proper iterations does not add omega-sequences. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from omega_1 to omega_1 is bounded by a canonical function on a club, and so omega_1 is the omega_2-nd canonical function.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑