Abstract

We attempt to make a connection between the sequences of measures used to define Radin forcing and the coherent sequences of extenders which are the basis of modern inner model theory. We show that in certain circumstances we can read off sequences of measures as defined by Radin from coherent sequences of extenders, and that we can define Radin forcing directly from a coherent extender sequence and a sequence of ordinals; this generalises Mitchell's construction of Radin forcing from a coherent sequence of measures