在任意余因子的首个单数后：方法可及性的失败

我们解决了关于 $\aleph_{\omega+1}$ 组合问题的两个长期开放问题。我们回答了 Shelah 的问题，表明对于任意 $n\geq 1$，在 GCH 成立且存在一组具有 $\aleph_n$ 余因子的稳定集，这组集合不属于方法可及性理想中是一致的。作为推论，我们得到了一个模型，其中良好性和方法可及性的概念在许多具有 $\aleph_1$ 余因子的稳定点上是不同的，回答了 Cummings、Foreman 与 Magidor 的开放问题。