Article contents
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
Published online by Cambridge University Press: 01 February 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.
Keywords
- Type
- Article
- Information
- Copyright
- © The Association for Symbolic Logic 2021
References
REFERENCES
- 1
- Cited by