Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




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


Existence of measurable cardinals and modal logic

Guram Bezhanishvili
Video records:
MP4 138.3 Mb
Supplementary materials:
Adobe PDF 1.0 Mb

Number of views:
This page:224
Video files:36
Materials:43
Youtube:

Guram Bezhanishvili



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.

Supplementary materials: measurable_cardinals.pdf (1.0 Mb)

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024