Assume that there is no transitive class model of $\mathrm{\text{ZFC}}$ with a Woodin cardinal. Let $\nu$ be a singular ordinal such that $\nu >{\omega }_2$ and $\mathrm{\text{cf}}(\nu )<|\nu |$. Suppose $\nu$ is a regular cardinal in K. Then $\nu$ is a measurable cardinal in K. Moreover, if $\mathrm{\text{cf}}(\nu )>\omega$, then $o^K(\nu )\ge \mathrm{\text{cf}}(\nu )$.

中文翻译：

---

覆盖 K 的极限基数

假设不存在传递类模型$\mathrm{\text{ZFC}}$与伍丁红衣主教。让$\nu$是一个单数序数，使得$\nu >{\omega }_2$和$\mathrm{\text{比照}}（\nu ）<|\nu |$。认为$\nu$是K中的常规基数。然后$\nu$是K中的可测基数。此外，如果$\mathrm{\text{比照}}（\nu ）>\omega$， 然后${哦}^K（\nu ）\ge \mathrm{\text{比照}}（\nu ）$。