Extender-based Prikry–Magidor forcing for overlapping extenders is introduced. As an application, models with strong forms of negations of the Shelah Weak Hypothesis for various cofinalities are constructed.

中文翻译：

---

具有重叠扩展器的基于扩展器的强迫和 Shelah 弱假设的否定

介绍了用于重叠扩展器的基于扩展器的 Prikry-Magidor 强制。作为一个应用程序，构建了对各种共定性具有强烈否定形式的 Shelah 弱假设的模型。