On SCH and the approachability property

We construct a model of ¬ SCH + ¬ AP+ (Very Good Scale). This answers questions of Cummings, Foreman, Magidor and Woodin.

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

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

[3]  Carmi Merimovich,et al.  A power function with a fixed finite gap everywhere , 2000, Journal of Symbolic Logic.

[4]  Moti Gitik,et al.  Extender Based Forcings , 1994, J. Symb. Log..

[5]  Menachem Magidor,et al.  The weak □* is really weaker than the full □ , 1986, Journal of Symbolic Logic.

[6]  F. Stephan,et al.  Set theory , 2018, Mathematical Statistics with Applications in R.

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

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