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

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




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
12 октября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
 


Set theory with a proper class of indiscernibles

A. Enayat

University of Gothenburg
Видеозаписи:
MP4 231.3 Mb

Количество просмотров:
Эта страница:188
Видеофайлы:22
Youtube:

A. Enayat



Аннотация: The talk concerns the metamathematics of an extension ZFCI of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles. We will identify the purely set-theoretical consequences of ZFCI, and will also compare and contrast the metamathemetics of ZFCI with that of PAI (Peano arithmetic with a class of indiscernibles).

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