\newpage \centerline{\bbf Хронологический указатель трудов} \bigskip \bigskip \centerline{\bbf 1962} \nobreak \bigskip \noindent О гипотезе В.~А.~Успенского // Алгебра и логика. --- 1962. --- Т.~1, вып.~4. --- C.~45--48. \medskip\noindent Об аксиоматизируемых классах моделей с бесконечной сигнатурой // Алгебра и логика. --- 1962. --- Т.~1, вып.~4. --- С.~32--44. \bigskip \centerline{\bbf 1963} \nobreak \bigskip \noindent Неразрешимость некоторых теорий // Алгебра и логика. --- 1963. --- T.~2, вып.~5. --- C.~37--42. --- Совместно с М.~А.~Тайцлиным. \medskip\noindent Разрешимость элементарных теорий некоторых классов абелевых групп // Алгебра и логика.--- 1963. --- Т.~1, вып.~6. --- C.~37--41. \medskip\noindent Разрешимость элементарных теорий некоторых классов абелевых групп // Тез. 1-й науч. студ. конф., НГУ, 1963. --- Novosibirsk, 1963. --- С.~36. \bigskip \centerline{\bbf 1964} \nobreak \bigskip \noindent Разрешимые и неразрешимые теории: Автореф. дис$\ldots$ канд. физ.-мат. наук. --- Novosibirsk, 1964. --- 5~с. \medskip\noindent Неразрешимость теорий симметрических и простых конечных групп // Докл. АН СССР. --- 1964. --- Т.~158, \No~4. --- C.~777--779. \medskip\noindent То же на англ. яз.: Unsolvability of theories of symmetric and simple finite groups // Soviet Math. Dokl. --- 1964. --- Vol.~5. --- P.~1309--1311. \medskip\noindent Об элементарных теориях классов конечных моделей // Успехи мат. наук. --- 1964. --- T.~19, вып.~2. --- C.~194--195. --- Совместно с М.~А.~Тайцлиным. \medskip\noindent Разрешимость некоторых неэлементарных теорий // Алгебра и логика. --- 1964. --- T.~3, вып.~2. --- C.~45--47. \medskip\noindent Разрешимость элементарной теории диcтрибутивных структур с относительными дополнениями и теории фильтров // Алгебра и логика. --- 1964. --- T.~3, вып.~3. --- C.~17--38. \bigskip \centerline{\bbf 1965} \nobreak \bigskip \noindent Неразрешимость некоторых полей // Докл. АН СССР. --- 1965. --- T.~161, \No~1. --- С.~27--29. \medskip\noindent То же на англ. яз.: Undecidability of certain fields // Soviet Math. Dokl. --- 1965. --- Vol.~6. --- P.~349--352. \medskip\noindent Об элементарной теории максимальных нормированных полей // Докл. АН СССР --- 1965. --- T.~165, \No~1. --- C.~21--23. \medskip\noindent То же на англ. яз.: On the elementary theory of maximal normed fields // Soviet Math. Dokl. --- 1965. --- Vol.~6. --- P.~1390--1393. \medskip\noindent Об элементарной теории максимальных нормированных полей // Алгебра и логика. --- 1965. --- T.~4, вып.~3. --- C.~31--70. \medskip\noindent Об элементарной теории максимальных нормированных полей. II // Алгебра и логика. --- 1965. --- T.~4, вып.~6. --- C.~47--48. \medskip\noindent Об элементарных теориях локальных полей // Алгебра и логика. --- 1965. --- T.~4, вып.~2. --- C.~5--30. \medskip\noindent Элементарные теории // Успехи мат. наук. --- 1965. --- T.~20, вып.~4. --- C.~37--108. --- Совместно с И.~А.~Лавровым, А.~Д.~Таймановым, М.~А.~Тайцлиным. \medskip\noindent То же на англ. яз.: Elementary theories // Russian Math. Surveys. --- 1965. --- Vol.~20, No.~4. --- P.~35--105. --- With I.A.~Lavrov, A.D.~Taimanov, and M.A.~Taitslin. \bigskip \centerline{\bbf 1966} \nobreak \bigskip \noindent Элементарная теория полей: Автореф. дис$\ldots$ д-ра физ.-мат. наук. --- Novosibirsk, 1966. --- 9~с. \medskip\noindent Новые примеры неразрешимых теорий // Алгебра и логика. --- 1966. --- T.~5, вып.~5. --- C.~37--47. \medskip\noindent Об элементарной теории максимальных нормированных полей. II // Алгебра и логика. --- 1966. --- T.~5, вып.~1. --- C.~5--40. \medskip\noindent Элементарные теории полей // Междунар. конгр. математиков: Тез. докл. по приглашению. --- М., 1966. --- С.~143--145. \bigskip \centerline{\bbf 1967} \nobreak \bigskip \noindent Нумерации семейств общерекурсивных функций // Сиб. мат. журн. --- 1967. --- T.~8, \No~5. --- C.~1015--1025. \medskip\noindent О полях с разрешимой теорией // Докл. АН СССР. --- 1967. --- T.~174, \No~1. --- C.~19--20. \medskip\noindent То же на англ. яз.: Fields with a solvable theory // Soviet Math. Dokl. --- 1967. --- Vol.~8. --- P.~575--576. \medskip\noindent О рациональных точках над гензелевыми полями // Алгебра и логика. --- 1967. --- T.~6, вып.~3. --- C.~39--49. \medskip\noindent Об элементарной теории максимальных нормированных полей. III // Алгебра и логика. --- 1967. --- T.~6, вып.~3. --- C.~31--38. \medskip\noindent Об элементарных теориях многообразий Поста // Алгебра и логика. --- 1967. --- T.~6, вып.~5. --- C.~7--15. \bigskip \centerline{\bbf 1968} \nobreak \bigskip \noindent Анатолий Иванович Мальцев: Некролог // Успехи мат. наук. --- 1968. --- T.~23, вып.~3. --- C.~159--170. --- Совместно с П.~С.~Александровым, М.~И.~Каргаполовым, Е.~Н.~Кузьминым, Д.~М.~Смирновым, А.~Д.~Таймановым, А.~И.~Ширшовым. \medskip\noindent То же на англ. яз.: Anatoli\u{\i} Ivanovich Maltsev: Obituary // Russian Math. Surveys. --- 1968. --- Vol.~23, No.~3. --- P.~157--168. --- With P.S.~Aleksandrov, M.I.~Kargapolov, E.N.~Kuzmin, D.M.~Smirnov, A.D.~Taimanov, and A.I.~Shirshov. \medskip\noindent Об одной иерархии множеств // Алгебра и логика. --- 1968. --- T.~7, вып.~1. --- C.~47--74. \medskip\noindent То же на англ. яз.: A hierarchy of sets // Algebra Logic. --- 1968. --- Vol.~7. --- P.~25--43. \medskip\noindent Ограниченные теории вполне упорядоченных множеств // Алгебра и логика. --- 1968. --- T.~7, вып.~3. --- C.~38--47. \medskip\noindent То же на англ. яз.: Restricted theories of well ordered sets // Algebra Logic. --- 1968. --- Vol.~7. --- P.~181--187. \medskip\noindent Об одной иерархии множеств. II // Алгебра и логика. --- 1968. --- T.~7, вып.~4. --- C.~15--47. \medskip\noindent То же на англ. яз.: A hierarchy of sets. II // Algebra Logic. --- 1968. --- Vol.~7. --- P.~212--232. \medskip\noindent О вычислимых нумерациях. I // Алгебра и логика. --- 1968. --- T.~7, вып.~5. --- C.~71--99. \medskip\noindent То же на англ. яз.: On computable enumerations. I // Algebra Logic. --- 1968. --- Vol.~7. --- P.~330--346. \medskip\noindent Numbered fields // Proc. 3rd Intern. Congr. for Logic, Methodology and Philosophy of Science, 1967. --- Amsterdam, 1968. --- P.~31--35. \bigskip \centerline{\bbf 1969} \nobreak \bigskip \noindent Теория нумераций: Спецкурс для студентов-математиков НГУ. --- Novosibirsk, 1969. --- Ч.~1: Общая теория нумераций. --- 174~c. \medskip\noindent О вычислимых нумерациях. II // Алгебра и логика. --- 1969. --- T.~8, вып.~1. --- C.~65--71. --- Совместно с И.~А.~Лавровым. \medskip\noindent То же на англ. яз.: On computable enumerations. II // Algebra Logic. --- 1969. --- Vol.~8. --- P.~34--38. --- With I.A.~Lavrov. \medskip\noindent Замечания об одной проблеме Роджерса // Алгебра и логика. --- 1969. --- T.~8, вып.~4. --- С.~497. \medskip\noindent То же на англ. яз.: Note on a problem of Rogers // Algebra Logic. --- 1969. --- Vol.~8. --- P.~285. \medskip\noindent Гипергиперпростые $m$-степени //Алгебра и логика. --- 1969. --- T.~8, вып.~5. --- C.~523--552. \medskip\noindent То же на англ. яз.: Hyper-hypersimple $m$-degrees // Algebra Logic. --- 1969. --- Vol.~8. --- P.~298--315. \medskip\noindent О числе линейных порядков на поле // Мат. заметки. --- 1969. --- T.~6, вып.~2. --- C.~201--211. \medskip\noindent То же на англ. яз.: The number of linear orders on a field // Math. Notes. --- 1969. --- Vol.~6. --- P.~577--582. \medskip\noindent Полно нумерованные множества // Сиб. мат. журн. --- 1969. --- T.~10, \No~5. --- C.~1048--1064. \medskip\noindent То же на англ. яз.: Completely enumerated sets //Siberian Math.~J. --- 1969. --- Vol.~10, No.~5. --- P.~773--784. \medskip\noindent Третий конгресс по логике, методологии и философии науки // Научно-техническая информация. --- М., 1969. Сер.~2. --- Совместно с И.~А.~Акчуриным, В.~Н.~Садовским, В.~А.~Смирновым. \bigskip \centerline{\bbf 1970} \nobreak \bigskip \noindent О неотделимых парах // Алгебра и логика. --- 1970. --- T.~9, \No~6. --- C.~661--666. \medskip\noindent То же на англ. яз.: On inseparable pairs // Algebra Logic. --- 1970. --- Vol.~9. --- P.~396--399. \medskip\noindent Об индексных множествах // Сиб. мат. журн. --- 1970. --- T.~11, \No~2. --- C.~326--342. \medskip\noindent То же на англ. яз.: On index sets // Siberian Math.~J. --- 1970. --- Vol.~11, No.~2. --- P.~246--258. \medskip\noindent Об одной иерархии множеств. III // Алгебра и логика. --- 1970. --- T.~9, \No~1. --- C.~34--51. \medskip\noindent То же на англ. яз.: On a hierarchy of sets. III // Algebra Logic. --- 1970. --- Vol.~9. --- P.~20--31. \medskip\noindent Поля с двумя линейными порядками // Мат. заметки. --- 1970. --- T.~7, вып.~5. --- C.~525--536. --- Совместно с С.~В.~Бредихиным, В.~Е.~Кальнеем. \medskip\noindent То же на англ. яз.: Fields with two linear orderings // Math. Notes. --- 1970. --- Vol.~7. --- P.~319--325. --- With S.V.~Bredikhin and V.E.~Kalne\u{\i}. \medskip\noindent Математическая логика: Проблемы и исследования // За науку в Сибири. --- 1970. --- \No~11. \bigskip \centerline{\bbf 1971} \nobreak \bigskip \noindent Вычислимые нумерации морфизмов // Алгебра и логика. --- 1971. --- T.~10, \No~3. --- C.~247--308. \medskip\noindent То же на англ. яз.: Computable numerations of morphisms // Algebra Logic. --- 1971. --- Vol.~10. --- P.~155--191. \medskip\noindent La th\'eorie des enumerations // Actes Congr. Internat. Math., Nice, 1970. --- Paris, 1971. --- Vol.~1. --- P.~223--227. \medskip\noindent Крупный советский алгебраист: (К 50-летию со дня рождения А.~И. Ширшова) // За науку в Сибири. --- 1971. --- \No~38. --- Совместно с М.~Каргаполовым, А.~Гайновым. \bigskip \centerline{\bbf 1972} \nobreak \bigskip \noindent Теория нумераций // Междунар. конгр. математиков в Ницце, 1970. --- М., 1972. --- C.~41--47. \medskip\noindent Всюду определенные непрерывные функционалы // Алгебра и логика. --- 1972. --- T.~11, \No~6. --- C.~656--665. \medskip\noindent То же на англ. яз.: Everywhere-defined continuous functionals //\,Algebra Logic.\,---\,1972.\,---\,Vol.~11.\, ---\, P.~363--368. \medskip\noindent Вычислимые функционалы конечных типов // Алгебра и логика. --- 1972. --- T.~11, \No~4. --- C.~367--437. \medskip\noindent То же на англ. яз.: Computable functionals of finite types // Algebra Logic. --- 1972. --- Vol.~11. --- P.~203--242. \medskip\noindent Непрерывные решетки и $A$-пространства // Докл. АН СССР. --- 1972. --- Т.~207, \No~3. --- C.~523--526. \medskip\noindent То же на англ. яз.: Continuous lattices and $A$-spaces // Soviet Math. Dokl. --- 1972. --- Vol.~13. --- P.~1551--1555. \medskip\noindent О соотношении сноп-пространств и нумерованных множеств со свойствами $C^*_2$ // Зап. науч. семинаров Ленингр. отд-ния Мат. ин-та им.~B.A.~Стеклова. --- 1972. --- Т.~32. --- С.~18--20. \medskip\noindent То же на англ. яз.: Relationship between sheaf spaces and numbered sets with the $C^*_2$ property // Soviet Math.~J. --- 1976. --- Vol.~6. --- P.~358--360. \medskip\noindent Об элементарных теориях групп // Докл. АН СССР. --- 1972. --- T.~203, \No~6. --- C.~1240--1243. \medskip\noindent То же на англ. яз.: Elementary group theories // Soviet Math. Dokl. --- 1972. --- Vol.~13. --- P.~528--532. \medskip\noindent Существование конструктивизаций // Докл. АН СССР. --- 1972. --- T.~204, \No~5. --- C.~1041--1044. \medskip\noindent То же на англ. яз.: Existence of constructivizations // Soviet Math. Dokl. --- 1972. --- Vol.~13. --- P.~779--783. \medskip\noindent Теория $f$-пространств // 6-я Всесоюз. топологич. конф.: Тез. --- Тбилиси, 1972. --- C.~50--51. \medskip\noindent Летняя школа на Обском море // За науку в Сибири. --- 1972. --- \No~29. --- Совместно с В.~Монаховым, Д.~Смирновым. \bigskip \centerline{\bbf 1973} \nobreak \bigskip \noindent Математическая логика: Лекции для студентов-математиков НГУ. --- Novosibirsk: НГУ, 1973. --- 169~с. --- Совместно с Е.~А.~Палютиным, М.~А.~Тайцлиным. \medskip\noindent Теория нумераций: Спецкурс для студентов-математиков НГУ. --- Novosibirsk: НГУ, 1973. --- Ч.~2: Вычислимые нумерации морфизмов. --- 169~с. \medskip\noindent Верхняя полурешетка $L(\gamma)$ // Алгебра и логика. --- 1973. --- T.~12, \No~2. --- C.~167--189. --- Совместно с И.~А.~Лавровым. \medskip\noindent То же на англ. яз.: The upper semilattice $L(\gamma)$ // Algebra Logic. --- 1973. --- Vol.~12. --- P.~93--106. --- With I.A.~Lavrov. \medskip\noindent Воспоминания об А.~И. Мальцеве // Избранные вопросы алгебры и логики. --- Novosibirsk: Nauka, 1973. --- С.~311--312. \medskip\noindent Иерархия множеств класса $\Delta^0_2$ (the hierarchy of $\Delta^0_2$-sets) // Logic, Methodology and Philosophy of Science, IV: Proc. of the 4th Intern. Congr., Bucharest, 1971. --- Amsterdam etc., 1973. --- P.~69--76. \medskip\noindent Конструктивные модели // Избранные вопросы алгебры и логики. --- Novosibirsk: Nauka, 1973. --- C.~111--130. \medskip\noindent Сколемовские функции и конструктивные модели // Алгебра и логика. --- 1973. --- T.~12, \No~6. --- C.~644--654. \medskip\noindent То же на англ. яз.: Skolem functions and constructive models // Algebra Logic. --- 1973. --- Vol.~12. --- P.~368--373. \medskip\noindent Теория $A$-пространств // Алгебра и логика. --- 1973. --- T.~12, \No~4. --- C.~369--416. \medskip\noindent То же на англ. яз.: The theory of $A$-spaces // Algebra Logic. --- 1973. --- Vol.~12. --- P.~209--232. \medskip\noindent Theorie der Numerierungen. I // Z. Math. Logik Grundlag. Math. --- 1973. --- Bd.~19, Hf.~4. --- S.~289--388. \medskip\noindent То же: Статья опубликована отдельным изданием. \medskip\noindent Достойны! (17 июня --- день выборов в местные советы) // За науку в Сибири. --- 1973, 14 июня --- \No~23. \medskip\noindent Ред.: Избранные вопросы алгебры и логики (Сборник, посвященный памяти А. И. Мальцева). --- Novosibirsk: Nauka, 1973. --- 340~с. --- Совместно с М.~И.~Каргаполовым, Ю.~И.~Мерзляковым, Д.~М.~Смирновым, А.~И.~Ширшовым. \bigskip \centerline{\bbf 1974} \nobreak \bigskip \noindent Теория нумераций: Спецкурс для студентов-математиков НГУ. --- Novosibirsk: НГУ, 1974. --- Ч.~3: Конструктивные модели. --- 139~c. \medskip\noindent Максимальные и всюду определенные функционалы // Алгебра и логика. --- 1974. --- T.~13, \No~4. --- C.~374--397. \medskip\noindent То же на англ. яз.: Maximal and everywhere-defined functionals//Algebra Logic.\,---\,1974.\,---\,Vol.~13.\,---\,P.\,210--225. \medskip\noindent О модели $G$ теории $BR$ // Докл. АН СССР. --- 1974. --- T.~217, \No~5. --- C.~1004--1006. \medskip\noindent То же на англ. яз.: The model $G$ of the theory $BR$ // Soviet Math. Dokl. --- 1974. --- Vol.~15. --- P.~1158--1161. \medskip\noindent Полулокальные поля // Докл. АН СССР. --- 1974. --- Т.~215, \No~1. --- C.~41--44. \medskip\noindent То же на англ. яз.: Semilocal fields // Soviet Math. Dokl. --- 1974. --- Vol.~15. --- P.~424--428. \medskip\noindent Theories of nonabelian varieties of groups // Proc. of the Tarski Symp., Berkeley, 1971. --- Berkeley, 1974. --- P.~255--264. \medskip\noindent [Краткие сведения об олимпиадах]\,//\,За науку в Сибири. --- 1974. --- \No~8. \bigskip \centerline{\bbf 1975} \nobreak \bigskip \noindent Верхняя полурешетка нумераций конечного множества //Алгебра и логика.\,---\,1975.\,---\,T.~14, \No~3.\,---\,C.~258--283. \medskip\noindent То же на англ. яз.: The upper semilattice of numerations of a finite set // Algebra Logic. --- 1975. --- Vol.~14. --- P.~159--175. \medskip\noindent Theorie der Numerierungen. II // Z. Math. Logik Grundlag. Math. --- 1975. --- Bd.~21, No.~6. --- S.~473--584. \medskip\noindent То же: Статья опубликована отдельным изданием. \medskip\noindent Ред.: Шенфилд Дж. Математическая лoгика. --- М.: Nauka, 1975. --- 527~c. \bigskip \centerline{\bbf 1976} \nobreak \bigskip \noindent Михаил Иванович Каргаполов: [Некролог] // Мат. заметки. --- 1976. --- T.~19, вып.~6. --- C.~825--832. --- Совместно с Ю.~И.~Мерзляковым, А.~И.~Ширшовым. \medskip\noindent То же на англ. яз.: Mikhail Ivanovich Kargapolov: [Obituary] // Math. Notes. --- 1976. --- Vol.~19. --- P.~487--491. --- With Yu.I.~Merzlyakov and A.I.~Shirshov. \medskip\noindent Наследственно эффективные операции // Алгебра и логика. --- 1976. --- T.~15, \No~6. --- C.~642--654. \medskip\noindent То же на англ. яз.: Hereditarily effective operations // Algebra Logic. --- 1976. --- Vol.~15. --- P.~400--409. \medskip\noindent V Международный конгресс по логике, методологии и философии науки // Вопр. философии. --- 1976. --- \No~5. --- С.~154--169. --- Совместно с И.~А.~Акчуриным, В.~Н.~Садовским, В.~А.~Смирновым. \medskip\noindent Возможности и резервы: О мех.-мат. фак-те НГУ // За науку в Сибири. --- 1976. --- \No~31. --- Совместно с Б.~Рогозиным. \medskip\noindent Что об успехе думает декан: Интервью // Комс. правда. --- 1976. --- 13~окт. \bigskip \centerline{\bbf 1977} \nobreak \bigskip \noindent Теория нумераций --- M.: Nauka, 1977. --- 416~c. \medskip\noindent Абелева группа // Математическая энциклопедия. --- 1977. --- Т.~1. --- C.~17--20. \medskip\noindent Нумерация класса $C^*_{20}$ // Алгебра и логика. --- 1977. --- T.~16, \No~6. --- C.~637--642. \medskip\noindent То же на англ. яз.: Enumeration of the class $C^*_{20}$ // Algebra Logic. --- 1977. --- Vol.~16. --- P.~422--426. \medskip\noindent Памяти Михаила Ивановича Каргаполова // Успехи мат. наук. --- 1977. --- Т.~32, вып.~1 --- С. 145--150. --- Совместно с Ю.~И.~Мерзляковым, А.~И.~Ширшовым. \medskip\noindent То же на англ. яз.: In memory of Mikhail Ivanovich Kargapolov // Russian Math. Surveys. --- 1977. --- Vol.~32, No.~1. --- P.~141--147. --- With Yu.I.~Merzlyakov and A.I.~Shirshov. \medskip\noindent Предисловие редакторов перевода // Кейслер~Г., Чэн Ч.~Ч. Теория моделей: Пер. с англ. --- М., 1977. --- С.~5--6. --- Совместно с А.~Д.~Таймановым. \medskip\noindent Constructions ``by finite'' // Proc. 5th Intern. Congr. on Logic, Found. Math., Comput. Theory, London/Ontario, 1975. --- London, 1977. --- Pt.~1. --- P.~3--9. \medskip\noindent The model $C$ of the partial continuous functionals // Proc. of the Logic Colloq., Oxford, 1976. --- Amsterdam etc., 1977. --- P.~455--467. \medskip\noindent Theorie der Numerierungen. III // Z. Math. Logik Grundlag. Math. --- 1977. --- Bd.~23, No.~4. --- S.~289--371. \medskip\noindent То же: Статья опубликована отдельным изданием. \medskip\noindent Ред.: Кейслер~Г., Чэн~Ч.~Ч. Теория моделей: Пер. с англ. --- М.: Мир, 1977. --- 614~с. \bigskip \centerline{\bbf 1978} \nobreak \bigskip \noindent Нормирование тел и группа $SK_1$ // Докл. АН СССР. --- 1978. --- Т.~239, \No~4. --- C.~768--771. \medskip\noindent То же на англ. яз.: Valuations of division rings and the group $SK_1$ // Soviet Math. Dokl. --- 1978. --- Vol.~19. --- P.~395--399. \medskip\noindent Об алгебраически компактных группах. I // Алгебра и логика. --- 1978. --- T.~17, \No~6. --- C.~684--692. \medskip\noindent То же на англ. яз.: Algebraically compact groups. I // Algebra Logic. --- 1978. --- Vol.~17. --- P.~444--449. \medskip\noindent Четырнадцатая Всесоюзная алгебраическая конференция // Успехи мат. наук. --- 1978. --- Т.~33, вып.~1. --- C.~239--244. --- Совместно с Ю.~И.~Мерзляковым. \medskip\noindent Алгоритмические проблемы математической логики // За науку в Сибири. --- 1978. --- \No~35. \medskip\noindent Novosibirskая школа в области алгебры и математической логики // За науку в Сибири. --- 1978. --- \No~48. --- Совместно с А.~Ширшовым. \bigskip \centerline{\bbf 1979} \nobreak \bigskip \noindent Математическая логика: Учеб. пособие. --- M.: Nauka, 1979. --- 320~c. --- Совместно с Е.~А.~Палютиным. \medskip\noindent То же на англ. яз.: Mathematical Logic. --- Moscow: Mir, 1984. --- 303~p. --- With E.A.~Palyutin. \medskip\noindent Дистрибутивные решетки с относительными дополнениями // Алгебра и логика. --- 1979. --- T.~18, \No~6. --- C.~680--722. \medskip\noindent То же на англ. яз.: Relatively complemented distributive lattices // Algebra Logic. --- 1980. --- Vol.~18. --- P.~431--459. \medskip\noindent Некоторые вопросы применения формализованных языков для исследования философских проблем // Методологические проблемы математики. --- Novosibirsk, 1979. --- С.~83--88. \medskip\noindent Об алгебраически компактных группах. II // Алгебра и логика. --- 1979. --- T.~18, \No~4. --- C.~408--414. \medskip\noindent То же на англ. яз.: Algebraically compact groups. II // Algebra Logic. --- 1980. --- Vol.~18. --- P.~247--251. \medskip\noindent Ред.: Пятая Всесоюз. конф. по мат. логике, посвящ. 70-летию акад. А.~И.~Мальцева, Novosibirsk, 27--29 нояб. 1979~г.: Тез. докл. --- Novosibirsk, 1979. --- 172~с. \bigskip \centerline{\bbf 1980} \nobreak \bigskip \noindent Проблемы разрешимости и конструктивные модели. --- M.: Nauka, 1980. --- 415~c. --- (Мат. логика и основания математики). \medskip\noindent Как алгебра помогает решать проблемы из теории алгоритмов // Алгоритм в современной математике и ее приложениях: Ургенч. симпоз.: Оператив.-информ. материал. --- Novosibirsk, 1980. --- С.~30. \medskip\noindent Кратно нормированные поля // Докл.~АН СССР. --- 1980. --- T.~253, \No~2. --- C.~274--276. \medskip\noindent То же на англ. яз.: Multiply valued fields // Soviet Math. Dokl. --- 1980. --- Vol.~22. --- P.~63--66. \medskip\noindent О проконечных группах // Алгебра и логика. --- 1980. --- T.~19, \No~5. --- C.~552--565. \medskip\noindent То же на англ. яз.: Profinite groups // Algebra Logic. --- 1981. --- Vol.~19. --- P.~357--366. \medskip\noindent Регулярно замкнутые поля // Докл. АН СССР. --- 1980. --- T.~251, \No~4. --- C.~783--785. \medskip\noindent То же на англ. яз.: Regularly closed fields // Soviet Math. Dokl. --- 1980. --- Vol.~21. --- P.~510--512. \medskip\noindent Frattini covers and projective groups without the extension property // Math. Ann. --- 1980. --- Bd.~253, Hf.~3. --- S.~233--239. --- With M.~Fried. \medskip\noindent Алгоритм как математическое понятие // За науку в Сибири. --- 1980. --- 27 марта. \medskip\noindent Соотношение традиций и новаторства в развитии научных школ в математике: Излож. докл. на науч. конф. <<Преемственность поколений в науке>> // За науку в Сибири. --- 1980. --- 3~апр. \bigskip \centerline{\bbf 1981} \nobreak \bigskip \noindent Алгебраические свойства регулярно замкнутых полей // Тр. Мат.~ин-та АН СССР им.~В.~А.~Стеклова. --- 1981. --- T.~158. --- C.~80--86. \medskip\noindent То же на англ. яз.: Algebraic properties of regularly closed fields // Proc. Steklov Inst. Math. --- 1983. --- Vol.~158. --- P.~85--91. \medskip\noindent Неразрешимость регулярно замкнутых полей // Алгебра и логика. --- 1981. --- T.~20, \No~4. --- C.~389--394. \medskip\noindent То же на англ. яз.: Undecidability of regularly closed fields // Algebra Logic. --- 1982. --- Vol.~20. --- P.~257--260. \medskip\noindent Об элементарных теориях регулярно замкнутых полей //Докл. АН~СССР.\,---\,1981.\,---\,T.~257, \No~2.\,---\,C.~271--274. \medskip\noindent То же на англ. яз.: On elementary theories of regularly closed fields // Soviet Math. Dokl. --- 1981. --- Vol.~23. --- P.~259--262. \medskip\noindent Памяти Анатолия Илларионовича Ширшова // Успехи мат. наук. --- 1981. --- Т.~36, \No~5. --- С.~153--158. --- Совместно с Л.~А.~Бокутем, А.~Н.~Колмогоровым, А.~И.~Кострикиным, Е.~Н.~Кузьминым, В.~Н.~Латышевым, С.~Л.~Соболевым, И.~П.~Шестаковым. \medskip\noindent То же на англ. яз.: In memory of Anatolii Illarionovich Shirshov // Russian Math. Surveys. --- 1981. --- Vol.~36, No.~5. --- P.~129--133. --- With L.A.~Bokut, A.N.~Kolmogorov, A.I.~Kostrikin, E.N.~Kuzmin, V.N.~Latyshev, S.L.~Sobolev, and I.P.~Shestakov. \medskip\noindent Анатолий Илларионович Ширшов: [Hекролог] // Математика в школе. --- 1981. --- \No~3. --- С.~80. --- Совместно с С.~Л.~Соболевым и др. \medskip\noindent Элиминируемость кванторов в регулярно замкнутых полях // Докл.~АН СССР. --- 1981. --- T.~258, \No~1. --- C.~16--20. \medskip\noindent То же на англ. яз.: Eliminability of quantifiers in regularly closed fields // Soviet Math. Dokl. --- 1981. --- Vol.~23. --- P.~463--467. \medskip\noindent How does algebra help to solve problems from the theory of algorithms (an example) // Algorithms in Modern Mathematics and Computer Science, LNCS No.~122, eds.~A.P.~Ershov, D.E.~Knuth. --- Berlin, 1981. --- P.~462--463. \bigskip \centerline{\bbf 1982} \nobreak \bigskip \noindent Две теоремы о регулярно $r$-замкнутых полях. --- Novosibirsk, 1982. --- 29~c. --- (Препр. / Ин-т математики СО АН СССР; \No~10). \medskip\noindent Абсолютная неприводимость и свойства гензелизаций //Алгебра и логика.\,---\,1982.\,---\,T.~21, \No~5. --- C.~530--536. \medskip\noindent То же на англ. яз.: Absolute irreducibility and properties of henselizations // Algebra Logic. --- 1983. --- Vol.~21. --- P.~353--357. \medskip\noindent Алгоритмические проблемы в теории полей (положительные аспекты) // Справочная книга по математической логике. --- М., 1982. --- Ч.~3: Теория рекурсий. --- С.~269--353. \medskip\noindent Вполне вещественные расширения полей // Докл. АН СССР. --- 1982. --- T.~263, \No~5. --- C.~1047--1049. \medskip\noindent То же на англ. яз.: Totally real field extensions // Soviet Math. Dokl. --- 1982. --- Vol.~25. --- P.~477--480. \medskip\noindent Гензелевы нормирования тел и группа $SK_1$ // Mat. Sb. --- 1982. --- T.~117, \No~1. --- C.~60--68. \medskip\noindent То же на англ. яз.: Henselian valuations of division rings and the group $SK_1$ // Math. USSR--Sb. --- 1982. --- Vol.~45. --- P.~63--71. \medskip\noindent Кратно нормированные поля // Успехи мат. наук. --- 1982. --- Т.~37, вып.~3. --- C.~55--93. \medskip\noindent То же на англ. яз.: Multiply valued fields // Russian Math. Surveys. --- 1982. --- Vol.~37, No.~3. --- P.~63--107. \medskip\noindent Нормирования тел // 5-й Всесоюз. симпоз. по теории колец, алгебр и модулей: Тез. докл. --- Novosibirsk. --- 1982. --- C.~53--55. \medskip\noindent $\omega$-полные $A$-пространства // Кибернетика. --- 1982. --- \No~6. --- C.~6--10. \medskip\noindent То же на англ. яз.: $\omega$-Complete $A$-spaces // Cybernetics. --- 1983. --- Vol.~18. --- P.~701--705. \medskip\noindent Регулярно $r$-замкнутые поля // Докл. АН СССР. --- 1982. --- Т.~266, \No~3. --- C.~538--540. \medskip\noindent То же на англ. яз.: Regularly $r$-closed fields // Soviet Math. Dokl. --- 1982. --- Vol.~26. --- P.~363--366. \medskip\noindent Ред.: Cправочная книга по математической логике: Пер. с англ. --- М., 1982. --- Ч.~1. --- 391~c.; Ч.~3. --- 359~c. --- Ч.~1 cовместно с Е.~А.~Палютиным, А.~Д.~Таймановым. \medskip\noindent Cибирь под интегралом: Четверть века Сибирскому отделению АН СССР // Cов. Россия. --- 1982. --- 18 мая. \bigskip \centerline{\bbf 1983} \nobreak \bigskip \noindent Динамическая логика над допустимыми множествами // Докл. АН СССР. --- 1983. --- Т.~273, \No~5. --- C.~1045--1048. \medskip\noindent То же на англ. яз.: Dynamic logic over admissible sets // Soviet Math. Dokl. --- 1983. --- Vol.~28. --- P.~739--742. \medskip\noindent Инволюторные группы // Алгебра и логика. --- 1983. --- T.~22, \No~3. --- C.~260--275. \medskip\noindent То же на англ. яз.: Involutory groups // Algebra Logic. --- 1984. --- Vol.~22, No.~3. --- P.~185--196. \medskip\noindent Принцип $\Sigma$-перечисления // Докл. АН СССР. --- 1983. --- Т.~270, \No~4. --- C.~786--788. \medskip\noindent То же на англ. яз.: The principle of $\Sigma$-enumeration // Soviet Math. Dokl. --- 1983. --- Vol.~27. --- P.~670--672. \medskip\noindent Регулярно $r$-замкнутые поля // Алгебра и логика. --- 1983. --- T.~22, \No~4. --- C.~382--402. \medskip\noindent То же на англ. яз.: Regularly $r$-closed fields // Algebra Logic. --- 1984. --- Vol.~22, No.~4. --- P.~277--291. \medskip\noindent В гостях у школьников ФМШ // Nauka в Сибири. --- 1983. --- 24~марта. \bigskip \centerline{\bbf 1984} \nobreak \bigskip \noindent Логика, основания математики и лингвистики // Вопр. философии. --- 1984. --- \No~1. --- C.~45--58. --- Совместно с И.~А.~Лавровым, Р.~Павиленисом, В.~В.~Петровым. \medskip\noindent О группах Галуа максимальных 2-расширений // Мат. заметки. --- 1984. --- T.~36, вып.~6. --- C.~913--924. \medskip\noindent То же на англ. яз.: Galois groups of maximal 2-extensions // Math. Notes. --- 1984. --- Vol.~36. --- P.~956--961. \medskip\noindent О новом подходе к философии математики // Вычисл. системы. --- 1984. --- Bып.~101. --- С.~141--148. --- Совместно с К.~Ф.~Самохваловым. \medskip\noindent Регулярно $r$-замкнутые поля со слабоуниверсальными группами Галуа // Алгебра и логика. --- 1984. --- T.~23, \No~6. --- C.~637--669. \medskip\noindent То же на англ. яз.: Regularly $r$-closed fields with weakly universal Galois groups // Algebra Logic. --- 1984. --- Vol.~23, No.~6. --- P.~426--449. \medskip\noindent Сильная неотделимость и $k$-наследственность // Докл. Болг. Акад. наук. --- 1984. --- Т.~37, \No~9. --- P.~1139--1142. \medskip\noindent Two theorems on regularly $r$-closed fields //J.~Reine Angew. Math. --- 1984. --- Bd.~347. --- S.~154--166. \bigskip \centerline{\bbf 1985} \nobreak \bigskip \noindent $\Sigma$-определимость в допустимых множествах // Докл. АН СССР. --- 1985. --- T.~285, \No~4. --- C.~792--795. \medskip\noindent То же на англ. яз.: $\Sigma$-definability in admissible sets // Soviet Math. Dokl. --- 1985. --- Vol.~32. --- P.~767--770. %Ершов~Ю.~Л. %$\Sigma$-определимость в допустимых множествах \medskip\noindent $\Sigma$-предикаты конечных типов над допустимым множеством // Алгебра и логика. --- 1985. --- T.~24, \No~5. --- C.~499--536. \medskip\noindent То же на англ. яз.: $\Sigma$-predicates of finite types over an admissible set // Algebra Logic. --- 1985. --- Vol.~24, No.~5. --- P.~327--351. \medskip\noindent Реализуемые $i$-группы // Некоторые проблемы и задачи анализа и алгебры. --- Novosibirsk, 1985. --- C.~46--60. \medskip\noindent Элементарная теория // Математическая энциклопедия. --- М., 1985. --- Т.~5. --- С.~972--973. --- Совместно с М.~А.~Тайцлиным. \medskip\noindent Роль фундаментальных знаний // Nauka и жизнь. --- 1985. --- \No~12. --- C.~4. \bigskip \centerline{\bbf 1986} \nobreak \bigskip \noindent $\Sigma$-допустимые множества // Вычисл. системы. --- 1986. --- Вып.~114. --- C.~35--39. \medskip\noindent Об $f_A$-пространствах // Алгебра и логика. --- 1986. --- T.~25, \No~5. --- С.~533--543. \medskip\noindent То же на англ. яз.: $f_A$-Spaces // Algebra Logic. --- 1986. --- Vol.~25, No.~5. --- P.~336--343. \medskip\noindent Об отображении ограничения пространств порядков полей // Сиб. мат. журн. --- 1986. --- Т.~27, \No~2. --- C.~47--54. \medskip\noindent То же на англ. яз.: Restriction map of spaces of orderings of fields // Siberian Math.~J. --- 1986. --- Vol.~27, No.~2. --- P.~181--187. \medskip\noindent Язык $\Sigma$-выражений // Вычисл. системы. --- 1986. --- Вып.~114. --- C.~3--10. \medskip\noindent Semantic programming // Seminarber., Humboldt- University Berlin, Sekt. Math. --- Berlin, 1986. --- No.~86. --- S.~35--55. --- With S.S.~Goncharov and D.I.~Sviridenko. \medskip\noindent Semantic programming // Information Processing: Proc. IFIP 10th World Comput. Congr. Ser.~10. --- Amsterdam, 1986. --- P.~1113--1120. --- With S.S.~Goncharov and D.I.~Sviridenko. \medskip\noindent Ред.: Логическая тетрадь: Нереш. вопр. мат. логики (Oператив. информ. материал/Ин-т математики СО АН СССР.) --- Novosibirsk, 1986. --- 41~с. --- Совместно с С.~С.~Гончаровым. \medskip\noindent Заповедь студента --- увлеченность наукой // Nauka в Сибири. --- 1986. --- 6 марта. \bigskip \centerline{\bbf 1987} \nobreak \bigskip \noindent Математическая логика: 2-е изд., испр. и доп.: Учеб. пособие. --- М.: Nauka, 1987. --- 336~с. --- Совместно с Е.~А.~Палютиным. \medskip\noindent То же на исп. яз.: Logica Matematiсa. --- Moscu: Mir, 1990. --- 227~p. --- With E.A.~Palyutin. \medskip\noindent Методологические аспекты семантического программирования // Научное знание: логика, понятия, структура. --- Novosibirsk, 1987. --- C.~154--184. --- Совместно с С.~С.~Гончаровым, Д.~И.~Свириденко. \medskip\noindent О новом подходе к методологии математики // Закономерности развития современной математики: Методологич. аспекты. --- М., 1987. --- С.~85--105. --- Совместно с К.~Ф.~Самохваловым. \medskip\noindent О порождаемости допустимых множеств // Алгебра и логика. --- 1987. --- T.~26, \No~5. --- C.~577--597. \medskip\noindent То же на англ. яз.: Generatability of admissible sets // Algebra Logic. --- 1987. --- Vol.~26, No.~5. --- P.~346--361. \medskip\noindent Semantic foundations of programming // Fundamentals of Computation Theory: Proc. of the Intern. Conf. FCT 87, Kazan, LNCS No.~278. --- Berlin etc., 1987. --- P.~116--122. --- With S.S.~Goncharov and D.I.~Sviridenko. \medskip\noindent Ускорение и наука в Сибири: беседа за круглым столом // Коммунист. --- 1987. --- \No~17. --- С.~65--66. \medskip\noindent Множество кандидатов еще не исключает формализма: [O выборах] // Nauka в Сибири. --- 1987. --- 18 июня. \bigskip \centerline{\bbf 1988} \nobreak \bigskip \noindent Абелева группа // Математический энцикл. словарь. --- М., 1988. --- C.~39--40. \medskip\noindent Естественный параллелизм семантических программ // Формальные модели параллельных вычислений. --- Novosibirsk, 1988. --- C.~6--19. --- Совместно с С.~С.~Гончаровым, Д.~И.~Свириденко. \medskip\noindent Инвариантная порождаемость // Сиб. мат. журн. --- 1988. --- T.~29, \No~5. --- C.~109--111. \medskip\noindent То же на англ. яз.: Invariant generation//Siberian Math.~J. --- 1988. --- Vol.~29, No.~5. --- P.~775--777. \medskip\noindent Когензелевы расширения и гензелизация тел // Алгебра и логика. --- 1988. --- T.~27, \No~6. --- C.~649--658. \medskip\noindent То же на англ. яз.: Co-Henselian extensions and Henselizations of skew fields // Algebra Logic. --- 1988. --- Vol.~27, No.~6. --- P.~401--407. \medskip\noindent Черников Сергей Николаевич: [Некролог] // Успехи мат. наук. --- 1988. --- Т.~43,~вып.~2. --- С.~125--126. --- Совместно с Д.~И.~Зайцевым, А.~И.~Кострикиным, Н.~Н.~Красовским, Ю.~А.~Митропольским, В.~П.~Платоновым, Д.~К. Фаддеевым, Л.~А.~Шеметковым. \medskip\noindent Sergei Nikolaevich Chernikov: Obituary // Russian Math. Surveys. --- 1988. --- Vol.~43, No.~2. --- P.~153--155. --- With D. I. Zai tsev, A.I.~Kostrikin, N.N.~Krasovskii, Yu.A.~Mitropolskii, V.P.~Platonov, D.\,K.\,Faddeev, and L.\,A.\,Shemetkov. \medskip\noindent Ред.: Гончаров С.~С. Счетные булевы алгебры. --- Novosibirsk: Nauka, 1988. --- 176~с. \medskip\noindent Ред.: Теория моделей и ее применение. --- Novosibirsk: Nauka, 1988. --- 185~с. --- (Тр. Ин-та математики СО АН СССР; Т.~8). \medskip\noindent Наши университеты: Круглый стол // Лит. газ. --- 1988. --- 23~марта. \medskip\noindent Энергичнее идти навстречу друг другу: [Об обмене студентами] // Соц.~индустрия. --- 1988. --- 31 мая. \bigskip \centerline{\bbf 1989} \nobreak \bigskip \noindent Любое семейство подмножеств праэлементов порождает допустимое множество // Сиб. мат. журн. --- 1989. --- T.~30, \No~6. --- C.~65--67. \medskip\noindent То же на англ. яз.: Each family of subsets of the urelements generates an admissible set // Siberian Math.~J. --- 1989.--- Vol.~30, No.~6. --- P.~883--885. \medskip\noindent К восьмидесятилетию выдающегося советского математика А.~И.~Мальцева // Алгебра и логика. --- 1989. --- Т.~28, \No~6. --- C.~615--618. --- Совместно с А.~Т.~Гайновым, С.~С.~Гончаровым и др. \medskip\noindent О вопросе Ярдина --- Шелаха // Алгебра и логика. --- 1989. --- T.~28, \No~6. --- C.~640--642. \medskip\noindent То же на англ. яз.: A question of Jarden and Shelah // Algebra Logic. --- 1989. --- Vol.~28, No.~6. --- P.~419--420. \medskip\noindent Сибирская школа <<Алгебра и анализ>> // Успехи мат. наук. --- 1989. --- Т.~44, вып.~2. --- С.~247--248. --- Совместно с А.~Д.~Александровым, О.~В.~Белеградеком, Л.~А.~Бокутем. \medskip\noindent $RRC$-Fields with small absolute Galois groups // Ann. Pure Appl. Logic. --- 1989. --- Vol.~43, No.~3. --- P.~197--208. \medskip\noindent Ред.: Математическая логика и алгоритмические проблемы. --- Novosibirsk: Nauka, 1989. --- 192~с. --- (Тр. Ин-та математики СО АН СССР; T.~12). \medskip\noindent НГУ: не пора ли бить тревогу? --- Ректор НГУ: <> кричать рано, но пристальный анализ, конечно, нужен // Унив. жизнь. --- 1989. --- 22~февр. \medskip\noindent Школа: Дочь или падчерица государства // Nauka в Сибири. --- 1989. --- 27 янв. \bigskip \centerline{\bbf 1990} \nobreak \bigskip \noindent О некоторых тенденциях развития математической логики и ее приложения // Cиб. мат. об-во: Бюл. --- Novosibirsk. --- 1990. --- Вып.~1. --- С.~6--14. --- Совместно с С.~С.~Гончаровым, Д.~И.~Свириденко. \medskip\noindent Тайманов Асан Дабсович: [Некролог] // Успехи мат. наук. --- 1990. --- Т.~45, вып.~5. --- С.~171--174. --- Совместно с С.~С.~Гончаровым, М.~М.~Лаврентьевым, Л.~Л.~Максимовой, Т.~Г.~Мустафиным, С.~П.~Новиковым, Е.~А.~Палютиным, М.~Г.~Перетятькиным, Ю.~Г.~Решетняком, Д.~М.~Смирновым. \medskip\noindent То же на англ. яз.: Asan Dabsovich Taimanov: Obituary // Russian Math. Surveys. --- 1990. --- Vol.~45, No.~5. --- P.~213--215. --- With S.S.~Goncharov, M.M.~Lavrentev, L.L.~Maksimova, T.G.~Mustafin, S.P.~Novikov, E.A.~Palyutin, M.G.~Peretyatkin, Yu.G.~Reshetnyak, and D.M. Smirnov. \medskip\noindent Форсинг в допустимых множествах // Алгебра и логика. --- 1990. --- T.~29, \No~6. --- C.~648--658. \medskip\noindent То же на англ. яз.: Forcing in admissible sets // Algebra Logic. --- 1990. --- Vol.~29, No.~6. --- P.~424--430. \medskip\noindent Возвращаясь к надеждам Гильберта // Nauka в Сибири. --- 1990. --- \No~14--15. \bigskip \centerline{\bbf 1991} \nobreak \bigskip \noindent Проективные $\Gamma$-группы // Докл. АН СССР. --- 1991. --- T.~318, \No~4. --- C.~798--801. \medskip\noindent То же на англ. яз.: Projective $\Gamma$-groups // Soviet Math. Dokl. --- 1991. --- Vol.~43, No.~3. --- P.~762--766. \medskip\noindent Проективные произведения проконечных групп // Алгебра и логика. --- 1991. --- T.~30, \No~6. --- C.~638--651. \medskip\noindent То же на англ. яз.: Projective products of profinite groups // Algebra Logic. --- 1991. --- Vol.~30, No.~6. --- P.~417--426. \medskip\noindent Характеризация колец Кочена $PC_M$-полей // Докл. АН СССР. --- 1991. --- T.~316, \No~1. --- C.~33--36. \medskip\noindent То же на англ. яз.: Characterization of Kochen rings of $PC_M$-fields // Soviet Math. Dokl. --- 1991. --- Vol.~43, No.~1. --- P.~26--29. \medskip\noindent $PC_p$-Fields with universal Galois group // Siberian Adv. Math. --- 1991. --- Vol.~1, No.~4. --- P.~1--26. \medskip\noindent Ред.: Каргаполов~М.~И. Группы: Избр. тр. --- Novosibirsk: Nauka. Сиб. отд-ние. --- 1991. --- 204~c. \medskip\noindent Ed.: Algebra and Analysis: Proc. of the First Siberian Winter School, Kemerovo, 1988. --- Providence: Amer. Math. Soc., 1991. --- 112~p. --- (AMS Transl. Ser.~2; Soviet Region. Conf; 148). --- With A.D.~Aleksandrov, O.V.~Belegradek, and L.A.~Bokut. \medskip\noindent О наболевшем: [Об отъезде ученых за границу] // Nauka в Сибири. --- 1991. --- \No~11. \bigskip \centerline{\bbf 1992} \nobreak \bigskip \noindent Булевы семейства колец нормирований // Алгебра и логика. --- 1992. --- T.~31, \No~3. --- C.~276--296. \medskip\noindent То же на англ. яз.: Boolean families of valuation rings // Algebra Logic. --- 1992. --- Vol.~31, No.~3. --- P.~170--181. \medskip\noindent Всякая проективная $C_2$-группа реализуема // Алгебра и логика. --- 1992. --- T.~31, \No~2. --- C.~119--131. \medskip\noindent То же на англ. яз.: Every projective $C_2$-group is realizable // Algebra Logic. --- 1992. --- Vol.~31, No.~2.\,---\,P.~74--80. \medskip\noindent Относительная регулярная замкнутость и $\pi$-нормирования // Алгебра и логика. --- 1992. --- T.~31, \No~6. --- C.~592--623. \medskip\noindent То же на англ. яз.: Relative regular closedness and $\pi$-valuations // Algebra Logic. --- 1992. --- Vol.~31, No.~6. --- P.~342--360. \medskip\noindent Introduction // Proceedings of the Intern. Conf. on Algebra: Dedicated to the Memory of A.I.~Malcev. --- Providence: Amer. Math. Soc., 1992. --- Pt.~1. --- P.~xix--xxi. --- With L.~Bokut and A.I.~Kostrikin. \medskip\noindent Ред.: Межреспубликанская конференция по математической логике, 11-я: Тез. сообщ. --- Казань, Казанск. гос. унив., 6--8 окт. 1992 г. --- 1992. --- 164~c. \medskip\noindent Ed.: Proceedings of the International Conference on Algebra: Dedicated to the Memory of A.I.~Malcev: Vol.~1--3. --- Providence: Amer. Math. Soc., 1992. --- (Contemporary Math.; Vol.~131, Pt.~1--3). --- With L.A.~Bokut and A.I.~Kostrikin. \bigskip \centerline{\bbf 1993} \nobreak \bigskip \noindent Булевы семейства колец нормирований. II // Алгебра и логика. --- 1993. --- T.~32, \No~3. --- C.~261--266. \medskip\noindent То же на англ. яз.: Boolean families of valuation rings. II // Algebra Logic. --- 1993. --- Vol.~32, No.~3. --- P.~139--142. \medskip\noindent К теореме Спектора --- Ганди для $\Sigma$-допустимых множеств // Вычисл. системы. --- Novosibirsk, 1993. --- Вып.~148. --- С.~3--8. \medskip\noindent Максимальные $RC_{\pi}$-поля // Алгебра и логика. --- 1993. --- T.~32, \No~5. --- C.~497--518. \medskip\noindent То же на англ. яз.: Maximal $RC_{\pi}$-fields // Algebra Logic. --- 1993. --- Vol.~32, No.~5. --- P.~267--278. \medskip\noindent От редактора // Хобби~Д., Маккензи~Р. Строение конечных алгебр: Пер. с англ. --- М., 1993. --- С.~5--6. --- Совместно с В.~А. Горбуновым. \medskip\noindent Oтносительно регулярно замкнутые поля // Докл. РАН. --- 1993. --- T.~332, \No~3. --- C.~286--288. \medskip\noindent То же на англ. яз.: Relatively regularly closed fields // Russian Acad. Sci. Dokl. Math. --- 1994. --- Vol.~48, No.~2. --- P.~300--303. \medskip\noindent Theory of domains and nearby // Formal Methods in Programming and Their Applications, LNCS, No.~735.---Berlin etc., 1993.---P.~1--7. \medskip\noindent Письмо в редакцию // Алгебра и логика. --- 1993. --- Т.~32, \No~2. --- C.~222--223. \medskip\noindent То же на англ. яз.: Letter to the editors: Forcing in admissible sets // Algebra Logic. --- 1993. --- Vol.~32, No.~2. --- P.~121--122. \medskip\noindent Теорема Левенгейма --- Скулема --- Мальцева для определимых моделей // Вычисл. системы. --- Novosibirsk, 1993. --- Вып.~148. --- C.~9--17. \medskip\noindent Элементарные регулярные кольца // Алгебра и логика. --- 1993. --- T.~32, \No~4. --- C.~387--401. \medskip\noindent То же на англ. яз.: Elementary regular rings // Algebra Logic. --- 1993. --- Vol.~32, No.~4. --- P.~206--214. \medskip\noindent \bigskip \centerline{\bbf 1994} \nobreak \bigskip \noindent Введение в логику и методологию науки. --- М.: Интерпракс; Novosibirsk: Ин-т математики СО РАН, 1994. --- 256~с. --- Совместно с С.~С.~Гончаровым, К.~Ф.~Самохваловым. \medskip\noindent О группах Галуа $RC_\zeta^*$-полей // Докл. РАН. --- 1994. --- T.~334, \No~3. --- C.~275--277. \medskip\noindent То же на англ. яз.: On the Galois groups of $RC_\zeta^*$-fields// Russian Acad. Sci. Dokl. Math. --- 1994. --- Vol.~49, No.~1. --- P.~79--82. \medskip\noindent $RC^*$-поля // Алгебра и логика. --- 1994. --- T.~33, \No~4. --- C.~367--386. \medskip\noindent То же на англ. яз.: $RC\sp\ast$-Fields // Algebra Logic. --- 1994. --- Vol.~33, No.~4. --- P.~205--215. \medskip\noindent Поля с непрерывными локальными элементарными свойствами. I // Алгебра и логика. --- 1994. --- T.~33, \No~6. --- C.~628--653. \medskip\noindent То же на англ. яз.: Fields with continuous local elementary properties. I // Algebra Logic. --- 1994. --- Vol.~33, No.~6. --- P.~351--365. \medskip\noindent Разрешимость теории класса полей $\goth{F}\sp f \sb *$ // Докл. РАН. --- 1994. --- T.~336, \No~6. --- C.~733--736. \medskip\noindent То же на англ. яз.: Decidability of the theory of the class of fields $\goth{F}\sp f \sb *$ // Russian Acad. Sci. Dokl. Math. --- 1994. --- Vol.~49, No.~3. --- P.~582--586. \medskip\noindent Теоретико-модельные свойства $RC\sp *$-полей //Докл. РАН. --- 1994. --- T.~335, \No~2. --- C.~138--141. \medskip\noindent То же на англ. яз.: Model-theoretic properties of $RC\sp *$-fields // Russian Acad. Sci. Dokl. Math. --- 1994. --- Vol.~49, No.~2. --- P.~255--259. \medskip\noindent Sigma-definability in $HF(L)$ // Abstracts of Papers NSL'94, Kanazawa, Japan. --- 1994. --- P.~47. \bigskip \centerline{\bbf 1995} \nobreak \bigskip \noindent $\Sigma$-определимость и теорема Г\"{е}деля о неполноте: Учеб. пособие. --- Novosibirsk: Научная книга, 1995. --- 75~с. \medskip\noindent The bounded-complete hull of an $\alpha$-space. --- Darmstadt, 1995. --- 10~p. --- (Prepr./Techn. Hochschule Darmstadt; No.~1722). \medskip\noindent Определимость в наследственно конечных надстройках // Докл. РАН. --- 1995. --- T.~340, \No~1. --- C.~12--14. \medskip\noindent То же на англ. яз.: Definability in hereditarily finite manifolds // Russian Acad. Sci. Dokl. Math. --- 1995. --- Vol.~51, No.~1. --- P.~8--10. \medskip\noindent Поля с непрерывными локальными элементарными свойствами. II // Алгебра и логика. --- 1995. --- T.~34, \No~3. --- C.~262--273. \medskip\noindent То же на англ. яз.: Fields with continuous local elementary properties. II // Algebra Logic. --- 1995. --- Vol.~34, No.~3. --- P.~140--146. \medskip\noindent Хорошие локально-глобальные поля // Докл. РАН. --- 1995. --- T.~343, \No~6. --- C.~731--733. \medskip\noindent То же на англ. яз.: Good locally global fields // Russian Acad. Sci. Dokl. Math. --- 1995. --- Vol.~52, No.~1. --- P.~98--100. \medskip\noindent Model theory of nice global fields // 10th Intern. Cong. of Logic, Methodology and Philosophy of Science: Abstracts. --- Florence, 1995. --- P.~72. \medskip\noindent Interaction of education and science in SB RAS and international collaboration in education and training of junior scientists // Science Policy: New Mechanisms Scientific Collaboration between East and West. --- Kluwer, 1995. --- P.~247--250. \bigskip \centerline{\bbf 1996} \nobreak \bigskip\noindent Определимость и вычислимость. --- Novosibirsk: Научная книга, 1996. --- 300 с. --- (Сибирская школа алгебры и логики). \medskip\noindent То же на англ. яз.: Definability and Computability. --- New York: Kluwer Academic/Consultants Bureau, 1996. --- xiv+264~р. --- (Siberian School of Algebra Logic). \medskip\noindent Выступление на закрытии II Международного конгресса ЮНЕСКО <<Образование и информатика>> // Образование и информатика. --- 1996. --- \No~5. --- C.~33--34. \medskip\noindent Theory of Numberings. --- Novosibirsk. --- 1996. --- 38~c. --- (Препр./НИИ МИОО НГУ; \No~18). \medskip\noindent Свободные $\Delta^*$-группы // Алгебра и логика. --- 1996. --- T.~35, \No~2. --- C.~154--172. \medskip\noindent То же на англ. яз.: Free $\Delta^*$-groups // Algebra Logic. --- 1996. --- Vol.~35, No.~2. --- P.~86--95. \medskip\noindent Projectivity of absolute Galois groups of $RC^*_\zeta$-fields // Algebra: Proc. 3rd Intern. Сonf., Krasnoyarsk, 1993. --- Berlin etc., 1996. --- P.~63--80. \medskip\noindent Хорошие локально-глобальные поля. I // Алгебра и логика. --- 1996. --- T.~35, \No~4. --- C.~411--423. \medskip\noindent То же на англ. яз.: Nice local-global fields. I // Algebra Logic. --- 1996. --- Vol.~35, No.~4. --- C.~229--235. \medskip\noindent Хорошие локально-глобальные поля. II // Алгебра и логика. --- 1996. --- T.~35, \No~5. --- C.~503--528. \medskip\noindent То же на англ. яз.: Nice local-global fields. II // Algebra Logic. --- 1996. --- Vol.~35, No.~5. --- C.~281--295. \medskip\noindent Ред.: Вопросы алгебры и логики. --- Novosibirsk: Изд-во Ин-та математики им.~С.~Л.~Соболева СО РАН, 1996. --- 192~c. --- (Тр. Ин-та математики им. С.~Л.~Соболева СО РАН; T.~30). --- Совместно с В.~Д.~Мазуровым. \medskip\noindent Ed.: Algebra: Proc. of the 3rd Intern. Conf. on Algebra, Krasnoyarsk, 1993. --- Berlin and New York: de Gruyter, 1996. --- 306~p.\,---\,With E.\,Khukhro, V.\,Levchuk, and N.\,Podufalov. \bigskip \centerline{\bbf 1997} \nobreak \bigskip \noindent О $d$-пространствах --- Novosibirsk, 1997. --- 18~c. --- (Препр./НИИ МИОО НГУ; \No~30). \medskip\noindent К сорокалетию Сибирского отделения Академии наук // Сиб. мат. журн. --- 1997. --- Т.~38, \No~3. --- C.~483--484. --- Совместно с М.~М.~Лаврентьевым, В.~Л.~Бересневым, А.~А.~Боровковым, С.~С.~Кутателадзе, Ю.~Г.~Решетняком, В.~Г.~Романовым. \medskip\noindent О полулокальных полях // Докл. РАН. --- 1997. --- T.~353, \No~5. --- C.~596--598. \medskip\noindent То же на англ. яз.: On semilocal fields // Russian Acad. Sci. Dokl. Math. --- 1997. --- Vol.~55, No.~2. --- P.~246--247. \medskip\noindent О свободных произведениях абсолютных групп Галуа // Докл. PАН. --- 1997. --- T.~357, \No~5. --- C.~583--585. \medskip\noindent То же на англ. яз.: Free products of absolute Galois groups // Russian Acad. Sci. Dokl. Math. --- 1997. --- Vol.~56, No.~3. --- P.~915--917. \medskip\noindent Поля с непрерывными локальными элементарными свойствами. III // Алгебра и логика. --- 1997. --- T.~36, \No~6. --- C.~642--656. \medskip\noindent То же на англ. яз.: Fields with continuous local elementary properties. III // Algebra Logic. --- 1997. --- Vol.~36, No.~6. --- P.~370--377. \medskip\noindent Хорошие локально-глобальные поля. III // Сиб. мат. журн. --- 1997. --- T.~38, \No~3. --- C.~526--532. \medskip\noindent То же на англ. яз.: Nice local-global fields. III // Siberian Math.~J. --- 1997. --- Vol.~38, No.~3. --- C.~449--454. \medskip\noindent The bounded-complete hull of an $\alpha$-space // Theoret. Comput. Sci. --- 1997. --- Vol.~175, No.~3. --- P.~3--13. \bigskip \centerline{\bbf 1998} \nobreak \bigskip \noindent К теореме Куроша // Алгебра и логика. --- 1998. --- T.~37, \No~4. --- C.~381--393. \medskip\noindent То же на англ. яз.: On the Kurosh theorem // Algebra and Logic. --- 1998. --- T.~37, No.~4. --- C.~215--222. \medskip\noindent Cергей Львович Соболев: (1908--1989) //Сиб. мат. журн. --- 1998. --- Т.~39, \No~4. --- С.~723--729. --- Совместно с М.~М.~Лаврентьевым, В.~Л.~Бересневым, А.~А.~Боровковым, С.~С.~Кутателадзе, Ю.~Г.~Решетняком, В.~Г.~Романовым. \medskip\noindent Elementary theories and their constructive models // Handbook of Recursive Mathematics. --- Amsterdam: Elsevier, 1998. --- Vol.~1. --- P.~115--166. --- With S.S. Goncharov. \medskip\noindent $\Sigma$-definability of algebraic structures // Handbook of Recursive Mathematics. --- Amsterdam: Elsevier, 1998. --- Vol.~1. --- P.~235--260. \medskip\noindent Introduction to the Handbook of Recursive Mathematics // Handbook of Recursive Mathematics. --- Vol.~1--2. --- Amsterdam etc.: Elsevier, 1998. --- P.~vii--xlvi. --- With S.S. Goncharov, A.~Nerode, and J.B.~Remmel. \medskip\noindent Формирование региональной проблемно-ориентированной среды для информационной поддержки гуманитарных наук, образования и культуры // Информационные технологии в гуманитарных исследованиях. --- Novosibirsk, 1998. --- С.~5--11. --- Совместно с А.~П.~Деревянко, В.~С.~Диевым и др. \medskip\noindent Ed.: Handbook of Recursive Mathematics. --- Vol.~1--2. --- Amsterdam etc.: Elsevier, 1998. --- With S.S. Goncharov, A.~Nerode, and J.B.~Remmel. \bigskip \centerline{\bbf 1999} \nobreak \bigskip \noindent Конструктивные модели. --- Novosibirsk: Научная книга, 1999. --- 360~c. --- (Сибирская школа алгебры и логики). --- Совместно c С.~С.~Гончаровым. \medskip\noindent То же на англ. яз.: Constructive Models. --- New York etc.: Kluwer Academic/Plenum, 2000. --- 305 р. --- With S.S.~Goncharov. \medskip\noindent Сергей Константинович Годунов: (К 70-летию со дня рождения) // Сиб. мат. журн. --- 1999. --- Т.~40, \No~3. --- С.~483--484. --- Совместно с М.~М.~Лаврентьевым, В.~Л.~Бересневым, А.~А.~Боровковым, С.~С.~Кутателадзе, Ю.~Г.~Решетняком, В.~Г.~Романовым. \medskip\noindent О существенных расширениях $T_0$-пространств // Докл. РАН. --- 1999. --- T.~368, \No~3. --- C.~299--302. \medskip\noindent То же на англ. яз.: On essential extensions of $T_0$-spaces // Russian Acad. Sci. Dokl. Math. --- 1999. --- Vol.~60, No.~2. --- P.~184--187. \medskip\noindent Почти регулярно прюферовы кольца // Мат. тр. --- 1999. --- T.~2, \No~1. --- C.~72--120. \medskip\noindent То же на англ. яз.: Near regularly-Pr\"{u}fer rings // Siberian Adv. Math. --- 1999. --- Vol.~9, No.~1. --- P.~1--45. \medskip\noindent Равномерно малые $\Delta^*$-группы // Алгебра и логика. --- 1999. --- T.~38, \No~1. --- C.~24--39. \medskip\noindent То же на англ. яз.: Uniformly small $\Delta^*$-groups // Algebra and Logic. --- 1999. --- Vol.~38, No.~1. --- P.~12--20. \medskip\noindent On $d$-spaces // Theoret. Comput. Sci. --- 1999. --- Vol.~224, No.~1--2. --- P.~59--72. \medskip\noindent Theory of numberings // Handbook of Computability Theory. --- Amsterdam etc.: Elsevier, 1999. --- P.~473--503. \medskip\noindent The injective hull and the $bc$-hull of a~topological space // Novi Sad~J. Math. --- 1999. --- V.~29, No.~2. --- P.~1--6. \medskip\noindent $\Delta$-пространства // Алгебра и логика. --- 1999. --- T.~38, \No~6. --- C.~667--679. \medskip\noindent То же на англ. яз.: $\Delta$-Spaces // Algebra and Logic. --- 1999. --- Vol.~38, No.~6. --- P.~367--373. \medskip\noindent Ed.: Model Theory and Applications. --- Providence: Amer. Math. Soc., 1999. --- 346~p. \bigskip \centerline{\bbf 2000} \nobreak \bigskip \noindent Кратно нормированные поля. --- Novosibirsk: Научная книга, 2000. --- 330~c. \medskip\noindent То же на англ. яз.: Multi-Valued Fields // New York etc.: Kluwer Academic/Consultants Bureau, 2001. --- x+270~p. --- (Siberian School of Algebra Logic). \medskip\noindent Определимость и вычислимость: 2-е изд., испр. и доп. --- Novosibirsk: Научная книга; M.: OAO HПО <<Экономика>>, 2000. --- 318~c. \medskip\noindent Constructive Models. --- New York etc.: Kluwer Academic/ Consultants Bureau, 2000. --- 305~p. --- (Siberian School of Algebra Logic). --- With S.S.~Goncharov. \medskip\noindent То же на рус. яз.: Конструктивные модели. --- Novosibirsk: Научная книга, 1999. --- 360~c. --- (Сибирская школа алгебры и логики). --- Совместно с С.~С.~Гончаровым. \medskip\noindent Михаил Алексеевич Лаврентьев (К 100-летию со дня рождения) // Cиб. мат. журн. --- 2000. --- Т.~41, \No~5. --- C.~969--983. --- --- Совместно с М.~М.~Лаврентьевым, В.~Л.~Бересневым, А.~А.~Боровковым, С.~С.~Гончаровым, С.~С.~Кутателадзе, П.~И.~Плотниковым, Ю.~Г.~Решетняком, В.~Г.~Романовым. \medskip\noindent Об удивительных расширениях поля рациональных чисел // Докл. РАН. --- 2000. --- T.~373, \No~1. --- C.~15--16. \medskip\noindent То же на англ. яз.: On wonderful extensions of the field of rational numbers // Russian Acad. Sci. Dokl. Math. --- 2000. --- Vol.~62, No.~1. --- P.~12--13. \medskip\noindent Свойства решеток, сохраняющиеся при свободных произведениях // Алгебра и логика. --- 2000. --- T.~39, \No~1. --- C.~66--73. \medskip\noindent То же на англ. яз.: Lattice properties preserved under free products // Algebra Logic. --- 2000. --- Vol.~39, No.~1. --- P.~37--41. \medskip\noindent Sigma predicates of finite types // Electr. Notes Theor. Comput. Sci. --- 2000. --- Vol.~35. %Electronic Notes in Theoretical Computer Science, --- Available at http: //dblp.uni-trier.de. \bigskip \centerline{\bbf 2001} \nobreak \bigskip \noindent Проблемно-ориентированный подход к науке: Философия математики как концептуальный прагматизм. --- Novosibirsk: Nauka, 2001. --- 154~c. --- Совместно с Н.~В.~Белякиным, А.~В.~Бессоновым, С.~С.~Гончаровым, В.\,Н.\,Карпович, К.\,Ф.\,Самохваловым, В.\,В.\,Целищевым. \medskip\noindent Непосредственные расширения прюферовых колец// Алгебра и логика. --- 2001. --- T.~40, \No~3. --- C.~262--289. \medskip\noindent То же на англ. яз.: Immediate extensions of Pr\"ufer rings //Algebra Logic.\,---\,2001.\,---\,Vol.\,40, No.\,3.\,---\,P.\,144--158. \medskip\noindent О новом подходе к методологии математики // Проблемно-ориентированный подход к науке: Философия математики как концептуальный прагматизм. --- Novosibirsk: Nauka, 2001. --- C.~132--152. --- Совместно с К.~Ф.~Самохваловым. \medskip\noindent Предисловие // Там же. --- С.~3--6. \goodbreak \medskip\noindent Сепарабельная консервативность // Мат. тр. --- 2001. --- Т.~4, \No~1. --- C.~18--24. \medskip\noindent То же на англ. яз.: Separable conservativity // Siberian Adv. Math. --- 2001. --- Vol.~11, No.~4. --- P.~41--46. \medskip\noindent On free products of absolute Galois groups.~II // Comm. Algebra. --- 2001. --- Vol.~29, No.~9. --- P.~3773--3779. \medskip\noindent Непосредственные расширения квазиупорядоченных полей // Вестн. НГУ, серия: матем., мех., информ. --- 2001. --- Т.~1, \No~2. --- P.~77--84. \medskip\noindent Александр Алексеевич Боровков (к 70-летию со дня рождения) // Сиб. мат. журн. --- 2001. --- Т.~42, \No~2. --- С.~243--248. --- Совместно с М.~М.~Лаврентьевым, В.~Л.~Бересневым, И.~С.~Борисовым, С.~С.~Гончаровым, В.~И.~Лотовым, А.~А.~Могульским, С.~С.~Кутателадзе, Ю.~Г.~Решетняком, В.~Г.~Романовым. %\medskip\noindent %Сборник докладов // %Конф., посвященная 90-летию со дня рожд. А.~А.~Ляпунова %(Novosibirsk, 8--11 октября 2001 г.). --- %Novosibirsk. --- 2001. --- Т.~1, \No~2. --- P.~433--454. \medskip\noindent Анатолий Илларионович Ширшов (к 80-летию со дня рождения) // Алгебра и логика. --- 2001. --- Т.~40, \No~4. --- С.~i--iv. --- Совместно с С.~С.~Гончаровым, В.~Д.~Мазуровым, Н.~С.~Романовским, В.~К.~Харченко. \medskip\noindent Сергей Савостьянович Гончаров (ко дню 50-летия) // Алгебра и логика. --- 2001. --- Т.~40, \No~5. --- С.~i--iii. --- Совместно с В.~Д.~Мазуровым, Н.~С.~Романовским, В.~К.~Харченко. %\medskip\noindent %\?Может, это вообще брать %Алексей Андреевич Ляпунов и Novosibirskая %физико-математическая школа имени академика М.~А.~Лаврентьева %// Конф., посвящ. 90-летию со дня рожд. А.~А.~Ляпунова: %Аннотации докладов, Novosibirsk, 8--11 октября 2001 г. --- %Novosibirsk, 2001. --- Совместно с А.~А.~Никитиным. \medskip\noindent Алексей Андреевич Ляпунов и Novosibirskая физико-математическая школа имени академика М.~А.~Лаврентьева // Конф., посвящ. 90-летию со дня рожд. А.~А.~Ляпунова: Сб. докл., Novosibirsk, 8--11 октября 2001 г. --- Novosibirsk, 2001. --- Совместно с А.~А.~Никитиным. \medskip\noindent Развитие проблемно-ориентированной информационной сети на базе Сибирского центра информационной поддержки гуманитарных наук, культуры и образования: Тез. межд. научно-методич. конф. 6--8 июня 2001 г., Novosibirsk. --- Novosibirsk, 2001. --- С.~89--90. \goodbreak \bigskip \centerline{\bbf 2002} \nobreak \bigskip \noindent Абстрактная теория полей классов (финитарный подход) --- Novosibirsk, 2002. --- 43~c. --- (Препр./ИДМИ). \medskip\noindent Кратно нормированные поля. II // Алгебра и логика. --- 2002. --- T.~41, \No~6. --- C.~682--712. \medskip\noindent То же на англ. яз.: Multi-valued fields. II // Algebra Logic. --- 2002. --- Vol.~41, No.~6. --- P.~374--390. \medskip\noindent Предупорядоченные кратно нормированные поля // Докл. РАН. --- 2002. --- T.~382, \No~5. --- C.~583--588. \medskip\noindent То же на англ. яз.: Preordered multi-valued fields // Russian Acad. Sci. Dokl. Math. --- 2002. --- Vol.~65, No.~1. --- P.~75--79. \medskip\noindent Хорошие локально-глобальные поля. IV // Сиб. мат. журн. --- 2002. --- T.~43, \No~3. --- C.~538--562. \medskip\noindent То же на англ. яз.: Nice local-global fields. IV // Siberian Math.~J. --- 2002. --- Vol.~43, No.~3. --- P.~418--427. \medskip\noindent Понятие алгоритма и его место в математике // Философия науки. --- 2002. --- T.~14, \No~3. --- C.~24--31. \medskip\noindent Необходима Сибирская индустрия информационных систем // Сибирский журн. информационно-аналитический. --- 2002. --- сент.--окт. --- С.~19--21. \medskip\noindent Михаил Михайлович Лаврентьев (к 70-летию со дня рождения) // Сиб. мат. журн. --- 2002. --- T.~43, \No~3. --- C.~489--492. --- Совместно с А.~А.~Боровковым, С.~С.~Гончаровым, С.~С.~Кутателадзе, Ю.~Г.~Решетняком, В.~Г.~Романовым. \bigskip \centerline{\bbf 2003} \nobreak \bigskip \noindent Спектральная теория полутопологических полурешеток // Сиб. мат. журн. --- 2003. --- T.~44, \No~5. --- C.~1021--1032. \medskip\noindent То же на англ. яз.: The spectral theory of semitopological semilattices // Siberian Math.~J. --- 2003. --- Vol.~44, No.~5. --- P.~797--806. \medskip\noindent Хорошие расширения и глобальная теория полей классов // Докл. РАН. --- 2003. --- T.~388, \No~2. --- C.~155--158. \medskip\noindent То же на англ. яз.: Nice extensions and global class field theory // Russian Acad. Sci. Dokl. Math. --- 2003. --- Vol.~67, No.~1. --- P.~21--23. \medskip\noindent Абстрактная теория полей классов (финитарный подход) // Mat. Sb. --- 2003. --- T.~194, \No~2. --- C.~37--60. \medskip\noindent То же на англ. яз.: Abstract class field theory (a finitary approach) // Sb. Math. --- 2003.--- Vol.~194, No.~2. --- P.~199--224. \medskip\noindent Необходимые условия изоморфизма полурешеток Роджерса конечных частично упорядоченных множеств // Алгебра и логика. --- 2003. --- T.~42, \No~4. --- C.~413--421. \medskip\noindent То же на англ. яз.: Necessary isomorphism conditions for Rogers semilattices of finite partially ordered sets // Algebra Logic.\,---\,2003.\,---\,Vol.~42, No.~4.\,---\,P.~232--236. \medskip\noindent Свойство проективности абсолютных групп Галуа кратно-нормированных полей // Мат. тр. --- 2003. --- Т.~6, \No~1. --- C.~28--33. \medskip\noindent То же на англ. яз.: Projectivity of the absolute Galois groups of multi-valued fields // Siberian Adv. Math. --- 2004. --- Vol.~14, No.~1. --- P.~1--6. \medskip\noindent Локальная теория полей классов // Алгебра и анализ. --- 2003. --- Т.~15, \No~6. --- C.~35--47. \medskip\noindent То же на англ. яз.: Local class field theory // St. Petersburg Math.~J. --- 2004. --- Vol.~15, No.~6. --- P.~837--846. \medskip\noindent A non near-Boolean family of valuation rings satisfying an arithmetic local-global principle // Math.~Z. --- 2003. --- Vol.~245, No.~4. --- P.~689--693. \goodbreak \medskip\noindent О Сергее Львовиче Соболеве // Сиб. мат. журн. --- 2003. --- T.~44, \No~5. --- C.~953--960. --- Совместно с М.~М.~Лаврентьевым, С.~С.~Кутателадзе, А.~А.~Боровковым, С.~С.~Гончаровым, Ю.~Г.~Решетняком, В.~Г.~Романовым, В.~Д.~Мазуровым. \medskip\noindent Анатолию Георгиевичу Кусраеву --- 50 лет // Владикавказск. мат. журн. --- 2003. --- T.~5, \No~1. ---\,C.~5--7. --- Совместно с С.~С.~Гончаровым, А.~Е.~Гутманом, С.~С.~Кутателадзе, В.~Л.~Макаровым, А.~М.~Нахушевым, В.~М.~Тихомировым, Г.~Н.~Шотаевым. \medskip\noindent То же на англ. яз.: Anatolii Georgievich Kusraev (on the occasion of his fiftieth birthday) // Vladikavkaz. Mat. Zh. --- 2003. --- Vol.~5, No.~1. --- P.~5--7 (electronic). \medskip\noindent Анатолий Георгиевич Кусраев (портрет ученого) // Вестник Владикавказск. науч. центра. --- 2003. --- T.~3, \No~1. --- C.~54--55. --- Совместно с С.~С.~Гончаровым, А.~Е.~Гутманом, С.~С.~Кутателадзе, В.~Л.~Макаровым, А.~М.~Нахушевым, В.~М.~Тихомировым, В.~Г.~Фетисовым. \medskip \noindent Виктор Данилович Мазуров (ко дню 60-летия) // Алгебра и логика. --- 2003. --- Т.~42, \No~1. --- С.~i--ii. --- Совместно с С.~С.~Гончаровым, Н.~С.~Романовским, В.~К.~Харченко. \bigskip \centerline{\bbf 2004} \nobreak \bigskip \noindent Математическая логика: 3-е изд., стер.: Учеб. пособие. --- СПб: Изд-во <<Лань>>.\,---\,2004.\,---\,336~с. --- (Учебник для вузов. Спец. лит-ра). --- Совместно с Е.~А.~Палютиным. \medskip\noindent Элементарные регулярные кольца. II // Сиб. мат. журн. --- 2004. --- T.~45, \No~3. --- C.~558--565. \medskip\noindent То же на англ. яз.: Elementary regular rings. II // Siberian Math.~J.\,---\,2004. ---\,Vol.~45, No.~3.\,---\,P.~459--464. \medskip\noindent Экстремальные нормированные поля // Алгебра и логика. --- 2004. --- T.~43, \No~5. --- C.~582--588. \goodbreak \medskip\noindent То же на англ. яз.: Extremal valued fields // Algebra Logic. --- 2004. --- Vol.~43, No.~5. --- P.~327--330. \medskip\noindent Об одной задаче Улама // Докл. РАН. --- 2004. --- T.~399, \No~3. --- C.~307--309. --- Совместно с В.~А.~Чуркиным. \medskip\noindent То же на англ. яз.: One problem of Ulam // Russian Acad. Sci. Dokl. Math. --- 2004. --- Vol.~70, No.~3. --- P.~896--898. --- With V.A.~Churkin. \medskip\noindent О монотонной сумме отображений // Вестн. НГУ, серия: мат., мех., информ. --- 2004.\,---\,Т.~4, \No~1.\,---\,С.~19--22. \medskip\noindent Абстрактная теория полей классов (форматирование модулей) // Сиб. электрон. мат. изв. --- 2004. --- T.~1. --- C.~1--23. \medskip\noindent Жизненный путь Анатолия Ивановича Мальцева // Алгебра и логика. --- 2004. --- T.~43, \No~6. --- C.~i--vi. --- Совместно с С.~С.~Гончаровым, В.~Д.~Мазуровым. \medskip\noindent Алгебра и логика: старые и новые связи // Философия науки. --- 2004. --- T.~23, \No~4. --- C.~132--142. \medskip\noindent Об одной задаче Улама // Тр. Междунар. конф. Алгебра, логика и кибернетика, посвящ. 75-летию со дня рождения В.~А.~Кокорина (Иркутск, 24--28 августа 2004~г.). --- 2004. --- C.~30--32. --- Совместно с В.~А.~Чуркиным. \medskip\noindent Local class field theory // St.~Petersburg Math.~J. --- 2004. --- Vol.~15, No.~6. --- P.~837--846. \medskip\noindent Об удивительных расширениях полей алгебраических чисел // Мат. Центр им. Н.~И.~Лобачевского: Мат. межд. конф. <<Алгебра и анализ-2004>> (Казань, 2--9 июля 2004 г.). --- 2004. --- T.~23. --- C.~17. \bigskip \centerline{\bbf 2005} \nobreak \bigskip \noindent Математическая логика: 4-е изд., стер.: Учеб. пособие. --- СПб: Изд-во <<Лань>>, 2005. --- 336~с. --- (Учебник для вузов. Спец. лит-ра). --- Совместно с Е.~А.~Палютиным. \medskip\noindent Математическая логика: 5-е изд., стер.: Учеб. пособие. --- СПб: Изд-во <<Лань>>, 2005. --- 336~с. --- (Учебник для вузов. Спец. лит-ра). --- Совместно с Е.~А.~Палютиным. \medskip\noindent Спектры колец и решеток // Сиб. мат. журн. --- 2005. --- T.~46, \No~2. --- C.~361--373. \medskip\noindent То же на англ. яз.: Spectra of rings and lattices // Siberian Math.~J. --- 2005. --- Vol.~46, No.~2. --- P.~283--292. \medskip\noindent Спектральная теория полутопологических полурешеток. II // Изв. УрГУ. Сер. мат. и мех. --- 2005. --- Вып.~7, \No~36, --- C.~107--118. %\?\medskip\noindent я думаю, что это только на русском, аннотация на англ. %То же на англ. яз.: %The spectral theory of semitopological semilattices. II // %Izv. Ural. Gos. University Mat. Mekh. --- 2005 ---Vol.~36, No.~7. --- %P.~НЕТ %\? \medskip\noindent The spectral theory of semitopological semilattices. II // Siberian Adv. Math. --- 2005. --- Vol.~15, No.~2. --- P.~33--43. \medskip\noindent Mathtree-tree catalog of mathematical resources in the Internet // Proc. Second IASTED Intern. Multi-Conference SOFTWARE ENGINERING (ACIT-SE) (Novosibirsk, Russia), 2005. --- P.~76--80. --- With V.~Filippov, O.~Klimenko, and O.~Trofimov. \medskip\noindent Теоретико-модельные свойства кратно нормированных полей // 9-я Азиатская конф. по логике (16--19 августа, 2005, Novosibirsk). --- Available at http://www.ict.nsc.ru/ws/ALC-9/9104/Ershovru.pdf. %\? \medskip\noindent То же на англ. яз.: Model-theoretic properties of multi-valued fields // The 9th Asian Logic Conf.: Abstr. (Novosibirsk, Russia, 16--19 August 2005). --- 2005. --- P.~7--10. --- Available at http://www.sbras.ru/ws/ALC-9/9104/Ershov.pdf. %\? \medskip\noindent Интеграл будет отрицательный? // ЭКО --- 2005. --- Т.~5, \No~371. --- C.~30--40. \bigskip \centerline{\bbf 2006} \nobreak \bigskip \noindent Критерий Дедекинда для произвольных колец нормирования //Докл. РАН.\,---\,2006.\,---\,T.~410, \No~2.\,---\,C.~158--160. \medskip\noindent То же на англ. яз.: A Dedekind criterion for arbitrary valuation rings // Russian Acad. Sci. Dokl. Math. --- 2006. --- Vol.~74, No.~2. --- P.~650--652. \medskip\noindent Полурешетки Роджерса конечных частично-упорядоченных множеств // Алгебра и логика. --- 2006. --- T.~45, \No~1. --- C.~44--84. \medskip\noindent То же на англ. яз.: Rogers semilattices of finite partially ordered sets // Algebra Logic. --- 2006. --- Vol.~45, No.~1. --- P.~26--48. \medskip\noindent Теорема о непрерывности корней многочленов в нормированных полях // Сиб. мат. журн. --- 2006. --- T.~47, \No~6. --- C.~1258--1264. \medskip\noindent То же на англ. яз.: Root continuity theorems in valued fields // Siberian Math.~J. --- 2006. --- Vol.~47, No.~6. --- P.~1027--1033. \medskip\noindent Abstract class field theory (module formatting) // Siberian Adv. Math. --- 2006. --- Vol.~16, No.~4. --- P.~21--49. \medskip\noindent Толерантные кольца нормирования // Сиб. электрон. мат. изв. --- 2006. --- T.~3. --- C.~284--290. \medskip\noindent Local-global principles and approximation theorems // Logic in Tehran, Lecture Notes in Logic, No.~26, A.~Enayat, I.~Kalantory, M.~Moniri (eds.). --- 2006. --- P.~114--125. \bigskip \centerline{\bbf 2007} \nobreak \bigskip \noindent Современная философия математики: недомогания и лечение. --- Novosibirsk: Параллель, 2007. --- 143~с. --- (Новая философия математики). --- Совместно с К.~Ф.~Самохваловым. \medskip\noindent Теорема о нормах корней и коэффициентов // Докл. РАН. --- 2007. --- T.~417, \No~5. --- C.~589--591. \medskip\noindent То же на англ. яз.: A theorem of values of roots and coefficients // Russian Acad. Sci. Dokl. Math. --- 2007. --- Vol.~76, No.~3. --- P.~913--915. \medskip\noindent Ручные и чисто дикие расширения нормированных полей // Алгебра и анализ. --- 2007. --- T.~19, \No~5. --- C.~124--136. \medskip\noindent То же на англ. яз.: Tame and purely wild extensions of valued fields // St. Petersburg Math.~J. --- 2008. --- Vol.~19, No.~5. --- P.~765--773. \medskip\noindent Математическая информационная система Math Free // Успехи мат. наук. --- 2007. --- Vol.~62, вып.~5. --- C.~133--142. --- Совместно с О.~А.~Клименко, И.~И.~Матвеевой, В.~В.~Пикаловым. \medskip\noindent То же на англ. яз.: The mathematical information system MathTree // Russian Math. Surveys. --- 2007. --- Vol.~62, No.~5. --- P.~967--976. --- With O.A.~Klimenko, I.I.~Matveeva, and V.V.~Pikalov. \medskip\noindent Две теоремы об отсутствии дефекта у циклических расширений // Мат. тр. --- 2007. --- T.~10, \No~2. --- C.~92--111. \medskip\noindent То же на англ. яз.: Two theorems on defect-freeness for cyclic extensions // Siberian Adv. Math. --- 2008. --- Vol.~18, No.~1. --- P.~30--43. \medskip\noindent Tolerant valuation rings // Siberian Adv. Math. --- 2007. --- Vol.~17, No.~4. --- P.~297--301. \medskip\noindent О стабильных нормированных полях // Алгебра и логика. --- 2007. --- T.~46, \No~6. --- C.~707--728. \medskip\noindent То же на англ. яз.: Stable valued fields // Algebra Logic. --- 2007. --- Vol.~46, No.~6. --- P.~385--398. \medskip\noindent О гензелевых рациональных расширениях // Докл. РАН. --- 2007. --- T.~422, \No~4. --- C.~450--454. \medskip\noindent То же на англ. яз.: On Henselian rationality of extensions // Russian Acad. Sci. Dokl. Math. --- 2008. --- Vol.~78, No.~2. --- P.~724--728. \medskip\noindent К 50-летию Сибирского отделения // Сиб. мат. журн. --- 2007. --- T.~48, \No~3. --- C.~483--484. --- Совместно с С.~С.~Кутателадзе, И.~А.~Таймановым. \medskip\noindent То же на англ. яз.: Fifty years of the Siberian Division of the Russian Academy of Sciences // Siberian Math.~J. --- 2007. --- Vol.~48, No.~3. --- P.~385--386. --- With S.S.~Kutateladze and I.A.~Taimanov. \bigskip \centerline{\bbf 2008} \nobreak \bigskip \noindent Теоремы о непрерывности корней многочленов в нормированных полях. II // Сиб. мат. журн. --- 2008. --- T.~49, \No~5. --- C.~1077--1082. \medskip\noindent То же на англ. яз.: Root continuity theorems in valued fields.~II // Siberian Math.~J. --- 2008. --- Vol.~49, No.~5. --- P.~852--856. \medskip\noindent Теоремы о сохранении стабильности // Алгебра и логика. --- 2008. --- T.~47, \No~3. --- C.~269--287. \medskip\noindent То же на англ. яз.: Stability preservation theorems // Algebra Logic.\,---\,2008.\,---\,Vol.~47, No.~3.\,---\,P.~155--165. \bigskip \centerline{\bbf 2009} \nobreak \bigskip \noindent $*$-экстремальные нормированные поля//Сиб. мат. журн. --- 2009. --- T.~50, \No~6. --- C.~1280--1284. \medskip\noindent То же на англ. яз.: $*$-Extremal valued fields // Siberian Math.~J. --- 2009.--- Vol.~50, No.~6. --- P.~1007--1010. \medskip\noindent О подполях кольца ад\'елей // Алгебра и логика. --- 2009. --- T.~48, \No~6. --- C.~741--753. \medskip\noindent То же на англ. яз.: Subfields of the adele ring // Algebra Logic. --- 2009. --- Vol.~48, No.~6. --- P.~418--425. \medskip\noindent Математическая логика и теоретическая информатика // Ершовские лекции по информатике: Сб. --- Novosibirsk: ИСИ, НГУ, 2009. --- C.~3--21. \medskip\noindent On the classification of (effective) $\varphi$-spaces // Ann. Pure Appl. Logic. --- 2009. --- Vol.~159, No.~3. --- P.~285--291. \medskip\noindent Preface // Ann. Pure Appl. Logic. --- 2009.--- Vol.~159, No.~3. --- P.~249--250. --- With K.~Keimel, U.~Kohlenbach, and A.~Morozov. \medskip\noindent Пятьдесят лет <<Сибирскому математическому журналу>> // Сиб. мат. журн. --- 2009. --- T.~50, \No~6. --- C.~1201--1202. --- Совместно с С.~С.~Кутателадзе. \medskip\noindent То же на англ. яз.: Fifty years of Siberian Mathematical Journal // Siberian Math.~J. --- 2009. --- V.~50, No.~6. --- P.~945--946. --- With S.S.~Kutateladze.