Теория абелевых групп с конструктивными моделями

Получен критерий существования конструктивной модели у полной теории абелевых групп, из которого, в частности, следует, что любая рекурсивно перечислимая теория абелевых групп без кручения имеет конструктивную модель. Показано, что существует рекурсивно перечислимая теория абелевых групп, не имеющая конструктивной модели. Выяснены вопросы (сильной) конструктивизируемости простых и насыщенных абелевых групп.
Библиогр. 21.