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

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




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


Аксиоматизация доказуемой 1-доказуемости

Е. А. Колмаков

Количество просмотров:
Эта страница:141

Аннотация: В докладе будут рассмотрены доказуемо 1-доказуемые предложения и связанные с ними теории. Более точно, для произвольной пары теорий T и S изучается множество всех таких предложений φ, для которых в теории T доказуемо, что предложение φ является 1-доказуемым в теории S, то есть, T ⊢ [1]_S(φ). Данное множество предложений представляет из себя некоторую теорию, расширяющую S. Будет дана аксиоматизация этой теории в терминах итерированных схем локальной рефлексии над S, а также рассмотрен вопрос о распространении данного результата на понятия доказуемой n-доказуемости для n > 1.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024