Carnegie Mellon University
file.pdf (666.23 kB)
Download file

A framework for forcing constructions at successors of singular cardinals

Download (666.23 kB)
journal contribution
posted on 2014-03-01, 00:00 authored by James CummingsJames Cummings, Mirna Dzamonja, Menachim Magidor, Charles Morgan, Saharon Shelah

We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular cardinal κ of uncountable cofinality, while κ + enjoys various combinatorial properties.

As a sample application, we prove the consistency (relative to that of ZFC plus a supercompact cardinal) of there being a strong limit singular cardinal κ of uncountable cofinality where SCH fails and such that there is a collection of size less than 2 κ + of graphs on κ + such that any graph on κ + embeds into one of the graphs in the collection.




Usage metrics