Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities (Q1618105)

Mutual stationary sets were introduces by \textit{M. Foreman} and \textit{M. Magidor} [Acta Math. 186, No. 2, 271--300 (2001; Zbl 1017.03022)] as a tool for studying the possible saturation of the non-stationary ideal of $P_\kappa\lambda$ and can be considered as a generalization of stationary sets to singular cardinals. \par Mutual stationarity of any sequence of stationary sets of uncountable cofinality has a non-trivial consistency strength. For example, the existence of an increasing sequence of cardinals $\langle \kappa_n \mid n < \omega\rangle$ such that $S^{\kappa_n}_{\omega_1}$ are mutually stationary is equiconsistent with a measurable cardinal, see [\textit{P. Koepke} and \textit{P. Welch}, in: Set theory. Basel: Birkhäuser. 309--320 (2006; Zbl 1111.03041)] and [\textit{J. Cummings} et al., Ann. Pure Appl. Logic 142, No. 1--3, 55--75 (2006; Zbl 1096.03060)]. \par When moving down to stationary subsets of the $\aleph_n$ the consistency strength increases. In [\textit{K. Liu} and \textit{S. Shelah}, Isr. J. Math. 99, 189--205 (1997; Zbl 0884.03050)], the consistency of mutual stationarity of sequences such as $S^{\omega_{k}}_{\omega_m}, S^{\omega_{k+1}}_{\omega_k}, S^{\omega_{k+2}}_{\omega_m}, S^{\omega_{k+3}}_{\omega_k}, \dots$ for two arbitrary values $0 < m < k < \omega$ is obtained with respect to the large cardinal axiom ``there are infinitely many cardinals of Mitchell order $\omega_m + 1$''. In the paper under review, a lower bound for the consistency strength of this case is obtained, which is only slightly weaker than the above upper bound: ``there are infinitely many cardinals $\kappa_n$ for which the set $\{\alpha < \kappa_n \mid o(\alpha) \geq \omega_m\}$ is stationary''. Other lower bounds are obtained for stronger cases.