Sh:746

• Larson, P. B., & Shelah, S. (2003). Bounding by canonical functions, with CH. J. Math. Log., 3(2), 193–215. arXiv: math/0011187 DOI: 10.1142/S021906130300025X MR: 2030084
• 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.
• Version 2002-04-18_11 (24p) published version (23p)

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