Characterizing existence of a measurable cardinal via modal logic

Open Access
Authors
Publication date 03-2021
Journal Journal of Symbolic Logic
Volume | Issue number 86 | 1
Pages (from-to) 162-177
Organisations
  • Faculty of Science (FNWI) - Korteweg-de Vries Institute for Mathematics (KdVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Article
Language English
Published at https://doi.org/10.1017/jsl.2021.5
Downloads
MeasCard (Accepted author manuscript)
Permalink to this page
Back