Семинары: Л. Д. Беклемишев, О позитивной логике доказуемости с операторами консервативности

СЕМИНАРЫ


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

О позитивной логике доказуемости с операторами консервативности Л. Д. Беклемишев
Аннотация: Мы рассматриваем обогащение языка позитивной логики доказуемости $RC$ серией операторов $P_n$, сопоставляющих данной гёделевой теории множество всех её следствий арифметической сложности $\Pi_n$ (для всех натуральных $n$). Мы расскажем о выразительных возможностях этой логики и о нормальной форме её замкнутых формул, связанной с понятием $\Pi_n$-ординала теории.