CRN Lecture: Prof. Jan van Mill
The second CRN Lecture will take place on June 1, 2024 at 11:45–12:45 in room 1.27, blgd. C-13, as a part of the 2nd Wrocław Logic Conference. Our speaker is
Prof. Jan van Mill (University of Amsterdam)
who will give a talk
On the modal logic of certain Čech–Stone compactifications
Abstract of the talk:
We discuss topological results that determine the modal logics of ω*, βω and β(ω2). (Here ω2 is the ordinal ω2, hence topologically it is a discrete union of countably many nontrivial convergent sequences.) For ω* and βω these are known ZFC results. The new result is for β(ω2) and partially answers a question of Shehtman. Its proof relies on Parovičenko’s characterization of ω* under the Continuum Hypothesis.