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

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




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


Goodstein principles of intermediate strength

D. Fernández-Duque
Видеозаписи:
MP4 1,133.7 Mb
MP4 669.3 Mb

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

D. Fernández-Duque



Аннотация: The original Goodstein principle is a number-theoretic statement known to be independent from $\mathsf{PA}$. It proceeds by writing numbers in so-called hereditary exponential form, then applying various operations to produce a finite (but very long) sequence. In recent work with T. Arai and S. Wainer, we have shown that a similar process based on the Ackermann function leads to independence results for $\mathsf{ATR}_0$. In this talk we discuss how modifications in the representation of such numbers can lead to independence results for theories of intermediate strength.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024