A minimal model for -xh: Iteration of jensen’s reals

Research output: Contribution to journalArticlepeer-review

10 Scopus citations


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 languageEnglish
Pages (from-to)657-674
Number of pages18
JournalTransactions of the American Mathematical Society
Issue number2
StatePublished - 1 Jan 1984

ASJC Scopus subject areas

  • Mathematics (all)
  • Applied Mathematics


Dive into the research topics of 'A minimal model for -xh: Iteration of jensen’s reals'. Together they form a unique fingerprint.

Cite this