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

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

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