Processing math: 100%
Семинары
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

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

D. Fernández-Duque



Аннотация: The original Goodstein principle is a number-theoretic statement known to be independent from 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 ATR0. In this talk we discuss how modifications in the representation of such numbers can lead to independence results for theories of intermediate strength.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025