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

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




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


О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано

Е. А. Колмаков
Видеозаписи:
MP4 2,764.2 Mb
MP4 1,255.0 Mb

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

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



Аннотация: Хорошо известно, что кроме булевой алгебры Линденбаума-Тарского, носителем которой являются классы T-доказуемой эквивалентности всех арифметических предложений, со всякой арифметической формальной системой T можно также связать решётки предложений ограниченной арифметической сложности. В. Ю. Шавруковым было доказано, что элементарная теория решётки Σ₁-предложений для непротиворечивой теории T неразрешима (и даже не является арифметической). В докладе будет изложена общая схема доказательства результата о разрешимости ∀∃-фрагмента элементарной теории решётки Σ₁-предложений для непротиворечивой перечислимой арифметической теории T. Доклад основан на статье П. Линдстрёма и В. Ю. Шаврукова "The ∀∃-theory of Peano Σ₁-sentences".
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024