Навигация
 
 
Ершов Ю.Л.




     *библиография + база данных
     *жизнь и деятельность
     *избранные труды



 Научные школы ННЦ

Литература о жизни и деятельностиИнтернет Указатель трудов
 
1963 | 1971 | 1972 | 1975 | 1983 | 1985 | 1988 | 1990 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 |

  1. Солоухин Р. Первые дипломы / Р.Солоухин // За науку в Сибири. - 1963. - N 50 (23 декабря).

  2. Денисов С.Д. Модели непротиворечивой формулы и иерархия Ершова // Алгебра и логика. - 1971.- Т.11, N 6. – C.648-655.

  3. Денисов С.Д. Модели непротиворечивой формулы и иерархия Ершова / С.Д.Денисов // Алгебра и логика. - 1972. - Т.11, N 6. - С.648-655.

  4. Denisov S.D. Models of noncontradictory formulas and the Ershov hierarchy / S.D.Denisov // Algebra Logika. - 1972. - Vol.11, N 6. - P.359-362.

  5. Палютин Е.А. Дополнение к статье Ю.Л.Ершова «Верхняя полурешетка нумераций конечного множества» / Е.А.Палютин // Алгебра и логика. - 1975. - Т.14, N 3. - С.284-287.

  6. Чайкин С. Ученик Мальцева / С.Чайкин // За науку в Сибири. - 1975. - 24 апреля.

  7. Palyutin E.A. Supplement to Yu.L.Ershov's article «The upper semilattice of numerations of a finite set» / E.A.Palyutin // Algebra Logika. - 1975. - Vol.14, N 3. - P.176-178.

  8. Mohrherr J. A conjecture of Ershov for a relative hierarchy fails near o' / J.Mohrherr // Algebra Logika. - 1983. - Vol.22, N 2. - P.232–235.

  9. Selivanov V.L. Ershov hierarchy / V.L.Selivanov // Siberian Mathematical Journal. - 1985. - Vol.26, N 1. - P.105-117.

  10. Селиванов В.Л. Иерархия Ершова и Т-скачок / В.Л.Селиванов // Алгебра и логика. - 1988. - Т.27, N 4. - С.464-478.

  11. Selivanov V.L. Ershov hierarchy and the t-jump / V.L.Selivanov // Algebra Logika. - 1988. - Vol.27, N 4. - P.292-301.

  12. Юрий Леонидович Ершов: (к пятидесятилетию со дня рождения) // Алгебра и логика. – 1990. - Т.29, N2. - С.135-138.

  13. Юрий Леонидович Ершов: (к пятидесятилетию со дня рождения) // Сибирский математический журнал. - 1990. - Т.31, N3. - С.455-457.

  14. Ершов Юрий Леонидович // Математический энциклопедический словарь. - М.: Большая Российская энциклопедия, 1995. - C.693.

  15. Гончаров С.С. Семейства с одноэлементной полурешеткой Роджерса / С.С.Гончаров, С.А.Бадаев; НИИ мат.-инф. основ обуч. Новосиб. гос. ун-та // Препринт. - 1996. - N 15. - С. 1-26.
    Работа посвящена решению задачи Ю.Л.Ершова - описания семейства с одноэлементной полурешеткой вычислимых нумераций (полурешеткой Роджерса). Получено алгоритмическое описание семейства общерекурсивных функций с одноэлементными полурешетками Роджерса. Доказано существование нетривиального семейства рекурсивно перечислимых множеств, содержащего наименьшее по включению множество, полурешетка Роджерса которого одноэлементна.

  16. Гончаров С.С. Счетные булевы алгебры и разрешимость / С.С.Гончаров. - Новосибирск: Научная книга, 1996. - 361 с.
    Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (см. РЖМат, 1989, 4А229К). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.

  17. Palmgren E. A logical presentation of the continuous functionals / E.Palmgren // The Journal of Symbolic Logic. - 1997. - Vol.62, N 3. - P.1021-1034.
    Предложена, в дополнение к известным, еще одна характеризация непрерывных функционалов Клини-Крейсела, названная теоретико-модельной, а фактически тесно связанная с подходом Ершова, основанным на областях Скотта-Ершова.

  18. Селиванов В.Л. Об иерархии Ершова в бэровском пространстве / В.Л.Селиванов // 3-й Сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ-98). - Новосибирск: Изд-во ИМ СО РАН, 1998. - Секция: Алгебра, Ч. 5. - С.28.

  19. Омаров А.И. Об одном критерии ω-1 насыщенности алгебры Ершова / А.И.Омаров // Материалы Международной конференции по математической логике, посвященной 90-летию со дня рождения А.И.Мальцева и 275-летию Российской академии наук, Новосибирск, 1999. - Новосибирск, 1999. - С.45-46.

  20. Трофимов А.В. Элементарные свойства обогащенных алгебр Ершова / А.В.Трофимов // Материалы Международной конференции по математической логике, посвященной 90-летию со дня рождения А.И.Мальцева и 275-летию Российской академии наук, Новосибирск, 1999. - Новосибирск, 1999. - С.59-61.

  21. Юрий Леонидович Ершов: (к 60-летию со дня рождения) / М.М.Лаврентьев, В.Л.Береснев, А.А.Боровков, С.К.Годунов, С.С.Гончаров, В.Д.Мазуров, С.С.Кутателадзе, Ю.Г.Решетняк, В.Г.Романов // Сибирский математический журнал. - 2000. - Т.41, N 2. - С.243-246.

  22. Юрий Леонидович Ершов: к шестидесятилетию со дня рождения / С.С.Гончаров, И.А.Лавров, В.Д.Мазуров, А.А.Мальцев, А.С.Морозов, А.А.Никитин, Е.А.Палютин, Д.М.Смирнов // Владикавказский математический журнал. - 2000. - Т.2, N 2. - С.3-9.

  23. Лидер сибирской школы алгебры и логики / С.С.Гончаров, И.А.Лавров, В.Д.Мазуров, А.А.Мальцев, А.С.Морозов, А.А.Никитин, Е.А.Палютин, Д.М.Смирнов // Наука в Сибири. – 2000. - N 17 (28 апреля).

  24. О награждении орденом «За заслуги перед отечеством» IV степени Ершова Ю.Л.: указ Президента РФ от 28.04.2000 N 774 // Собрание законодательства Российской Федерации. - 2000. - Вып. 18. - Ст. 1976.

  25. С Юбилеем: [академику Юрию Леонидовичу Ершову - 60 лет!] // Наука в Сибири. - 2000. - N 17 (2253).

  26. Трофимов А.В. Типы изоморфизма обогащенных суператомных алгебр Ершова / А.В.Трофимов // Математические труды. - 2000. - Т.3, N 2. - С.182-201.

  27. Шматков М.Н. Доказательство теоремы полноты исчисления динамической логики DL / М.Н.Шматков // Вестник Южно-Уральского государственного университета. Сер.: математика, физика, химия. - 2001. - N 7. - С.24-34.
    Рассматриваются вопросы, относящиеся к теории вычислимости. Проводится подробное детальное доказательство теоремы о полноте исчисления динамической логики DL, приведенной Ю. Л.Ершовым в работе: Определимость и вычислимость (Новосибирск, 1996)

  28. Пузаренко В.Г. О разрешимых вычислимых А-нумерациях / В.Г.Пузаренко // Алгебра и логика. - 2002. - Т.41, N 5. - С.568-584.
    Рассматриваются нумерации на допустимых множествах, которые Ю.Л.Ершов ввел в книге «Определимость и вычислимость». Для моделей двух специальных классов решается проблема существования однозначных вычислимых нумераций семейств всех вычислимых множеств и вычислимых функций. В первом случае при доказательстве конечными объектами служат синтаксические конструкции, а во втором – конечные подмножества наследственно конечной надстройки.

  29. Самохвалов К.Ф. «Новый подход» Ершова и «трансцендентальный метод» Канта / К.Ф.Самохвалов // Вычислительные системы. - 2002. - N 172. - С.22-55.

  30. Труды Международной конференции «Логика и Приложения», посвященной 60-летию со дня рождения Ю.Л.Ершова и Международной конференции по математической логике, посвященной 90-летию со дня рождения А.И.Мальцева и 275-летию РАН - Новосибирск, 2002. - 244 c.

  31. Arslanov M. Models of relative computability and the Ershov hierarchy / M.Arslanov // Bulletin of Symbolic Logic. - 2002. - Vol.8, N 1. - P.124.
    Обсуждается определимость рекурсивной перечислимости и относительной рекурсивной перечислимости в структуре n- р.п. степеней для n1

  32. Cooper S.B. Turing definability in the Ershov hierarchy / S.B.Cooper, Li Angsheng // Journal of the London Mathematical Society. - 2002. - Vol.66, N 3. - P.513-528.
    В теории тьюринговых степеней значительное место занимают вопросы определимости по Тьюрингу одних классов степеней внутри других. Примером такого вопроса является вопрос о том, определим ли класс E перечислимых степеней внутри класса DCE-степеней (известных также как 2-перечислимые степени). Часто в качестве приближения к решению таких задач показывается определимость не самого рассматриваемого класса, а содержащего его или содержащегося в нем.

  33. Khisamiev A.N. On quasiresolvable models and B-models Khisamiev // Bulletin of Symbolic Logic. - 2002. - Vol.8, N 1. - P.170-171.
    Обсуждаются соотношения между классами резольвентных множеств, квазирезольвентных допустимых множеств, внутренне перечислимых моделей и B-моделей (первые два класса ввел Ю.Л.Ершов, а последние два - автор доклада). В частности, анонсируется критерий внутренней перечислимости в терминах квазирезольвентности

  34. Puzarenko V.G. Decidable Computable A-Numberings / V.G.Puzarenko // Algebra and Logic. - 2002. - Vol.41, N 5. - P.314-322.
    The article deals in the numbering theory for admissible sets, brought in sight in Yu.L.Ershov's «Definability and Computability» aтв «Numbering Theory». For models of two special classes, we resolve the problem of there being 1-1 computable numberings of the families of all computable sets and of all computable functions. In proofs, for the former case the role of finite objects is played by syntactic constructions, and for the latter - by finite subsets on hereditarily finite superstructures.

  35. Talasbaeva Zh. On positive numberings in Ershov's hierarchy / Zh.Talasbaeva // Bulletin of Symbolic Logic. - 2002. - Vol.8, N 1. - P.178.

  36. Мурзина В.Ф. Модальная логика на основе линейно упорядоченных ƒ-пространств / В.Ф.Мурзина // Алгебра и логика. - 2003. - Т.42, N 3. - С.320-337.
    Рассматривается модальная логика, связанная с ƒ-пространствами, введенными Ю.Л.Ершовым. Строится модальное исчисление, полное относительно класса всех строго линейно упорядоченных ƒ0-шкал и относительно класса всех строго линейно упорядоченных ƒ-шкал.

  37. Самохвалов К.Ф. «Новый подход» Ершова и «трансцендентальный метод» Канта / К.Ф.Самохвалов // Математика и опыт. - М.: МГУ, 2003. - С.174-204.

  38. Таласбаева Ж.Т. О позитивных нумерациях семейств множеств иерархии Ершова / Ж.Т.Таласбаева // Алгебра и логика. - 2003. - Т.42, N 6. - С.737-746.
    Доказывается существование бесконечного числа позитивных неразрешимых Σn-1-вычислимых нумераций любого бесконечного семейства S включенного или равного Σn-1, которое допускает хотя бы одну Σn-1-вычислимую нумерацию и содержит либо пустое множество при четном n, либо N при нечетном n

  39. О присуждении Государственных премий Российской Федерации 2002 года в области науки и техники: указ Президента Российской Федерации от 13.12.2003 г. N 1481 // Собрание законодательства Российской Федерации. - 2003. - Вып. 5. - Ст.4878.
    Присудить Государственные премии Российской Федерации 2002 года в области науки и техники и присвоить звание лауреата Государственной премии Российской Федерации в области науки и техники: … 6. Ершову Юрию Леонидовичу, академику, директору государственного научно-исследовательского учреждения «Институт дискретной математики и информатики», - за монографию «Кратно нормированные поля»

  40. Murzina V.F. A Modal Logic Based on Linearly Ordered ƒ-Spaces / V.F.Murzina // Algebra Logika. - 2003. - Vol.42, N 3. - P.181-191.
    A modal logic associated with the ƒ-spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered ƒ0-frames, and the class of all strictly linearly ordered ƒ-frames.

  41. Talasbaeva Z.T. Positive Numberings of Families of Sets in the Ershov Hierarchy / Z.T.Talasbaeva // Algebra Logika. - 2003. - Vol.42, N 6. - P.413-418.
    It is proved that there exist infinitely many positive undecidable Σn-1-computable numberings of every infinite family S included or equally Σn-1, that admits at least one Σn-1-computable numbering and contains either the empty set, for even n, or N for odd n.

  42. Фролов А.Н. Конструктивизируемость структур и их степени неразрешимости: автореферат дис. соиск. уч. степ. канд. физ.-мат. наук / А.Н.Фролов. - Новосибирск, 2004. - 8 с.
    В диссертации изучаются конструктивизируемые линейные порядки, алгебры Ершова и другие структуры

  43. Хисамиев А.Н. О верхней полурешетке Ершова LE / А.Н.Хисамиев // Сибирский математический журнал. - 2004. - Т.45, N 1. - С.211-228.
    Найдены связи между Σ-сводимостью и T-сводимостью. Доказаны утверждения: 1) если квазижесткая модель сильно Σ-определима в наследственно конечном допустимом множестве над локально конструктивизируемой B-системой, то она конструктивизируема; 2) каждая абелева p-группа и алгебра Ершова локально конструктивизируемы; 3) если антисимметричная связанная модель Σ-определима в наследственно конечном допустимом множестве над счетной алгеброй Ершова, то она конструктивизируема.

  44. Khisamiev A.N. On the Ershov Upper Semilattice LE / A.N.Khisamiev // Siberian Mathematical Journal. - 2004. - Vol.45, N 1. - P.173-187.
    We find some links between Σ-reducibility and T-reducibility. We prove that (1) if a quasirigid model is strongly Σ-definable in a hereditarily finite admissible set over a locally constructivizable B-system, then it is constructivizable; (2) every abelian p-group and every Ershov algebra is locally constructivizable; (3) if an antisymmetric connected model is Σ-definable in a hereditarily finite admissible set over a countable Ershov algebra then it is constructivizable.

  45. Murzina V. The completeness theorem for temporal logic based on strictly ordered ƒ-spaces / V.Murzina // Bulletin of Symbolic Logic. - 2004. - Vol.10, N 2. - P.267.
    Обсуждаются линейно упорядоченные ƒ-пространства, ƒ-0-пространства Ершова и соответствующие им временные шкалы (в стиле Крипке) с отношением строгого порядка R

  46. Ершов Юрий Леонидович // Российская академия наук. Сибирское отделение: персональный состав. - Новосибирск: Наука, 2007. - С.86-87.

  47. Мурзина В.Ф. Отсутствие интерполяционного свойства для временных исчислений, связанных с пространствами Ершова / В.Ф.Мурзина // Алгебра и логика. - 2007. - Т.46, N 6. - С.745-762.
    Исследуется вопрос, обладают ли интерполяционным свойством Крейга исчисления, связанные с топологическими пространствами Ершова.

  48. Murzina V.M. Freedom from the interpolation property for tense calculi associated with Ershov spaces / V.M.Murzina // Algebra Logika. - 2007. - Vol.46, N 6. - P.409-418.
    We study into the question whether calculi associated with Ershov topological spaces possess Craig's interpolation property.

  49. Батыршин И.И. Относительная перечислимость в иерархии Ершова / И.И.Батыршин // Математические заметки. - 2008. - Т.84, N 4. - С.506-515.
    В работе приводятся результаты, касающиеся обобщений на другие уровни иерархии Ершова некоторой теоремы о связи n-вычислимой перечислимости и относительной перечислимости.

  50. Batyrshin I.I. Relative enumerability in Ershov's hierarchy / I.I.Batyrshin // Mathematical notes. - 2008. - Vol.84, N 3-4. - P.473-482.
    Generalizations to various levels of Ershov's hierarchy of the relationship between n-computable enumerability and relative enumerability are considered.

  51. Батыршин И.И. Свойства квази-сводимости и иерархии Ершова: автореферат дис. на соиск. уч. степ. канд. физ.-мат. наук / И.И.Батыршин. - Казань, 2009. - 12 с.

  52. Академику Ю.Л.Ершову - 70 лет // Вестник Российской академии наук. - 2010. - Т.80, N 8. - С.757-758.

  53. Асеев А.Л. К 70-летию академика Ю.Л.Ершова / А.Л.Асеев, Н.З.Ляхов, Б.Г.Михайленко // Наука в Сибири. - 2010. - N 17 (29 апреля). - C.2.

  54. Братья-академики: всю жизнь плечом к плечу: о Валерии Леонидовиче Макарове и Юрии Леонидовиче Ершове // Журнал бюджет. - 2010. - N 4. - С.76-79.

  55. Гончаров С.С. Слово об учителе / С.С.Гончаров // Наука в Сибири. - 2010. - N 17 (29 апреля). - С.10.
    О выдающемся математике Ю.Л.Ершове и основных направлениях его деятельности

  56. Готовы ответить трудом // Наука в Сибири. - 2010. - N 30-31 (2765-2766). - С.2.

  57. Диев В.С. Человек двух культур / В.С.Диев // Наука в Сибири. - 2010. - N 17 (2752). - С.10.
    О деятельности Юрия Леонидовича Ершова рассказывает В.С. Диев, д.ф.н. профессор, декан философского факультета НГУ.

  58. Ершов Юрий Леонидович (к семидесятилетию со дня рождения) / С.С.Гончаров, А.Г.Кусраев, С.С.Кутателадзе, И.А.Лавров, В.Д.Мазуров, А.С.Морозов, М.В.Семeнова // Владикавказский математический журнал. - 2010. - Т.12, N 2. - С.75-78.

  59. Юрий Леонидович Ершов (ко дню 70-летия) // Алгебра и логика. - 2010. - Т.49, N 6. - С.i-v.

  60. Юрий Леонидович Ершов. К 70-летию со дня рождения // Сибирский математический журнал. - 2010. - Т.51, N 3. - С.477-480.

  61. Ершов Ю.Л. «Я никогда не жалел о своем выборе» / Ю.Л.Ершов; подготовила М.Горынцева // Наука в Сибири. - 2010. - N 17, (2752). - С.9.
    Академику Юрию Леонидовичу Ершову 1 мая исполняется 70 лет. Накануне юбилея Ю.Л.Ершов пригласил представителей прессы, чтобы ответить на вопросы и рассказать о себе, своей жизни и работе.

  62. Кутателадзе С.С. Светила и спутники. (к 70-летию со дня рождения Ю.Л.Ершова) / С.С.Кутателадзе // Сибирский журнал индустриальной математики. - 2010. - Т.13, N 2. - С.3-4.

  63. Надточий А. Иерархия Ершова: штрихи к портрету юбиляра / А.Надточий // Вечерний Новосибирск. - 2010. - 29 апреля (N 73). - С.10-11.

  64. Надточий Н. Как стать выдающимся ученым: «пособие» для начинающего к 70-летию академика Юрия Ершова / Н.Надточий // Советская Сибирь. - 2010. - N 81.

  65. Оспичев С.С. Некоторые свойства нумераций различных классов иерархии Ершова / С.С.Оспичев // Вестник НГУ. Серия: математика, механика, информатика. - 2010. - Т.10, N 4. - С.125-132.

  66. О присуждении премий Правительства Российской Федерации 2010 года в области образования: распоряжение Правительства Российской Федерации от 25.10.2010 г. N 1868-р // Собрание законодательства Российской Федерации. - 2010. - Вып. 44. - Ст.5736.
    Ю.Л.Ершова присуждена премия Правительства Российской Федерации за цикл трудов «Концепция формирования логико-математического образования в высшей школе»

  67. О награждении государственными наградами Российской Федерации: указ Президента Российской Федерации от 16.06.2010 г. N 745 // Собрание законодательства Российской Федерации. - 2010. - Вып.25. - Ст.3148.
    За большой вклад в развитие науки и многолетнюю плодотворную деятельность наградить Орденом «За заслуги перед Отечеством» III Степени Ершова Юрия Леонидовича - академика Российской академии наук, директора Учреждения Российской академии наук Института математики имени С.Л.Соболева Сибирского отделения РАН, город Новосибирск

  68. Файзрахманов М.Х. Вычислимые нумерации семейств низких множеств и тьюринговы скачки в иерархии Ершова / М.Х.Файзрахманов // Сибирский математический журнал. - 2010. - Т.51, N 6. - С.1435-1439.
    Получен следующий результат, если даны Δ20-вычислимые нумерации ν, μ семейств множеств натуральных чисел, то предикат P(x,y) ↔ ν(x) ≠ μ(y) является Σ20-предикатом. Как следствия из этого результата можно получить достаточное условие Δ20-существования Δ20-вычислимой нумерации подсемейства всех множеств данного семейства, тьюринговы скачки которых лежат в фиксированном уровне иерархии Ершова, и существование Σω-1-вычислимой нумерации семейства всех супернизких множеств.

  69. Файзрахманов М.Х. Разложимость низких 2-вычислимо перечислимых степеней и тьюринговые скачки в иерархии Ершова / М.Х.Файзрахманов // Известия высших учебных заведений. Математика. - 2010. - N 12. - С.58-66.
    В работе доказана теорема: для каждого обозначения конструктивного ординала существует низкая 2-вычислимо перечислимая степень, не являющаяся разложимой на две меньшие 2-вычислимо перечислимые степени, скачки которых принадлежат Δ-уровню иерархии Ершова, соответствующему этому обозначению.

  70. Хисамиев А.Н. ∑-ограниченные алгебраические системы и универсальные функции / А.Н.Хисамиев // Сибирский математический журнал. - 2010. - Т.51, N 3. - С.676-693.
    Доказано, что любые алгебры Ершова, булевы алгебры и абелевы p-группы являются Σ-ограниченными системами и в наследственно конечных допустимых множествах над ними существуют универсальные Σ-функции.

  71. Хисамиев А.Н. Σ-ограниченные алгебраические системы и универсальные функции / А.Н.Хисамиев // Доклады Российской академии наук. - 2010. - Т.431, N 6. - С.747-750.
    Общепринятая (абсолютная) теория вычислимости изучает вычислимые функции и отношения на натуральных числах. В настоящее время имеются различные обобщения понятия вычислимости. В данной работе введено понятие Σ-ограниченной алгебраической системы. Доказано, что алгебра Ершова, булева алгебра, линейный порядок и абелева p-группа являются Σ-ограниченными системами и в наследственно конечных допустимых множествах над ними существуют универсальные Σ-функции

  72. Школьник М. Науки много не бывает / М.Школьник // Навигатор. - 2010. - N 16 (30 апреля ).
    В преддверии 70-летия Юрий Леонидович Ершов поделился с прессой своими мыслями о прошлом, настоящем и будущем российской науки.

  73. Faizrakhmanov M.Kh. Computable numberings of families of low sets and Turing jumps in the Ershov hierarchy / M.Kh.Faizrakhmanov // Siberian Mathematical Journal. - 2010. - Vol.51, N 6. - P.1135-1138.
    If н and м are some Δ20-computable numberings of families of sets of the naturals then P(x,y) ↔ ν(x) ≠ μ(y) is a Σ20-predicate. Deriving corollaries from this result, we obtain a sufficient condition for existence of a Δ20-computable numbering of the subfamily of all sets in a given family with the Turing jumps belonging to a fixed level of the Ershov hierarchy, and we deduce existence of a Σω-1-computable numbering of the family of all superlow sets

  74. Faizrakhmanov M.Kh. Decomposability of low 2-computably enumerable degrees and turing jumps in the Ershov hierarchy / M.Kh.Faizrakhmanov // Russian Mathematics. - 2010. - Vol.54, N 12. - P.51–58.
    In this paper we prove the following theorem: for every notation of a constructive ordinal there exists a low 2-computably enumerable degree that is not splittable into two lower 2-computably enumerable degrees whose jumps belong to the corresponding Δ-level of the Ershov hierarchy.

  75. Khisamiev A.N. Σ-bounded algebraic systems and universal functions. II / A.N.Khisamiev // Siberian Mathematical Journal. – 2010. - Vol.51, N 3. – P.537–551.
    Ershov algebras, Boolean algebras, and abelian p-groups are Σ-bounded systems, and there exist universal Σ-functions in hereditarily finite admissible sets over them.

  76. Арсланов М.М. Теоретико-модельные свойства тьюринговых степеней разностной иерархии Ершова / М.М.Арсланов // Современные проблемы математики. - М.: МИАН, 2011. - Вып.15: конференция «Мальцевские чтения». - С.5-14.

  77. Леонтьева М.Н. Булевы алгебры элементарной характеристики (1,0,1) с вычислимыми множеством атомов и идеалом Ершова-Тарского / М.Н.Леонтьева // Алгебра и логика. - 2011. - Т.50, N 2. - С.133-151.
    Доказывается существование вычислимой булевой алгебры элементарной характеристики (1,0,1) с вычислимыми множеством атомов и идеалом Ершова-Тарского, у которой нет сильно вычислимой изоморфной копии. Приводится также некоторое описание Δ60-вычислимых булевых алгебр.

  78. Манат М. Позитивные неразрешимые нумерации в иерархии Ершова / М.Манат, А.Сорби // Алгебра и логика. - 2011. - Т.50, N 6. - С.759-780.
    Приводится достаточное условие, при котором бесконечное вычислимое семейство ∑α-1-множеств имеет вычислимые позитивные, но неразрешимые нумерации, здесь a обозначает ненулевой вычислимый ординал. Это обобщает теорему Таласбаевой [Алгебра и логика, 42, N 6 (2003), 737-746], доказанную для конечных уровней иерархии Ершова. Как следствие устанавливается, что семейство всех ∑α-1-множеств имеет вычислимую позитивную неразрешимую нумерацию. Кроме того, для каждого ординального обозначения a>1 строится бесконечное семейство ∑α-1-множеств, обладающее вычислимой позитивной нумерацией, но не имеющей вычислимых фридберговых нумераций. Это даeт ответ на вопрос Бадаева-Гончарова о существовании таких семейств на любом уровне иерархии Ершова (будь то конечном или бесконечном), поставленный ими только для конечных уровней иерархии Ершова выше уровня 1

  79. Файзрахманов М.Х. Тьюринговые скачки в иерархии Ершова: автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06 / М.Х.Файзрахманов, Казан. (Приволж.) федер. ун-т, Казань. - Казань, 2011. - 19 с.

  80. Файзрахманов М.Х. Тьюринговые скачки в иерархии Ершова / М.Х.Файзрахманов // Алгебра и логика. - 2011. - Т.50, N 3. - С.399-414.
    Изучаются бесконечные уровни иерархии Ершова в естественной системе обозначений, являющиеся собственными для скачков множеств. Доказывается, что собственными бесконечными уровнями для скачков являются только уровни Δα-1, где α – обозначение для ординала ωn > 1

  81. Юрий Леонидович Ершов (к семидесятилетию со дня рождения) / А.А.Боровков, С.К.Годунов, С.С.Гончаров, А.Коновалов, И.А.Лавров, В.Д.Мазуров, Л.Л.Максимова, А.А.Мальцев, Б.Г.Михайленко, А.С.Морозов, А.А.Никитин, Е.А.Палютин, Ю.Г.Решетняк // Успехи математических наук. - 2011. - Т.66, N 1. - С.201-204.

  82. Faizrakhmanov M.Kh. Turing jumps in the Ershov hierarchy / M.Kh.Faizrakhmanov // Algebra Logika. - 2011. - Vol.50, N 3. - P.279-289.
    We look at infinite levels of the Ershov hierarchy in the natural system of notation, which are proper for jumps of sets. It is proved that proper infinite levels for jumps are confined to Δα-1-levels, where α stands for an ordinal ωn > 1

  83. Leontieva M.N. Boolean algebras of elementary characteristic (1, 0, 1) whose set of atoms and Ershov–Tarski ideal are computable / M.N.Leontieva // Algebra Logika. - 2011. - Vol.50, N 2. - P.93-105.
    It is proved that there exists a computable Boolean algebra of elementary characteristics (1, 0, 1) which has a computable set of atoms and a computable Ershov–Tarski ideal, but no strongly computable isomorphic copy. Also a description of Δ60-computable Boolean algebras is presented.

  84. Yurij Leonidovich Ershov: (on his seventieth birthday) / A.A.ershov, S.K.Godunov, S.S.Goncharov, A.N.Konovalov, I.A.Lavrov, V.D.Mazurov, L.L.Maksimova, A.A.Mal'tsev, B.G.Mikhajlenko, A.S.Morozov, A.A.Nikitin, E.A.Palyutin, Yu.G.Reshetnyak // Russian Mathematical Surveys. - 2011. - Vol.66, N 1. - P.199-203.

  85. Arslanov M.M. Model-Theoretic Properties of Turing Degreesin the Ershov Difference Hierarchy / M.M.Arslanov // Proceedings of the Steklov Institute of Mathematics. - 2012. - Vol.278, Suppl.1. - P.S57–S65.

  86. Manat M. Positive undecidable numberings in the Ershov hierarchy / M.Manat, A.Sorbi // Algebra Logika. - 2012. - Vol.50, N 6. - P.512-525.
    A sufficient condition is given under which an infinite computable family of ∑α-1-sets has computable positive but undecidable numberings, where a is a notation for a nonzero computable ordinal. This extends a theorem proved for finite levels of the Ershov hierarchy in [1]. As a consequence, it is stated that the family of all ∑α-1-sets has a computable positive undecidable numbering. In addition, for every ordinal notation a>1, an infinite family of ∑α-1-sets is constructed which possesses a computable positive numbering but has no computable Friedberg numberings. This answers the question of whether such families exist at any - finite or infinite - level of the Ershov hierarchy, which was originally raised by Badaev and Goncharov only for the finite levels bigger than 1.

  87. Лауреаты Демидовской премии 2013 года // Наука в Сибири. - 2013. - N 45 (2930). - С.2.
    11 ноября в Президиуме РАН состоялось традиционное чаепитие, на котором были названы имена лауреатов Демидовской премии 2013 года. Ими стали академики Юрий Леонидович Ершов, Александр Сергеевич Спирин и Климент Николаевич Трубецкой.

  88. Рассел, Дж. Ершов Юрий Леонидович / Дж. Рассел. - М.: Книга по Требованию, 2013. - 100 с.

  89. Ospichev S.S. Properties of numberings in various levels of the Ershov hierarchy / S.S.Ospichev // Journal of Mathematical Sciences. - 2013. - Vol.188, N 4. - P.441-448.

  90. Академик Ю.Л.Ершов: «Надо учить мыслить логически» / Ю.Л.Ершов, беседу вела О.Колесова // Наука Урала. - 2014. - N 1/2.

  91. Надточий А. Все остается людям / А.Надточий // Наука в Сибири. - 2014. - N 6 (2941). - С.3.
    В ноябре 2013 года одним из очередных лауреатов Демидовской премии стал академик-математик Юрий Леонидович Ершов. В канун Дня российской науки в Екатеринбурге состоялось торжественное вручение этой весьма уважаемой в научном сообществе награды.

  92. К 75-летнему юбилею академика Юрия Леонидовича Ершова / Гончаров С.С. и др. // Наука в Сибири. - 2015. - N 9. - С.4.


Материалы интернета о жизни и деятельности академика Ю.Л.Ершова
 
Научные школы ННЦ Ю.Л.Ершов | Указатель трудовПодготовили: В.Лукьянова, И.Павлова, С.Канн, Н.Штырова  
  
[Начало | О библиотеке | Академгородок | Новости | Выставки | Ресурсы | Партнеры | ИнфоЛоция | Поиск | English]
В 2004-2006 гг. проект поддерживался грантом РФФИ N 04-07-90121
 
© 2004-2017 Отделение ГПНТБ СО РАН (Новосибирск)
Статистика доступов: архив | текущая статистика
Документ изменен: Thu Feb 2 16:16:28 2017. Размер: 43,160 bytes.
Посещение N 700 с 19.11.2014