RUS  ENG
Full version
SEMINARS

Seminars "Proof Theory" and "Logic Online Seminar"
April 27, 2020 17:30, Moscow, online


Existence of measurable cardinals and modal logic

Guram Bezhanishvili


https://youtu.be/4NARh2Len7c

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.

Language: English


© Steklov Math. Inst. of RAS, 2025