CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero‐Bryan, Jan VAN MILL · Journal of Symbolic Logic · 2021
Abstract 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.