Canonical structure in the universe of set theory: part two

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 (1–3) (2004) 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. c © 2006 Published by Elsevier B.V.

[1]  Per-Åke Larson,et al.  Separating stationary reflection principles , 2000, Journal of Symbolic Logic.

[2]  Thomas Jech.  Martin's Maximum , 1987 .

[3]  Menachem Magidor,et al.  Shelah's pcf Theory and Its Applications , 1990, Ann. Pure Appl. Log..

[4]  Saharon Shelah,et al.  Chang’s conjecture for ℵω , 1990 .

[5]  M. Foreman,et al.  A new Löwenheim-Skolem theorem , 2004 .

[6]  Lee J. Stanley,et al.  Condensation-coherent global square systems , 1985 .

[7]  Saharon Shelah,et al.  When does almost free imply free? (For groups, transversals, etc.) , 1994 .

[8]  James E. Baumgartner.  On the Size of Closed Unbounded Sets , 1991, Ann. Pure Appl. Log..

[9]  Matthew Foreman,et al.  Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal onPϰ(λ) , 2001 .

[10]  Matthew Foreman,et al.  A very weak square principle , 1997, Journal of Symbolic Logic.

[11]  James Cummings.  Collapsing successors of singulars , 1997 .

[12]  K. Prikry,et al.  Changing Measurable into Accessible Cardinals , 1970 .

[13]  Matthew Foreman,et al.  Large Cardinals and Definable Counterexamples to the Continuum Hypothesis , 1995, Ann. Pure Appl. Log..

[14]  Robert M. Solovay,et al.  Real-valued measurable cardinals , 1967 .

[15]  R. Jensen,et al.  Some applications of the core model , 1981 .

[16]  James E. Baumgartner,et al.  SATURATION PROPERTIES OF IDEALS IN GENERIC EXTENSIONS. II , 2010 .

[18]  Y. Moschovakis.  Descriptive Set Theory , 1980 .

[19]  Matthew Foreman,et al.  Games played on Boolean algebras , 1983, Journal of Symbolic Logic.

[20]  James Cummings,et al.  Canonical structure in the universe of set theory: part one , 2004, Ann. Pure Appl. Log..

[21]  William Mitchell,et al.  Aronszajn trees and the independence of the transfer property , 1972 .

[22]  James Cummings,et al.  The non-compactness of square , 2003, Journal of Symbolic Logic.

[23]  Saharon Shelah,et al.  Splitting strongly almost disjoint families , 1986 .

[24]  James Cummings,et al.  Squares, scales and stationary Reflection , 2001, J. Math. Log..

[25]  Saharon Shelah,et al.  A consistency result on weak reflection , 1995 .

[26]  Saharon Shelah,et al.  The two-cardinals transfer property and resurrection of supercompactness , 1996 .

[27]  Saharon Shelah,et al.  WEAK REFLECTION AT THE SUCCESSOR OF A SINGULAR CARDINAL , 2003 .

[28]  Saharon Shelah,et al.  SOME INDEPENDENCE RESULTS ON REFLECTION , 1997 .

[29]  Saharon Shelah,et al.  Reflecting stationary sets and successors of singular cardinals , 1991, Arch. Math. Log..

[30]  Saharon Shelah,et al.  Saturated Filters at Successors of Singulars, Weak Reflection and Yet Another Weak Club Principle , 1996, Ann. Pure Appl. Log..