PP-2020-02: Characterizing existence of a measurable cardinal via modal logic

PP-2020-02: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2020) Characterizing existence of a measurable cardinal via modal logic. [Pre-print]

[thumbnail of MeasCard.pdf]
Preview
Text
MeasCard.pdf

Download (379kB) | Preview

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

Item Type: Pre-print
Report Nr: PP-2020-02
Series Name: Prepublication (PP) Series
Year: 2020
Subjects: Logic
Mathematics
Depositing User: Nick Bezhanishvili
Date Deposited: 29 Jan 2020 22:36
Last Modified: 29 Jan 2020 22:36
URI: https://eprints.illc.uva.nl/id/eprint/1728

Actions (login required)

View Item View Item