Алгебры доказуемости и фрагменты арифметики

Аксиоматическая система арифметики Пеано и ее фрагменты являются традиционными объектами изучения в теории доказательств. В докладе будут рассмотрены алгебраические структуры, возникающие при изучении доказуемости, и приведены некоторые применения этих структур к вопросу о порядках роста вычислимых функций для разных фрагментов арифметики. Будет также приведен простой пример утверждения комбинаторного характера, независимого от аксиом арифметики Пеано.