Extender-based Radin forcing

DOI10.1090/S0002-9947-03-03202-1MaRDI QIDQ4794601zbMATH OpenOpenAlexFDO

Authors Carmi Merimovich

Publication date 19 February 2003

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0001121

zbMATH Keywords

singular cardinal hypothesisgeneralized continuum hypothesisextender-based forcingRadin forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50)

Abstract: We define extender sequences, generelizing measure sequences from Radin Forcing. Using the extender sequences we combine Gitik-Magidor forcing for adding many Prikry sequences with Radin forcing. This forcing satisfies Prikry like condition, destroys no cardinals, and has a kind of properness. Depending on the large cardinal we start with, this forcing can blow the power of a cardinal together with changing its' cofinality to a prescribe value. If this prescribed value is the cardinal itself then it remains regular and even can remain measurable.

Recommendations

• Extender-based Magidor-Radin forcing
• Prikry on extenders, revisited
• Prikry-forcing and some generalizations
• Short extenders forcings. I
• Coherent sequences versus Radin sequences

Cites work

• scientific article; zbMATH DE number 3781158 (Why is no real title available?)
• scientific article; zbMATH DE number 218609 (Why is no real title available?)
• scientific article; zbMATH DE number 3336797 (Why is no real title available?)
• A Model in Which GCH Holds at Successors but Fails at Limits
• Adding closed cofinal sequences to large cardinals
• Changing cofinalities and the nonstationary ideal
• Changing cofinality of cardinals
• Proper forcing

Cited in

(23)

• I0 and rank-into-rank axioms
• Radin forcing and its iterations
• Approximating diamond principles on products at an inaccessible cardinal
• Coherent sequences versus Radin sequences
• Game ideals
• Intermediate models of Magidor-Radin forcing. II
• Some applications of supercompact extender based forcings to HOD
• A general tool for consistency results related to I1
• Prikry on extenders, revisited
• Weak saturation of ideals on \(P_{\kappa }(\lambda )\)
• Non-saturation of the non-stationary ideal on \(P_{\kappa } (\lambda )\) with \(\lambda \) of countable cofinality
• Meeting numbers and pseudopowers
• Modified extender based forcing
• Power function on stationary classes
• Applications of pcf theory to the study of ideals on \(P_{\kappa}(\lambda)\)
• When \(P_\kappa(\lambda)\) (vaguely) resembles \(\kappa\)
• Cofinality of the nonstationary ideal
• Short extenders forcings. I
• Prikry-forcing and some generalizations
• Short extenders forcings -- doing without preparations
• On gaps under GCH type assumptions
• Supercompact extender based Magidor-Radin forcing
• Extender-based Magidor-Radin forcing

This page was built for publication: Extender-based Radin forcing

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