Magidor cardinals (Q1743691)

For any set \(x\) of ordinals with no maximum element, let \([x]^{\aleph_0\text{-bd}}\) denote the set of all bounded subsets of \(x\) whose cardinality is \(\aleph_0\). In this article, the authors defines Magidor cardinals as follows: An infinite cardinal \(\lambda\) of countable cofinality is a \textit{Magidor cardinal} if and only if \(\lambda\rightarrow[\lambda]^{\aleph_0\text{-bd}}_\lambda\), i.e. for every function \(c:[\lambda]^{\aleph_0\text{-bd}}\to\lambda\), there exists \(y\in[\lambda]^{\lambda}\) such that \(c''[y]^{\aleph_0\text{-bd}}\neq\lambda\). M.~Magidor pointed out, if we describe it using this terminology, that whenever there is no Magidor cardinal, I1 is refuted. Moreover, \textit{M. Shioya} proved that under the same assumption, I2 is also refuted in [Arch. Math. Logic 33, No. 2, 81--86 (1994; Zbl 0792.03033)]. After an interesting analysis of combinatorial properties of Magidor cardinals, the authors proves several consistency results about them. The main theorem is that it is consistent relative to the existence of infinitely many supercompact cardinals that there is an \(\omega\)-limit of supercompact cardinals that is not a Magidor cardinal. They also shows that under some large cardinal assumptions, there is a forcing extension with an \(\omega\)-limit of Magidor cardinals that is not a Magidor cardinal. The proof is done using the relationship among Magidor cardinals, partial global square, and the quilshon principles.