Restrictions on forcings that change cofinalities

DOI10.1007/S00153-015-0454-7zbMATH Open1341.03074arXiv1502.02165OpenAlexW2128401853MaRDI QIDQ283096FDOQ283096

Authors: Yair Hayut, Asaf Karagila 

Publication date: 13 May 2016

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Abstract: In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show that such forcing which changes cofinality of a regular cardinal, cannot be too nice and must cause some "damage" to the structure of cardinals and stationary sets. As a consequence there is no analogue to the Prikry forcing, in terms of "nice" properties, when changing cofinalities to be uncountable.

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

Recommendations

• Some basic thoughts on the cofinalities of Chang structures with an application to forcing
• Prikry-type forcing and the set of possible cofinalities
• Bounded forcing axioms and the continuum
• Cocovering and set forcing
• Cohen forcing and inner models
• On changing cofinality of partially ordered sets
• Forcing-theoretic aspects of Hindman's theorem
• Forcing axioms, finite conditions and some more
• Forcing and the Halpern-Läuchli theorem
• scientific article; zbMATH DE number 2204754

zbMATH Keywords

forcinglarge cardinalsPrikry-type forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Cites Work

• Intermediate submodels and generic extensions in set theory
• Changing cofinalities and the nonstationary ideal
• Chain conditions of products, and weakly compact cardinals
• Weakly Normal Filters and Irregular Ultrafilters
• Title not available (Why is that?)

Cited In (12)

• The subcompleteness of Magidor forcing
• Singularizing cardinals
• Changing cofinalities and collapsing cardinals in models of set theory
• LARGE CARDINALS BEYOND CHOICE
• Some basic thoughts on the cofinalities of Chang structures with an application to forcing
• Changing cofinalities and the nonstationary ideal
• Equivalence of generics
• Prikry-type forcing and the set of possible cofinalities
• Prikry-forcing and some generalizations
• Changing cardinal characteristics without changing \(\omega\)-sequences or cofinalities
• Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
• Hierarchies of forcing axioms, the continuum hypothesis and square principles

This page was built for publication: Restrictions on forcings that change cofinalities

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