源自 Reinhardt 基数的带有 Woodin 基数的 Mice

假设存在一个 Reinhardt 基数。则 (1) 对于每个传递集合 $X$ 和每个 $n<\omega$，$M_n(X)$ 存在且（在 $X$ 之上）完全可迭代（此处 $M_n(X)$ 表示包含 $X$ 且在 $X$ 的秩之上具有 $n$ 个 Woodin 基数的典范极小真类内模型）；且 (2) 投影决定性在每个集合脱殊扩张中成立。