Описание:В курсе рассматриваются основы теории моделей (языки и теории первого порядка, основные теоремы теории моделей, понятие насыщенных моделей), основы теории абелевых групп (строение делимых абелевых групп, базисные подгруппы, сервантность, топология на абелевых группах, алгебраически компактные абелевы группы), а затем доказывается теорема Шмелевой о классификации абелевых групп с точностью до элементарной эквивалентности.