Square and delta reflection (Q287476): Difference between revisions

The \(\Delta\)-reflection principle is a strong reflection principle introduced by \textit{M. Magidor} and \textit{S. Shelah} [J. Am. Math. Soc. 7, No. 4, 769--830 (1994; Zbl 0819.20059)]. It implies various interesting structural properties, in particular, the stationary reflection principle. It is known that assuming the existence of infinitely many supercompact cardinals, it is consistent that \(\aleph_{\omega^2+1}\) is the smallest regular cardinal that can have the \(\Delta\)-reflection. The principle \(\square(\kappa)\) is a variant of Jensen's square introduced by \textit{S. Todorcevic} [Acta Math. 159, 261--294 (1987; Zbl 0658.03028)]. It is a typical anti-reflection principle. Although the \(\Delta\)-reflection implies the failure of the weak square \(\square^*_\kappa\), a weaker version of \(\square_\kappa\), in this article, under the assumption of infinitely many supercompact cardinals, the authors constructed a model in which the \(\Delta\)-reflection principle holds at \(\aleph_{\omega^2+1}\) together with the square principle \(\square_{\omega^2+1}\).