We prove a Mathias-type criterion for the Magidor iteration of Prikry forcings.

中文翻译：

---

Prikry 力的 Magidor 迭代的 Mathias 准则

我们证明了 Prikry 强迫的 Magidor 迭代的 Mathias 型判据。