Coherent sequences versus Radin sequences

DOI10.1016/S0168-0072(94)90010-8MaRDI QIDQ1344628zbMATH OpenWikidataFDO

Authors James Cummings

Publication date 30 January 1996

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(94)90010-8

zbMATH Keywords

coherent sequences of extendersRadin forcingsequences of measures

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55)

Review text

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.

Recommendations

• Extender-based Radin forcing
• Intermediate models of Magidor-Radin forcing. II
• Prikry forcing at κ⁺ and beyond
• Extender-based Magidor-Radin forcing
• The core model for sequences of measures. I

Cites work

• Adding closed cofinal sequences to large cardinals
• scientific article; zbMATH DE number 3685484 (Why is no real title available?)
• scientific article; zbMATH DE number 3781158 (Why is no real title available?)
• Iteration Trees
• Sets constructible from sequences of ultrafilters

Cited in

(3)

• Coherent sequences and threads
• Extender-based Radin forcing
• Extender-based Magidor-Radin forcing

This page was built for publication: Coherent sequences versus Radin sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344628)