Canonical structure in the universe of set theory: part one

Abstract 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.

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

[2]  Saharon Shelah,et al.  On Successors of Singular Cardinals , 1979 .

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

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

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

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

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

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

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

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

[11]  S. Shelah,et al.  Martin's Maximum, saturated ideals and non-regular ultrafilters. Part II , 1988 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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