Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления



Workshop on Proof Theory, Modal Logic and Reflection Principles
19 октября 2017 г. 14:50–15:15, Москва, Математический институт им. В.А. Стеклова РАН 		 
Student session

Axiomatizing provable 1-provability

E. Kolmakov
Видеозаписи:
MP4 575.1 Mb
MP4 130.9 Mb

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

E. Kolmakov



Аннотация: We consider the following question for a pair of theories T and S: for which sentences their 1-provability in S is provable in T? The set of all such sentences forms a theory extending S. We give an axiomatization of this theory for the fragments of PA in terms of iterated local reflection schema over S.

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