Modal logic for topologists
- Prelegent(ci)
- Jan van Mill
- Afiliacja
- University of Amsterdam
- Termin
- 25 listopada 2020 16:15
- Informacje na temat wydarzenia
- Zoom
- Seminarium
- Seminarium „Topologia i teoria mnogości”
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.