Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Ключевые слова: математическая логика, теория алгоритмов, теория моделей, обобщенная вычислимость, математическая лингвистика
Коды УДК: 510.5
Коды MSC: 03D45

Основные темы научной работы:

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

Основные публикации:

1. Alexey Stukachev, “Effective model theory: an approach via Σ-definability”, Lecture Notes in Logic, 41 (2013), 164-197

Публикации в базе данных Math-Net.Ru

Персональные страницы:

• 
• 
• 
• 

Организации:

• Новосибирский государственный университет, механико-математический факультет
• Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск