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