We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set.

中文翻译：

---

通过模态逻辑表征可测量基数的存在

我们证明了可测基数的存在等价于正常空间的存在，其模态逻辑与同构于二元集的幂集的 Kripke 框架的模态逻辑一致。