Обобщенная вычислимость алгебраических систем
Руководитель проекта: Хисамиев Н.Г.
Исполнители проекта: Н.Г.Хисамиев
Организация: Вост.-Каз. техн. ун-т им. Д.Н.Серикбаева
Инвентарный номер: 0299РК00101
Регистрационный номер: 0197РК00587
Ключевые слова: алгебраические, системы, обобщенная, вычислимость, абелевы, группы, булевы, алгебры, модели,
Доказана вычислимость класса всех сильно конструктивизируемых абелевых групп без кручения ранга 1. Получен критерий обобщенной вычислимости модели над В-моделами. Установлено, что счетные абелевы р-группы и булевы алгебры являются В-моделями. Полученные результаты могут быть использованы в научной работе в теории конструктивных моделей.