Запрягаев Александр Александрович

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

1. Interpretations of Büchi arithmetics in themselves
   А. А. Запрягаев
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   10 ноября 2022 г. 17:00   
2. Интерпретации арифметик Бюхи в себе
   А. А. Запрягаев
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   23 мая 2022 г. 18:30   
3. Булевы алгебры, теоремы Стоуна и Йонссона-Тарского
   А. А. Запрягаев
   Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика"
   2 марта 2022 г. 18:00   
4. Presburger arithmetic and Visser's conjecture
   A. A. Zapryagaev
   Logical Perspectives 2021: Summer School and Workshop
   17 июня 2021 г. 12:00   
5. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
   А. А. Запрягаев
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   2 декабря 2019 г. 18:30   
6. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
   А. А. Запрягаев
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   25 ноября 2019 г. 18:30