name: Обобщенно вычислимые нумерации и спектры степеней счетных семейств
keyword_list: Обобщенно вычислимые нумерации, полурешетки Роджерса обобщенно вычислимых семейств, Наследственно счетные семейства
abstract: Установлено, что для каждого невычислимого множества 𝐴 полурешетка Роджерса произвольного нетривиального 𝐴-вычислимого семейства бесконечна и не является решеткой, найдено положительное решение проблемы Подзорова, Получено описание множеств 𝐴, для которых каждое конечное семейство 𝐴-в.п. множеств обладает универсальной 𝐴-вычислимой нумерацией, Найдено положительное решение проблемы эффективной бесконечности множества минимальных нумераций бесконечных Σ(0,𝑛+2)-вычислимых семейств.
chairman_dissertation_council.surname: Ершов Ю. Л.
chairman_dissertation_council.position: советник РАН
chairman_dissertation_council.degree: Доктор физико-математических наук
organization_supervisor.surname: Гончаров С. С.
organization_supervisor.position: директор
organization_supervisor.degree: Доктор физико-математических наук
rubrics.code: 27.03.45
rubrics.name: Теория вычислимости
oecds.code: 01.01.PQ
oecds.name: MATHEMATICS
speciality_codes.name: Математическая логика, алгебра и теория чисел
speciality_codes.code: 01.01.06
supervisors.fio: Калимуллин И. Ш.
supervisors.scientific_degree: Доктор физико-математических наук
supervisors.speciality_code: Математическая логика, алгебра и теория чисел
supervisors.responsible_type: Научный руководитель
opponents.fio: Бадаев С. А.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Математическая логика, алгебра и теория чисел
opponents.responsible_type: Оппонент
opponents.fio: Когабаев Н. Т.
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Математическая логика, алгебра и теория чисел
opponents.responsible_type: Оппонент
protection_organization.short_name: ИМ СО РАН
protection_organization.name: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук
protection_organization.ogrn: 1025403656508
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: ФГАОУ ВО "КАЗАНСКИЙ (ПРИВОЛЖСКИЙ) ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ", ФГАОУ ВО КФУ, КФУ, КАЗАНСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ, КАЗАНСКИЙ (ПРИВОЛЖСКИЙ) ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
author_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Казанский (Приволжский) федеральный университет"
author_organization.ogrn: 1021602841391
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные автономные учреждения