Национальные ресурсы / Отчеты о НИР

Вычислимость и определимость в арифметике, модели стабильных теорий первого порядка

Руководитель проекта: С.А.Бадаев
Исполнители проекта: Е.Р.Байсалов
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0205РК00677
Регистрационный номер: 0103РК00709
Ключевые слова: Множества [мат.], Полурешетки [мат.], Роджерса полурешетки, Арифметическая иерархия, Кольца [мат.], Математическая логика,