The PCF conjecture and large cardinals

We prove that a combinatorial consequence of the negation of the PCF conjecture for intervals, involving free subsets relative to set mappings, is not implied by even the strongest known large cardinal axiom. ?

[1]  Richard Laver,et al.  Making the supercompactness of κ indestructible under κ-directed closed forcing , 1978 .

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

[3]  S. Shelah,et al.  THE SINGULAR CARDINALS PROBLEM; INDEPENDENCE RESULTS , 1983 .

[4]  Karsten Steffens,et al.  Introduction to Cardinal Arithmetic , 1999 .

[5]  A. Kanamori.  The Higher Infinite , 1994 .

[6]  Moti Gitik,et al.  The Singular Cardinal Hypothesis Revisited , 1992 .

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

[8]  Kenneth Kunen,et al.  Elementary embeddings and infinitary combinatorics , 1971, Journal of Symbolic Logic.

[9]  Heike Mildenberger.  More canonical forms and dense free subsets , 2004, Ann. Pure Appl. Log..

[10]  Saharon Shelah.  ℵω may have a strong partition relation , 1981 .

[11]  Fred Galvin,et al.  An ideal game , 1978, Journal of Symbolic Logic.

[12]  Piotr Koszmider,et al.  Semimorasses and Nonreflection at Singular Cardinals , 1995, Ann. Pure Appl. Log..

[13]  Saharon Shelah.  Large normal ideals concentrating on a fixed small cardinality , 1996, Arch. Math. Log..

[14]  A. Kanamori.  The higher infinite : large cardinals in set theory from their beginnings , 2005 .

[15]  Joel David Hamkins.  Fragile Measurability , 1994, J. Symb. Log..

[16]  Sy-David Friedman,et al.  Large cardinals and gap-1 morasses , 2009, Ann. Pure Appl. Log..

[17]  Telis K. Menas,et al.  Consistency results concerning supercompactness , 1976 .

[18]  Menachem Magidor,et al.  On the singular cardinals problem I , 1977 .

[19]  Peter Koepke,et al.  The consistency strength of the free-subset property for ωω , 1984, Journal of Symbolic Logic.

[20]  Thomas Jech.  A Tribute to Paul Erdős: On the cofinality of countable products of cardinal numbers , 1990 .

[21]  Saharon Shelah,et al.  PCF and infinite free subsets in an algebra , 2002, Arch. Math. Log..

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

[23]  Saharon Shelah,et al.  Independence of strong partition relation for small cardinals, and the free-subset problem , 1980, Journal of Symbolic Logic (JSL).

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