Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Подзоров Сергей Юрьевич

В базах данных Math-Net.Ru
Публикаций: 12
Научных статей: 11

Статистика просмотров:
Эта страница:2033
Страницы публикаций:4054
Полные тексты:1453
Списки литературы:444
Подзоров Сергей Юрьевич
доктор физико-математических наук (2010)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Ключевые слова: нумерация, полурешётка Роджерса, дистрибутивная полурешётка, m-степени, арифметическая иерархия, конструктивные модели, конструктивные булевы алгебры.
Коды УДК: 510.5

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

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

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

https://www.mathnet.ru/rus/person28600
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Полный список публикаций: Загрузить файл (59 kB)

Публикации в базе данных Math-Net.Ru Цитирования
2008
1. С. Ю. Подзоров, “Арифметические $m$-степени”, Сиб. матем. журн., 49:6 (2008),  1391–1410  mathnet  mathscinet; S. Yu. Podzorov, “Arithmetical $D$-degrees”, Siberian Math. J., 49:6 (2008), 1109–1123  isi  scopus 10
2007
2. С. Ю. Подзоров, “Универсальная лахлановская полурешётка без наибольшего элемента”, Алгебра и логика, 46:3 (2007),  299–345  mathnet  mathscinet  zmath; S. Yu. Podzorov, “The universal Lachlan semilattice without the greatest element”, Algebra and Logic, 46:3 (2007), 163–187  isi  scopus 4
2006
3. С. Ю. Подзоров, “Нумерованные дистрибутивные полурешетки”, Матем. тр., 9:2 (2006),  109–132  mathnet  mathscinet; S. Yu. Podzorov, “Numbered Distributive Semilattices”, Siberian Adv. Math., 17:3 (2007), 171–185 4
4. С. Ю. Подзоров, “Об определении лахлановской полурешетки”, Сиб. матем. журн., 47:2 (2006),  383–393  mathnet  mathscinet  zmath; S. Yu. Podzorov, “On the definition of a Lachlan semilattice”, Siberian Math. J., 47:2 (2006), 315–323  isi  scopus 2
2005
5. С. Ю. Подзоров, “О локальном строении полурешёток Роджерса $\Sigma^0_n$-вычислимых нумераций”, Алгебра и логика, 44:2 (2005),  148–172  mathnet  mathscinet  zmath; S. Yu. Podzorov, “Local Structure of Rogers Semilattices of $\Sigma^0_n$-Computable Numberings”, Algebra and Logic, 44:1 (2005), 82–94  scopus 23
2004
6. С. Ю. Подзоров, “О предельности наибольшего элемента полурешетки Роджерса”, Матем. тр., 7:2 (2004),  98–108  mathnet  mathscinet  zmath; S. Yu. Podzorov, “Dual Covers of the Greatest Element of the Rogers Semilattice”, Siberian Adv. Math., 15:2 (2005), 104–114 9
2003
7. С. Ю. Подзоров, “Начальные сегменты в полурешетках Роджерса $\Sigma^0_n$-вычислимых нумераций”, Алгебра и логика, 42:2 (2003),  211–226  mathnet  mathscinet  zmath; S. Yu. Podzorov, “Initial Segments in Rogers Semilattices of $\Sigma^0_n$-Computable Numberings”, Algebra and Logic, 42:2 (2003), 121–129  scopus 12
2002
8. С. Ю. Подзоров, “Относительная сложность вычислимых представлений естественного линейного порядка на натуральных числах”, Матем. тр., 5:1 (2002),  114–128  mathnet  mathscinet  zmath; S. Yu. Podzorov, “Relative Complexity for Computable Representations of the Conventional Linear Order on the Set of Naturals”, Siberian Adv. Math., 12:4 (2002), 44–56
9. С. А. Бадаев, С. Ю. Подзоров, “Минимальные накрытия в полурешетках Роджерса $\Sigma_n^0$-вычислимых нумераций”, Сиб. матем. журн., 43:4 (2002),  769–778  mathnet  mathscinet  zmath; S. A. Badaev, S. Yu. Podzorov, “Minimal coverings in the Rogers semilattices of $\Sigma_n^0$-computable numberings”, Siberian Math. J., 43:4 (2002), 616–622  isi 17
2001
10. С. Ю. Подзоров, “Рекурсивные однородные булевы алгебры”, Алгебра и логика, 40:2 (2001),  174–191  mathnet  mathscinet  zmath; S. Yu. Podzorov, “Recursive Homogeneous Boolean Algebras”, Algebra and Logic, 40:2 (2001), 96–105  scopus 3
1999
11. С. Ю. Подзоров, “Вычислимые классы конструктивизаций $2$-конструктивизируемых моделей”, Алгебра и логика, 38:6 (1999),  697–722  mathnet  mathscinet

2011
12. Ю. Л. Ершов, В. Д. Мазуров, П. Е. Алаев, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, Е. А. Палютин, С. Ю. Подзоров, “Сергей Савостьянович Гончаров (к 60-летию со дня рождения)”, Сиб. матем. журн., 52:5 (2011),  959–961  mathnet  mathscinet

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024