### Bounding by canonical functions, with CH

by Larson and Shelah. [LrSh:746]

J Math Logic, 2003

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.

Back to the list of publications