Обобщенные вычислимые нумерации в допустимых множествах
Full Name of the work head: Хисамиев Н.Г.
Исполнители проекта: Н.Г.Хисамиев
: Вост.-Каз. техн. ун-т им. Д.М.Серикбаева
Inventory number: 0201РК00369
Registration number: 0100РК00525
Keywords: Абелевы группы, Множества,
Получено необходимое и достаточное условие сильной разложимости одного класса абелевых р-групп. Установлен критерий экстенсиональной эквивалентности наследственно конечных допустимых множеств. Доказано, что: любой бесконечный линейный порядок невнутренне перечислим; верхняя полурешетка Т-степеней изоморфно вкладывается в верхнюю полурешетку -степеней; проблема униформизации над В-моделями решается отрицательно.
