Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Телефон: +7 (383) 363 46 61
Факс: +7 (383) 333 25 98
E-mail:
Ключевые слова: нумерация, полурешётка Роджерса, дистрибутивная полурешётка, m-степени, арифметическая иерархия, конструктивные модели, конструктивные булевы алгебры.
Коды УДК: 510.5

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

Теория вычислимости, теория нумераций, конструктивные модели, булевы алгебры.

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

1. Подзоров С. Ю., “Арифметические $m$-степени”, Сибирский математический журнал, 49:6 (2008), 1391–1410    
2. Подзоров С. Ю., “Универсальная лахлановская полурешётка без наибольшего элемента”, Алгебра и логика, 46:3 (2007), 299–345      
3. Подзоров С. Ю., “Нумерованные дистрибутивные полурешётки”, Математические труды, 9:2 (2006), 109–132    

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

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

• 

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

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