Reflection and not SCH with overlapping extenders (Q2155489)

In this short paper, the following consistency result is obtained: It is consistent, relative to large cardinals, that there is a strong limit singular cardinal \(\lambda\) such that \(2^{\lambda} > \lambda^+\) and every stationary subset of \(\lambda\) reflects. The first consistency result of this form was obtained by Assaf Sharon in his PhD thesis, for a singualr cardinal of countable cofinality. Sharon's methods was generalized in [\textit{A. Poveda} et al., J. Math. Log. 22, No. 3, Article ID 2150019, 59 p. (2022; Zbl 07632517)]. Later, in a paper by Ben-Neria, Hayut and Unger (unpublished) the consistency of the statement for \(\lambda\) of uncountable cofinality was obtained using Gitik's Overlapping Extender Based Prikry forcing, [\textit{M. Gitik}, J. Math. Log. 20, No. 3, Article ID 2050013, 34 p. (2020; Zbl 1486.03083)]. In this paper, this result is obtained using the same forcing technique, but the arguments for the stationary reflection are different and do not rely of analysis of some ultrapowers. In the last section of the paper, a model is constructed, in which there is a club of strong limit singular cardinals for which the tree property and stationary reflection hold while the singular cardinal hypothesis fails.