Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: Ключевые слова: математическая логика, теория алгоритмов, теория моделей, обобщенная вычислимость, математическая лингвистика
Коды УДК: 510.5 Коды MSC: 03D45
Основные темы научной работы:
математическая логика, теория алгоритмов, теория моделей, обобщенная вычислимость, математическая лингвистика
Основные публикации:
Alexey Stukachev, “Effective model theory: an approach via Σ-definability”, Lecture Notes in Logic, 41 (2013), 164-197