Modal logic for topologists
- Speaker(s)
- Jan van Mill
- Affiliation
- University of Amsterdam
- Date
- Nov. 25, 2020, 4:15 p.m.
- Information about the event
- Zoom
- Seminar
- Topology and Set Theory Seminar
We sketch the proof of the following result: the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the power set of a two element set is equivalent to the existence of a measurable cardinal. Whether normal in this result can be weakened to Tychonoff, is an open problem.