Zapryagaev Aleksandr Aleksandrovich

Presentations in Math-Net.Ru

1. Interpretations of Büchi arithmetics in themselves
   A. A. Zapryagaev
   Seminars "Proof Theory" and "Logic Online Seminar"
   May 23, 2022 18:30   
2. Boolean algebras, Stone and Jonsson-Tarski theorems
   A. A. Zapryagaev
   Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
   March 2, 2022 18:00   
3. Presburger arithmetic and Visser's conjecture
   A. A. Zapryagaev
   Logical Perspectives 2021: Summer School and Workshop
   June 17, 2021 12:00