The purpose of the present paper is to present new methods of blowing up the power of a singular cardinal κ of cofinality ω. New PCF configurations are obtained. The techniques developed here will be used in a subsequent paper to construct a model with a countable set which pcf has cardinality ℵ1.

We construct a model in which the singular cardinal hypothesis fails at ℵωℵω. We use characterizations of genericity to show the existence of a projection between different Prikry type forcings.

We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we prove a form of “singular cardinal compactness” for Jensen's square principle. We then study the relationship between internally approachable and tight structures, which parallels to a certain extent the relationship between good and approachable points. In particular we characterise the tight structures in terms of PCF theory and use our characterisation to prove (...) some covering results for tight structures, along with some results on tightness and stationary reflection. Finally, we prove some absoluteness theorems in PCF theory, deduce a covering theorem, and apply that theorem to the study of precipitous ideals. (shrink)

We study various aspects of the size, including the cardinality, of closed unbounded subsets of [λ]<κ, especially when λ = κ+n for n ε ω. The problem is resolved into the study of the size of certain stationary sets. Relative to the existence of an ω1-Erdös cardinal it is shown consistent that ωω3 < ωω13 and every closed unbounded subsetof [ω3]<ω2 has cardinality ωω13. A weakening of the ω1-Erdös property, ω1-remarkability, is defined and shown to be retained under a large (...) class of Easton-like forcings applied to ω1-Erdös cardinals. A class of reverse-Easton forcings preserving α-Erdösness is also described, with special attention to the establishment of □-principles. Article Outline. (shrink)

We prove a number of consistency results complementary to the ZFC results from our paper [J. Cummings, M. Foreman, M. Magidor, Canonical structure in the universe of set theory: part one, Annals of Pure and Applied Logic 129 211–243]. We produce examples of non-tightly stationary mutually stationary sequences, sequences of cardinals on which every sequence of sets is mutually stationary, and mutually stationary sequences not concentrating on a fixed cofinality. We also give an alternative proof for the consistency of the (...) existence of stationarily many non-good points, show that diagonal Prikry forcing preserves certain stationary reflection properties, and study the relationship between some simultaneous reflection principles. Finally we show that the least cardinal where square fails can be the least inaccessible, and show that weak square is incompatible in a strong sense with generic supercompactness. (shrink)