Колмаков Евгений Александрович

Доклады и лекции в базе данных Math-Net.Ru

1. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
   Е. А. Колмаков
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   24 июня 2019 г. 18:30   
2. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
   Е. А. Колмаков
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   20 мая 2019 г. 18:30   
3. О формулах, $n$-доказуемость которых выводима в арифметике Пеано
   Е. А. Колмаков
   «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
   10 апреля 2018 г. 18:30
4. Аксиоматизация доказуемой 1-доказуемости
   Е. А. Колмаков
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   30 октября 2017 г. 18:30
5. Axiomatizing provable 1-provability
   E. Kolmakov
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   19 октября 2017 г. 14:50