Abstract
A model of ZFC + 2N0 = N2 is constructed which is minimal with respect to being a model of CH. Any strictly included submodel of ZF (which contains all the ordinals) satisfies CH. In this model the degrees of constructibility have order type ω2. A novel method of using the diamond is applied here to construct a countable-support iteration of Jensen’s reals: In defining the ath stage of the iteration the diamond “guesses” possible β > α stages of the iteration.
Original language | English |
---|---|
Pages (from-to) | 657-674 |
Number of pages | 18 |
Journal | Transactions of the American Mathematical Society |
Volume | 281 |
Issue number | 2 |
DOIs | |
State | Published - 1 Jan 1984 |
ASJC Scopus subject areas
- Mathematics (all)
- Applied Mathematics