Coherent sequences versus Radin sequences (Q1344628)

The author investigates the connection between the sequences of measures [\textit{L. B. Radin}, Ann. Math. Logic 22, 243-261 (1982; Zbl 0502.03028)] and the corresponding coherent sequences of extenders [\textit{W. Mitchell}, Logic Colloquium '80, Stud. Logic Found. Math. 108, 209-230 (1982; Zbl 0496.03031)] both determining a Radin forcing. As a result he obtains a generalisation of Mitchell's construction of Radin forcing from a coherent sequence of measures.