Bounding by canonical functions, with CH
Logic
2010-09-02 v2
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.
Keywords
Cite
@article{arxiv.math/0011187,
title = {Bounding by canonical functions, with CH},
author = {Paul Larson and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0011187},
year = {2010}
}