Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
27 апреля 2020 г. 17:30, г. Москва, online
 


Existence of measurable cardinals and modal logic

Guram Bezhanishvili
Видеозаписи:
MP4 138.3 Mb
Дополнительные материалы:
Adobe PDF 1.0 Mb

Количество просмотров:
Эта страница:224
Видеофайлы:36
Материалы:43
Youtube:

Guram Bezhanishvili



Аннотация: 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.

Дополнительные материалы: measurable_cardinals.pdf (1.0 Mb)

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024