Вычислимость и характеризуемость
Руководитель проекта: С.А.Бадаев
Исполнители проекта: Ж.Т.Таласбаева
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0206РК00729
Регистрационный номер: 0106РК00850
Ключевые слова: Множества [мат.], Вычислимые нумерации, Роджерса полурешетки, Полурешетки [мат.], Математическая логика,
Объект исследования: семейства разностей вычислимо перечислимых множеств. Изучены свойства полурешеток Роджерса семейств множеств иерархии Ершова. Получены достаточные условия существования главных вычислимых нумераций. Построены примеры различных семейств разностей вычислимо перечислимых множеств с одноэлементной полурешеткой Роджерса. Определены простые достаточные условия бесконечности полурешетки Роджерса двухэлементного семейства из произвольного уровня иерархии Ершова. Результаты могут быть использованы в математической логике и алгебре.