Объект исследования: вычислимые модели и их обобщения. Доказана вычислимость некоторых классов сильно конструктивизируемых абелевых групп. Получены критерии обобщенной вычислимости над внутренне перечислимой моделью и В-моделью. Установлено, что любая счетная булева алгебра и абелева р-группа являются В-моделью. Любой бесконечный ординал не является внутренне перечислимым. Результаты могут быть использованы в теории конструктивных моделей и допустимых множеств.