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

extender-based forcinggeneralized continuum hypothesisRadin forcingsingular cardinal hypothesis

Mathematics Subject Classification ID

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

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.

Review text

Readers are expected to be familiar with forcing and extenders and the basic properties of Radin forcing. The author uses extender sequences to show how one can combine Gitik-Magidor forcing for adding many Prikry sequences with Radin forcing. The resulting forcing is shown to satisfy a Prikry-like condition and to destroy no cardinals. It also has a certain kind of properness. From the author's abstract: ``Depending on the large cardinals we start with, this forcing can blow [up] the power of a cardinal together with changing its cofinality to a prescribed value. It can even blow [up] the power of a cardinal while keeping it regular or 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

• 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
• scientific article; zbMATH DE number 3781158 (Why is no real title available?)
• scientific article; zbMATH DE number 3336797 (Why is no real title available?)
• Proper forcing
• The singular cardinal hypothesis revisited

Cited in

(24)

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

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)