Myasnikov Aleksei Georgievich

Presentations in Math-Net.Ru

1. First-order classification, non-standard models, and interpretations
   A. G. Myasnikov
   Seminars "Proof Theory" and "Logic Online Seminar"
   February 17, 2025 16:00   
2. First-order classification and non-standard models
   Alexei Miasnikov
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   October 27, 2022 17:00   
3. Rich structures and weak second order logic
   A. G. Myasnikov
   Adian 90: Conference on Mathematical Logic, Algebra, and Computation
   July 6, 2021 16:15   
4. On elementary theories of free groups
   A. G. Myasnikov
   "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
   October 30, 2012 18:30