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