Мясников Алексей Георгиевич

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

1. First-order classification, non-standard models, and interpretations
   A. G. Myasnikov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   17 февраля 2025 г. 16:00   
2. First-order classification and non-standard models
   Alexei Miasnikov
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   27 октября 2022 г. 17:00   
3. Rich structures and weak second order logic
   А. Г. Мясников
   Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
   6 июля 2021 г. 16:15   
4. Об элементарных теориях свободных групп
   А. Г. Мясников
   «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
   30 октября 2012 г. 18:30