# Sh:746

• Larson, P. B., & Shelah, S. (2003). Bounding by canonical functions, with CH. J. Math. Log., 3(2), 193–215.
• Abstract:
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.
• Current version: 2002-04-18_11 (24p) published version (23p)
Bib entry
@article{Sh:746,
author = {Larson, Paul B. and Shelah, Saharon},
title = {{Bounding by canonical functions, with CH}},
journal = {J. Math. Log.},
fjournal = {Journal of Mathematical Logic},
volume = {3},
number = {2},
year = {2003},
pages = {193--215},
issn = {0219-0613},
mrnumber = {2030084},
mrclass = {03E50 (03E35 03E55)},
doi = {10.1142/S021906130300025X},
note = {\href{https://arxiv.org/abs/math/0011187}{arXiv: math/0011187}},
arxiv_number = {math/0011187}
}