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

Публикаций: 155 (137)
в MathSciNet: 132 (121)
в zbMATH: 99 (94)
в Web of Science: 51 (45)
в Scopus: 72 (70)
Цитированных статей: 89
Цитирований в Math-Net.Ru: 266
Цитирований в Web of Science: 267
Цитирований в Scopus: 780
Лекций и докладов: 4

Статистика просмотров:
Эта страница:6596
Страницы публикаций:13833
Полные тексты:4520
Списки литературы:989
Гончаров Сергей Савостьянович
академик РАН
профессор
доктор физико-математических наук (1982)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 24.09.1951
E-mail: ,
Сайт: http://www.math.nsc.ru/LBRT/logic/persons/gonchar/win.html
Ключевые слова: модель, вычислимость, нумерация, семантика, элементарная теория, алгоритмическая размерность, вычислимая нумерация, разрешимость, разрешимая модель, гиперарифметическая модель, спецификация, программа, топология, полурешетки Роджерса, пространства Ершова и Скотта, допустимые множества, группа, поле, булева алгебра, семантическое программирование, вычислимая модель, конструктивная модель, сильно конструктивная модель, автоустойчивость, простая модель, почти простая модель, эренфойхтова теория, разрешимая теория.

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

Области научных интересов — теория алгоритмов, теория моделей, алгебра и приложения этих областей в информатике. Построена теория алгоритмической размерности, в основе которой лежит результат о существовании неустойчивых моделей конечной алгоритмической размерности. Разработаны новые методы доказательства бесконечности алгоритмической размерности, позволившие решить проблему характеризации спектра алгоритмической размерности для ряда конкретных классов моделей. Установлен критерий разрешимости однородных моделей. На основе его получено решение проблем М. Морли и Перетятькина–Денисова. Решена проблема Мальцева о характеризации аксиом классов с сильными эпиморфизмами и сильными гомоморфизмами. Получен ряд результатов о конструктивных булевых алгебрах. Исследованы нильпотентные группы конечной алгоритмической размерности и получена характеризация автоустойчивости для нильпотентных групп конечного ранга без кручения, а также абелевых $p$ групп. Разработан новый метод построения вычислимых нумераций, позволивший решить ряд проблем о числе нумераций Фридберга, о семействах с единственной позитивной и другие. Совместно с учеными из США Р. Шором, Б. Хусаиновым, П. Чолаком получено решение проблемы об автоустойчивости конечных константных обогащений автоустойчивых моделей. Совместно с Б. Хусаиновым решена проблема двухэлементного спектра с рекурсивной $T$-степенью. Совместно с С. А. Бадаевым решена проблема о семействе с одноэлементной полурешеткой Роджерса, но с нетривиальным включением. Решена проблема о существовании сильно конструктивных однородных расширений. Совместно с итальянским логиком А. Сорби исследована полурешетка Роджерса вычислимых нумераций арифметических множеств. Совместно с Дж. Найт (США) предложена структурная теория вычислимых классов моделей, решена проблема характеризации $\Sigma_1^1$-отношений на вычислимых моделях. Опубликовано более 160 научных работ, из них два учебных пособия: "Lectures in model theory" и "Введение в логику и методологию науки" (совместно с Ю. Л. Ершовым и К. Ф. Самохваловым), монографии "Счетные булевы алгебры" (1988 г.) и "Счетные булевы алгебры и разрешимость" (1996 г., и на английском языке — 1997 г.), "Конструктивные модели" (1999 г., совместно с Ю. Л. Ершовым, на английском языке — 2000 г.) и "Handbook of recursive mathematics" (1999 г., под редакцией С. С. Гончарова, Ю. Л. Ершова, A. Nerode, J. Remmel, V. Marek).

Научная биография:

1973 г. — окончил с отличием механико-математический факультет Новосибирского государственного университета. 1974 г. — защитил кандидатскую диссертацию. 1981 г. — защитил докторскую диссертацию. Имею более 160 публикаций. Руковожу научными семинарами в НГУ и Институте математики СО РАН.

1976 г. — премия Ленинского комсомола в области науки и техники за цикл работ по конструктивным булевым алгебрам. 1977 г. — звание доцента НГУ. 1982 г. — Серебрянный знак семинара "Алгебра и логика" за активную научную работу. 1983 г. — премия СО РАН за создание теории семантического программирования совместно с академиком Ю. Л. Ершовым и д.ф.-м.н. Д. И. Свириденко. 1985 г. — звание профессора НГУ. 1991 г. — учредитель (выборщик) Российской академии наук. 1993 г. — избран членом-корреспондентом Академии наук Высшей школы. 1995 г. — избран действительным членом Международной академии наук Высшей школы. 1996 г. — декан ММФ НГУ. 1997 г. — избран членом-корреспондентом Российской академии наук. 1997 г. — премия академика А. И. Мальцева Российской академии наук. Являюсь руководителем гранта РФФИ, со-руководителем грантов ИНТАС, ИНТАС-РФФИ; исполнителем грантов РФФИ-ННИО, Российско-американского гранта, гранта Марсдена Королевского общества Новой Зеландии.

   
Основные публикации:
  • Гончаров С. С. Счетные булевы алгебры и разрешимость. Сибирская Школа Алгебры и Логики. Новосибирск, Научная книга. xii, 1996, 362 с. (монография).
  • Гончаров С. С., Ершов Ю. Л. Конструктивные модели. Сибирская Школа Алгебы и Логики. Новосибирск, Научная книга, xii, 1999, 360 с.
  • Гончаров С. С., Хусаинов Б. О спектре степеней разрешимых отношений // ДАН РАН, 1997, 352(3), 301–303.
  • Goncharov S. S., Khoussainov B., Cholak P., Shore R. Computably categorical structures and expansions by constants // J. Symb. Log., 1999, 64(1), 13–37.
  • Goncharov S. S. (ed.), Ershov Yu. L. (ed.), Nerode A. (ed.), Remmel J. B. (ed.), Marek V. (ed.). Handbook of Recursive Mathematics. Studies in Logic and the Foundations of Mathematics. 138, 139. Amsterdam: Elsevier. xlvi, 1998, 1372 p.

http://www.mathnet.ru/rus/person9178
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/195954
http://elibrary.ru/author_items.asp?spin=3645-1417
http://orcid.org/0000-0001-7465-1189
http://www.researcherid.com/rid/J-7221-2013
http://www.scopus.com/authid/detail.url?authorId=56377536800

Полный список публикаций:
| по годам | по типам | по числу цит. в WoS | по числу цит. в Scopus | научные публикации | общий список |



   2020
1. S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020), 380–394  mathnet  crossref  isi;
2. Л. Д. Беклемишев, А. В. Васильев, Е. П. Вдовин, С. С. Гончаров, В. В. Козлов, П. С. Колесников, В. Д. Мазуров, Ю. В. Матиясевич, А. С. Морозов, А. Н. Паршин, В. Г. Пузаренко, М. В. Швидефски, “Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)”, УМН, 75:3(453) (2020), 191–194  mathnet  crossref

   2019
3. Гончаров С.С., Свириденко Д.И., “Логический язык описания полиномиальной вычислимости”, ДАН, 485:11 (2019), 11–14  zmath  elib; Goncharov S.S., Sviridenko D.I., “Logical Language of Description of Polynomial Computing”, Doklady Mathematics, 99:2 (2019), 121–124  crossref  zmath  isi (cited: 1)  scopus (cited: 2)
4. С. С. Гончаров, Р. Миллер, В. С. Харизанова, “Тьюринговы степени полных формул почти простых моделей”, Алгебра и логика, 58:3 (2019), 417–425  mathnet  crossref  zmath
5. Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019), 1–10  mathnet  crossref  mathscinet  isi
6. С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019), 165–180  mathnet  crossref  mathscinet  adsnasa  isi  elib; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753  crossref  mathscinet  isi

   2018
7. С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 59:6 (2018), 1279–1290  mathnet (цит.: 2)  crossref  mathscinet  zmath  isi (цит.: 3); S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Siberian Math. J., 59:6 (2018), 1014–1023  crossref  mathscinet  zmath  isi (cited: 3)  elib  scopus (cited: 2)
8. Goncharov S.S., Knight J.F., Souldatos I., “Hanf number for Scott sentences of computable structures”, Archive for Mathematical Logic, 57:7–8 (2018), 889–907  crossref  mathscinet  zmath  isi  scopus

   2017
9. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций групп”, Сиб. матем. журн., 58:1 (2017), 95–103  mathnet (цит.: 2)  crossref  isi  elib; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of the groups autostable relative to strong constructivizations”, Siberian Math. J., 58:1 (2017), 72–77  crossref  isi  elib  scopus
10. С. С. Гончаров, “Условные термы в семантическом программировании”, Сиб. матем. журн., 58:5 (2017), 1026–1034  mathnet (цит.: 6)  crossref  isi (цит.: 8)  elib; S. S. Goncharov, “Conditional terms in semantic programming”, Siberian Math. J., 58:5 (2017), 794–800  crossref  isi (cited: 8)  elib  scopus (cited: 6)

   2015
11. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей нетривиальных сигнатур”, Докл. АН, 461:2 (2015), 140–142  crossref  zmath  elib (цит.: 2); S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations”, Dokl. Math., 91:2 (2015), 158–159  crossref  mathscinet  zmath  isi (cited: 3)  elib  scopus (cited: 3)
12. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры”, Алгебра и логика, 54:2 (2015), 163–192  mathnet (цит.: 8)  crossref  mathscinet  zmath  isi (цит.: 5)  elib (цит.: 3); S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations”, Algebra and Logic, 54:2 (2015), 108–126  crossref  mathscinet  zmath  isi (cited: 5)  scopus
13. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. мат. журн., 56:3 (2015), 498–512 http://math.nsc.ru/smz/2015/03/498.html  mathnet (цит.: 9)  crossref  crossref  mathscinet  zmath  isi (цит.: 5)  elib (цит.: 2); S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of Boolean algebras autostable relative to strong constructivizations”, Siberian Math. J., 56:3 (2015), 393–404  crossref  mathscinet  zmath  isi (cited: 5)  isi (cited: 5)  elib (cited: 1)  scopus (cited: 6)
14. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей естественных классов”, Докл. АН, 464:1 (2015), 12–14  crossref  zmath  elib (цит.: 1)
15. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 2015 (в печати)  elib (цит.: 3)
16. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015) (в печати)  mathscinet  zmath
17. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Сиб. журн. чист. и прикл. матем., 15:3 (2015), 51–60  mathnet (цит.: 2)  crossref  elib; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of linear orderings that are autostable relative to strong constructivizations”, J. Math. Sci., 221:6 (2017), 840–848  crossref  elib
18. Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества $n$-разрешимых структур, категоричных относительно $m$-разрешимых представлений”, Алгебра и логика, 54:4 (2015), 520–528  mathnet (цит.: 3)  crossref  mathscinet  isi (цит.: 1)  elib; E. B. Fokina, S. S. Goncharov, V. Harizanov, O. V. Kudinov, D. Turetsky, “Index sets for $n$-decidable structures categorical relative to $m$-decidable presentations”, Algebra and Logic, 54:4 (2015), 336–341  crossref  mathscinet  isi (cited: 1)  scopus (cited: 1)
19. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 54:6 (2015), 663–679  mathnet (цит.: 6)  crossref  mathscinet  isi (цит.: 5)  elib; S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations”, Algebra and Logic, 54:6 (2015), 428–439  crossref  mathscinet  isi (cited: 5)  scopus (cited: 4)
20. С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро, “Юрий Леонидович Ершов (к 75-летию со дня рождения)”, Сиб. матем. журн., 56:3 (2015), 477–480  mathnet  mathscinet

   2014
21. С. А. Бадаев, С. С. Гончаров, “Обобщëнно вычислимые универсальные нумерации”, Алгебра и логика, 53:5 (2014), 555–569  mathnet (цит.: 9)  mathscinet  isi (цит.: 9)  elib (цит.: 1); S. A. Badaev, S. S. Goncharov, “Generalized computable universal numberings”, Algebra and Logic, 53:5 (2014), 355–364  crossref  mathscinet  isi (cited: 9)  scopus

   2013
22. С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:3 (2013), 38–52  mathnet (цит.: 4); S. S. Goncharov, “Index Sets of Almost Prime Constructive Models”, J. Math. Sci., 205:3 (2015), 355–367  crossref  elib (cited: 1)
23. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 43–67  mathnet (цит.: 7)  elib (цит.: 1); S. S. Goncharov, M. I. Marchuk, “Index Sets of Autostable Relative to Strong Constructivizations Constructive Models”, J. Math. Sci., 205:3 (2015), 368–388  crossref  elib (cited: 1)
24. С. С. Гончаров, Ю. Л. Ершов, В. М. Левчук, В. Д. Мазуров, В. И. Сенашов, А. И. Созутов, Н. С. Черников, “Владимир Петрович Шунков”, УМН, 68:4(412) (2013), 177–178  mathnet  crossref  mathscinet  adsnasa  isi  elib; S. S. Goncharov, Yu. L. Ershov, V. M. Levchuk, V. D. Mazurov, V. I. Senashov, A. I. Sozutov, N. S. Chernikov, “Vladimir Petrovich Shunkov (obituary)”, Russian Math. Surveys, 68:4 (2013), 769–771  crossref  mathscinet  isi  elib  scopus
25. П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013), 30–34  mathnet

   2012
26. Гончаров С. С., “Problems of autostability and spectrum of autostability”, The Bulletin of Symbolic Logic, 18:3 (2012), 422-423  mathscinet

   2011
27. С. С. Гончаров, “Степени автоустойчивости относительно сильных конструктивизаций”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 119–129  mathnet (цит.: 18)  mathscinet  isi (цит.: 11)  elib (цит.: 3); S. S. Goncharov, “Degrees of autostability relative to strong constructivizations”, Proc. Steklov Inst. Math., 274 (2011), 105–115 http://link.springer.com/article/10.1134/S0081543811060071  crossref  mathscinet  isi (cited: 11)  elib (cited: 1)  scopus (cited: 9)
28. Гончаров С.С., Дроботун Б.Н., Никитин А.А., ОСНОВАНИЯ ДИДАКТИКИ ОБУЧЕНИЯ ЛОГИКО-АЛГЕБРАИЧЕСКИМ ДИСЦИПЛИНАМ В ВЫСШЕЙ ШКОЛЕ монография : в 2 ч. / С. С. Гончаров, Б. Н. Дроботун, А. А. Никитин, Ч.1 : Научно-теоретические и идейно-методологические предпосылки / Учреждение Рос. акад. образования “Ин-т пед. исслед. одаренности детей”, Изд-во ИПИО РАО, Новосибирск, 2011 , 269 с., Основания дидактики обучения логико-алгебраическим дисциплинам в высшей школе [Текст] : [монография : в 2 ч.] / С. С. Гончаров, Б. Н. Дроботун, А.А. Никитин ; . - - 2011. -с. : ил. - Библиогр.: с. 258-264 . - http://elibrary.ru/item.asp?id=19465508
29. Иванисенко В.А., Подколодный Н.Л., Деменков П.С., Иванисенко Т.В., Подколодная О.А., Игнатьева Е.В., Хлебодарова Т.М., Подколодная Н.Н., Ананько Е.А., Гончаров С.С., Колчанов Н., “ИЗВЛЕЧЕНИЕ ЗНАНИЙ ИЗ ТЕКСТОВ НАУЧНЫХ ПУБЛИКАЦИЙ И СОЗДАНИЕ БАЗ ЗНАНИЙ В ОБЛАСТИ НАНОБИОТЕХНОЛОГИИ”, Российские нанотехнологии, 6:7-8 (2011) , 7 с.  elib (цит.: 1)
30. Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (II)”, Педагогические заметки, 4:2 (2011) , 17 с.  zmath  elib
31. Ambos-Spies, Klaus; Badaev, Serikzhan; Goncharov, Sergey, “Inductive inference and computable numberings”, Theoretical Computer Science, 412:18 (2011), 1652-1668 http://www.sciencedirect.com/science/article/pii/S0304397510007425  crossref  mathscinet  zmath  isi (cited: 2)  elib (cited: 1)  scopus (cited: 3)
32. А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк, “Юрий Леонидович Ершов (к семидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 201–204  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; A. A. Borovkov, S. K. Godunov, S. S. Goncharov, A. N. Konovalov, I. A. Lavrov, V. D. Mazurov, L. L. Maksimova, A. A. Mal'tsev, B. G. Mikhailenko, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, Yu. G. Reshetnyak, “Yurii Leonidovich Ershov (on his seventieth birthday)”, Russian Math. Surveys, 66:1 (2011), 199–203  crossref  mathscinet  zmath  isi

   2010
33. С. С. Гончаров, “Об автоустойчивости относительно сильных конструктивизаций почти простых моделей”, УМН, 65:5(395) (2010), 107–142  mathnet (цит.: 4)  crossref  mathscinet  zmath  adsnasa  isi (цит.: 2)  elib (цит.: 2); S. S. Goncharov, “On autostability of almost prime models relative to strong constructivizations”, Russian Math. Surveys, 65:5 (2010), 901–935  crossref  mathscinet  zmath  isi (cited: 2)  elib  scopus
34. Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (I)”, Педагогические заметки, 3 (2010) , 13 с.  elib
35. Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; et al., “Decidability and Computability of Certain Torsion-Free Abelian Groups”, Notre Dame Journal of Formal Logic, 51:1 (2010) , 11 pp. http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1273002111  crossref  mathscinet  scopus (cited: 6)
36. С. С. Гончаров, А. Г. Кусраев, С. С. Кутателадзе, И. А. Лавров, В. Д. Мазуров, А. С. Морозов, М. В. Семëнова, “Ершов Юрий Леонидович (к семидесятилетию со дня рождения)”, Владикавк. матем. журн., 12:2 (2010), 75–78  mathnet

   2009
37. С. С. Гончаров, “Автоустойчивость простых моделей относительно сильных конструктивизаций”, Алгебра и логика, 48:6 (2009), 729–740  mathnet (цит.: 5)  mathscinet  zmath  isi (цит.: 4)  elib (цит.: 3); S. S. Goncharov, “Autostability of prime models under strong constructivizations”, Algebra and Logic, 48:6 (2009), 410–417  crossref  mathscinet  zmath  isi (cited: 4)  elib (cited: 3)  scopus (cited: 3)
38. Chisholm J., Fokina E.B., Goncharov S.S., Harizanov V.S., Knight J.F., Quinn S., “INTRINSIC BOUNDS ON COMPLEXITY AND DEFINABILITY AT LIMIT LEVELS”, Journal of Symbolic Logic, 74:3 (2009), 1047-1060 http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1245158098  crossref  mathscinet  zmath  elib (cited: 15)  scopus (cited: 15)
39. Calvert, W.; Goncharov, S. S.; Knight, J. F.; et al., “Categoricity of computable infinitary theories”, Archive For Mathematical Logic, 48:1 (2009) , 13 pp. http://link.springer.com/article/10.1007  crossref  zmath  isi (cited: 3)  scopus (cited: 1)
40. Гончаров С.С., ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки высшего профессионального образования 010100 Математика и специальности 010101 Математика : [в 2 ч.] / С. С. Гончаров ;, Федеральное агентство по образованию, Новосибирский гос. ун-т, Механико-мат. фак.. Новосибирск,, 2009  elib

   2008
41. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Несколько замечаний о пополнениях нумераций”, Сиб. матем. журн., 49:5 (2008), 986–991  mathnet  mathscinet  isi  elib; S. A. Badaev, S. S. Goncharov, A. Sorbi, “Some remarks on completion of numberings”, Siberian Math. J., 49:5 (2008), 780–783  crossref  mathscinet  isi  elib  scopus
42. Гончаров С.С, “О ДВУХ ПРОБЛЕМАХ ТЬЮРИНГОВОЙ СЛОЖНОСТИ ДЛЯ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Доклады Академии наук, 420 (2008), 589-591  mathnet  mathscinet  zmath  isi  elib; S. S. Goncharov, “On two problems of Turing complexity for strongly minimal theories”, Dokl. Math., 77:3 (2008), 438–440  crossref  mathscinet  zmath  isi  elib  scopus
43. Гончаров С.С., “АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ СЧЕТНЫХ МОДЕЛЕЙ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика., 8, 2 (2008) , 6 с.  elib
44. Goncharov S.S., “ON TWO PROBLEMS OF TURING COMPLEXITY FOR STRONGLY MINIMAL THEORIES”, Doklady Mathematics, 77:3 (2008), 438-440  mathnet  crossref  mathscinet  zmath  isi  elib  scopus
45. Гончаров С.С., Когабаев Н.Т., “О $\Sigma$01-КЛАССИФИКАЦИИ ОТНОШЕНИЙ НА ВЫЧИСЛИМЫХ СТРУКТУРАХ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика, 8 (2008) , 9 с.  elib
46. Serikzhan Badaev, Sergey Goncharov, “Computability and Numberings”, New Computational Paradigms Changing Conceptions of What is Computable, http://link.springer.com/book/10.1007/978-0-387-68546-5, ISBN: 978-0-387-36033-1 (Print) 978-0-387-68546-5 (Online), Springer, 2008, 19-34 http://link.springer.com/chapter/10.1007/978-0-387-68546-5_2  zmath
47. Деменков П.С., Яркова Е.Э., Иванисенко В.А., Гончаров С.С., Колчанов Н.А., “Предсказание изменения термодинамической стабильности белков при одиночных аминокислотных заменах”, Системная компьютерная биология, Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]. -, Интеграционные проекты СО РАН; вып. 14, ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 269-275 http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
48. Иванисенко В.А., Деменков П.С., Фомин Э.С., Крестьянова М.А., Ошурков И.С., Иванисенко Т.В., Иванисенко Н.В., Пинтус С.С., Яркова Е.Э., Степаненко И.Л., Сурнина Н.Ю., Гончаров С.С., Колчанов Н.А., “Распознавание функциональных сайтов в пространственных структурах белков”, Системная компьютерная биология ; Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., (Интеграционные проекты СО РАН; вып. 14), ред. / отв. ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 231-244 http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
49. С. С. Гончаров, Н. Т. Когабаев, “О $\Sigma^0_1$-классификации отношений на вычислимых структурах”, Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32  mathnet (цит.: 2)
50. С. С. Гончаров, “Алгоритмическая сложность счетных моделей сильно минимальных теорий”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 38–53  mathnet
51. С. С. Гончаров, Б. Н. Дроботун, “О роли математической логики в образовании по математическим направлениям”, Вестн. НГУ. Сер. матем., мех., информ., 8:1 (2008), 15–25  mathnet

   2007
52. Calvert W., Fokina E., Goncharov S.S., Kudinov O., Morozov A.S., Puzarenko V., Knight J.F., “INDEX SETS FOR CLASSES OF HIGH RANK STRUCTURES”, Journal of Symbolic Logic, 72:4 (2007), 1418-1432  crossref  mathscinet  zmath  isi (cited: 12)  elib (cited: 4)  scopus (cited: 10)
53. Goncharov S. S., “Computability and Computable Models”, Mathematical Problems from Applied Logic II International Mathematical Series. Vol. 5, Editors: Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov, Springer, 2007, 99-216 http://link.springer.com/chapter/10.1007/978-0-387-69245-6_3  mathscinet  zmath
54. Гончаров С.С., МАТЕМАТИЧЕСКАЯ ЛОГИКА учебное пособие, / С. С. Гончаров ; Федеральное агентство по образованию, Новосибирский гос. ун-т, Мех.-мат. фак.. Новосибирск, Том Ч. 1, 2007  elib

   2006
55. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешëток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 45:6 (2006), 637–654  mathnet (цит.: 9)  mathscinet  zmath  elib (цит.: 3); S. A. Badaev, S. S. Goncharov, A. Sorbi, “Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy”, Algebra and Logic, 45:6 (2006), 361–370  crossref  mathscinet  zmath  scopus (cited: 7)
56. С. С. Гончаров, “Приветственное обращение Главного редактора к читателям”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 3–4  mathnet
57. С. С. Гончаров, “Александр Васильевич Кажихов. 1946–2005”, Вестн. НГУ. Сер. матем., мех., информ., 6:2 (2006), 3–5  mathnet

   2005
58. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Об элементарных теориях полурешëток Роджерса”, Алгебра и логика, 44:3 (2005), 261–268  mathnet (цит.: 9)  mathscinet  zmath  elib (цит.: 3); S. A. Badaev, S. S. Goncharov, A. Sorbi, “Elementary Theories for Rogers Semilattices”, Algebra and Logic, 44:3 (2005), 143–147  crossref  mathscinet  zmath  elib (cited: 3)  scopus (cited: 7)
59. С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 46:3 (2005), 523–532  mathnet (цит.: 3)  mathscinet  isi (цит.: 4); S. S. Goncharov, V. S. Harizanova, J. F. Knight, A. S. Morozov, A. V. Romina, “On automorphic tuples of elements in computable models”, Siberian Math. J., 46:3 (2005), 405–412  crossref  mathscinet  isi (cited: 4)  scopus (cited: 4)
60. Goncharov S., Harizanov V., Knight J., McCoy C., Miller R., Solomon R., “ENUMERATIONS IN COMPUTABLE STRUCTURE THEORY”, Annals of Pure and Applied Logic, 136:3 (2005) , 7 pp.  crossref  mathscinet  zmath  isi (cited: 51)  elib (cited: 55)  scopus
61. С. С. Гончаров, А. С. Морозов, С. П. Одинцов, “9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)”, Сиб. электрон. матем. изв., 2 (2005), 10–11  mathnet  zmath

   2004
62. С. С. Гончаров, Б. Хусаинов, “Сложность теорий вычислимых категоричных моделей”, Алгебра и логика, 43:6 (2004), 650–665  mathnet (цит.: 21)  mathscinet  zmath; S. S. Goncharov, B. Khoussainov, “Complexity of Categorical Theories with Computable Models”, Algebra and Logic, 43:6 (2004), 365–373  crossref  mathscinet  zmath  scopus (cited: 18)
63. С. С. Гончаров, Ч. Ф. Мак-Кой, Д. Ф. Найт, В. С. Харизанова, “Относительно гипериммунные отношения на структурах”, Алгебра и логика, 43:2 (2004), 170–183  mathnet (цит.: 1)  mathscinet  zmath  zmath; S. S. Goncharov, Ch. F. McCoy, J. F. Knight, V. S. Harizanova, “Relatively Hyperimmune Relations on Structures”, Algebra and Logic, 43:2 (2004), 94–101  crossref  mathscinet  zmath  zmath  scopus
64. Goncharov S.S., Harizanov V.S., Knight J.F., Shore R.A., “$\Pi^1_1$ RELATIONS AND PATHS THROUGH $O$”, Journal of Symbolic Logic, 69:2 (2004), 585-611  crossref  mathscinet  zmath  isi (cited: 16)  elib (cited: 11)  scopus (cited: 13)

   2003
65. С. С. Гончаров, Р. Доуни, Д. Хиршвельд, “Спектры степеней для отношений на булевых алгебрах”, Алгебра и логика, 42:2 (2003), 182–193  mathnet (цит.: 9)  mathscinet  zmath; S. S. Goncharov, R. Downey, D. Hirschfeldt, “Degree Spectra of Relations on Boolean Algebras”, Algebra and Logic, 42:2 (2003), 105–111  crossref  mathscinet  zmath  scopus (cited: 9)
66. М. М. Лаврентьев, Ю. Л. Ершов, С. С. Кутателадзе, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Г. Решетняк, В. Г. Романов, В. Д. Мазуров, “О Сергее Львовиче Соболеве”, Сиб. матем. журн., 44:5 (2003), 953–960  mathnet  mathscinet  zmath
67. Goncharov S.S., Lempp S., Solomon R., “THE COMPUTABLE DIMENSION OF ORDERED ABELIAN GROUPS”, Advances in Mathematics, 175:1 (2003), http://www.sciencedirect.com/science/article/pii/S0001870802000427 , 41 pp. http://www.sciencedirect.com/science/article/pii/S0001870802000427  crossref  mathscinet  zmath  isi (cited: 22)  elib (cited: 15)  scopus
68. Goncharov S.S., Harizanov V.S., Laskowski M.C., Lempp S., McCoy C.F.D., “TRIVIAL, STRONGLY MINIMAL THEORIES ARE MODEL COMPLETE AFTER NAMING CONSTANTS”, Proceedings of the American Mathematical Society, 131:12 (2003), 3901-3912  crossref  mathscinet  zmath  isi (cited: 13)  elib (cited: 13)  scopus (cited: 13)
69. Serikzhan Badaev, Sergey Goncharov, Andrea Sorbi, “Completeness and Universality of Arithmetical Numberings”, Computability and Models The University Series in Mathematics, Springer, 2003, 11-44  mathscinet
70. S. S. Goncharov, V. S. Harizanov, J. F. Knight, C. F. D. McCoy, “Simple and immune relations on countable structures”, Arch. Math. Logic, 42:3 (2003), 279–291  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 2)
71. С. С. Гончаров, А. Е. Гутман, Ю. Л. Ершов, С. С. Кутателадзе, В. Л. Макаров, А. М. Нахушев, Ю. Г. Решетняк, В. М. Тихомиров, Г. Н. Шотаев, “Анатолию Георгиевичу Кусраеву — 50 лет”, Владикавк. матем. журн., 5:1 (2003), 5–7  mathnet (цит.: 1)  mathscinet
72. [А.А. Никити, И.В. Силантьев, С.С. Гончаров и др., СПЕЦИАЛИЗИРОВАННОЕ ОБРАЗОВАНИЕ, Под ред. А.А. Никитина и И.В. Силантьева; Предисл. Н.Л. Добрецова; М-во образования Рос. Федерации, Новосиб. гос. ун-т. Специализир. учеб.-науч. центр физ.-мат. и хим.-биол. профиля. Новосибирск,, 2003  elib

   2002
73. С. С. Гончаров, Д. Ф. Найт, “Вычислимые структурные и антиструктурные теоремы”, Алгебра и логика, 41:6 (2002), 639–681  mathnet (цит.: 73)  mathscinet  zmath; S. S. Goncharov, J. F. Knight, “Computable Structure and Non-Structure Theorems”, Algebra and Logic, 41:6 (2002), 351–373  crossref  mathscinet  zmath  scopus (cited: 67)
74. С. С. Гончаров, C. Лемпп, Д. Соломон, “Фридберговские нумерации семейств $n$-вычислимо перечислимых множеств”, Алгебра и логика, 41:2 (2002), 143–154  mathnet (цит.: 18)  mathscinet  zmath; S. S. Goncharov, S. Lempp, R. Solomon, “Friedberg Numberings of Families of $n$-Computably Enumerable Sets”, Algebra and Logic, 41:2 (2002), 81–86  crossref  mathscinet  zmath  scopus (cited: 17)
75. Goncharov, SS, “Rigid relations on constructive models”, Doklady Mathematics, 65:3 (2002), 363-364  mathnet  mathscinet  zmath  isi
76. Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 52-54 pp.  mathscinet  elib (cited: 1)
77. Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 5 pp.  mathscinet

   2001
78. С. А. Бадаев, С. С. Гончаров, “О полурешетках Роджерса семейств арифметических множеств”, Алгебра и логика, 40:5 (2001), 507–522  mathnet (цит.: 14)  mathscinet  zmath; S. A. Badaev, S. S. Goncharov, “Rogers Semilattices of Families of Arithmetic Sets”, Algebra and Logic, 40:5 (2001), 283–291  crossref  mathscinet  zmath  scopus (cited: 11)
79. М. М. Лаврентьев, В. Л. Береснев, И. С. Борисов, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, А. А. Могульский, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Александр Алексеевич Боровков (к 70-летию со дня рождения)”, Сиб. матем. журн., 42:2 (2001), 243–248  mathnet (цит.: 1)  mathscinet  zmath

   2000
80. М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, С. С. Кутателадзе, П. И. Плотников, Ю. Г. Решетняк, В. Г. Романов, “Михаил Алексеевич Лаврентьев (к 100-летию со дня рождения)”, Сиб. матем. журн., 41:5 (2000), 969–983  mathnet (цит.: 1)  mathscinet  zmath
81. М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, В. Д. Мазуров, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Юрий Леонидович Ершов (к 60-летию со дня рождения)”, Сиб. матем. журн., 41:2 (2000), 243–246  mathnet (цит.: 1)  mathscinet
82. С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, УМН, 55:6(336) (2000), 173–182  mathnet  crossref  mathscinet  zmath  adsnasa  isi; S. S. Goncharov, I. A. Lavrov, V. D. Mazurov, A. A. Mal'tsev, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, D. M. Smirnov, “Yuri Leonidovich Ershov (on his 60th birthday)”, Russian Math. Surveys, 55:6 (2000), 1193–1204  crossref  mathscinet  zmath  isi
83. С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. А. Никитин, А. С. Морозов, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, Владикавк. матем. журн., 2:2 (2000), 3–9  mathnet  mathscinet  zmath

   1999
84. Ершов Ю. Л., Гончаров С. С., Конструктивные модели, (Сибирская школа алгебры и логики), Научная книга, Новосибирск, 1999 , 360 с.  mathscinet
85. Cholak, P; Goncharov, S; Khoussivnov, B; et al., “Computably categorical structures and expansions by constants Volume: 64 Issue: 1 Pages: 13-37 Published: MAR 1999”, Journal of Symbolic Logic, 64:1 (1999) , 24 pp.  crossref  mathscinet  zmath  isi (cited: 21)

   1998
86. CONSTRUCTIVE MODELS Ershov Yu.L., Goncharov S.S., “CHAPTER 2 ELEMENTARY THEORIES AND THEIR”, Studies in Logic and the Foundations of Mathematics, 138 (1998), http://www.sciencedirect.com/science/article/pii/S0049237X98800037 , 115-165 pp. http://www.sciencedirect.com/science/article/pii/S0049237X98800037  crossref  elib (cited: 1)  scopus
87. Goncharov, SS, “Decidable Boolean algebras of low level”, Annals of Pure and Applied Logic, 94:1-3 (1998), http://www.sciencedirect.com/science/article/pii/S0168007297000687 , 20 pp.  crossref  mathscinet  isi  scopus
88. Goncharov S.S., “Chapter 6 Autostable models and algorithmic dimensions Original Volume 138, 1998,”, Studies in Logic and the Foundations of Mathematics, 138 (1998), http://www.sciencedirect.com/science/article/pii/S0049237X98800074 , 17 pp.  scopus
89. Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, “Introduction to the handbook of Recursive Mathematics”, Studies in Logic and the Foundations of Mathematics, 138 (1998), http://www.sciencedirect.com/science/article/pii/S0049237X98800013 , vii-xlvi pp.  scopus
90. Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, “Introduction to the handbook of recursive mathematics”, Studies in Logic and the Foundations of Mathematics, 139 (1998), vii-xlvi  scopus
91. С. С. Гончаров, С. А. Бадаев, “Семейства с одноэлементной полурешеткой Роджерса”, Алгебра и логика, 37:1 (1998), 36–62  mathscinet  zmath; S. S. Goncharov, S. A. Badaev, “Families with one-element Rogers semilattice”, Algebra and Logic, 37:1 (1998), 21–34  crossref  mathscinet  zmath  scopus (cited: 1)

   1997
92. Goncharov S.S., Khusainov B., “ON THE SPECTRUM OF DEGREES OF DECIDABLE RELATIONS”, Doklady Mathematics, 55:1 (1997) , 7 pp.  mathscinet  zmath  elib (cited: 6)
93. Goncharov S. S., Countable Boolean algebras and decidability, Siberian School of Algebra and Logic, NY: Plenum. XII, Siberian School of Algebra and Logic, New-York, NY: Plenum. xii, New-York, 1997 , 318 с. с.  mathscinet  zmath
94. Goncharov, SS; Khusainov, B, “On degrees spectra of decidable relations”, Doklady Akademii Nauk, 352:3 (1997), 301-303  mathnet  mathscinet  zmath  isi (cited: 3)
95. Goncharov, Sergei S., Countable Boolean Algebras and Decidability, Algebraic Properties of Boolean Algebras. Elementary Classification of Boolean Algebras. Constructive Boolean Algebras. Index., Siberian School of Algebra and Logic, Springer, 1997 http://www.springer.com/mathematics/algebra/book/978-0-306-11061-0  mathscinet
96. С. С. Гончаров, А. Сорби, “Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса”, Алгебра и логика, 36:6 (1997), 621–641  mathscinet  zmath; S. S. Goncharov, A. Sorbi, “Generalized computable numerations and nontrivial Rogers semilattices”, Algebra and Logic, 36:6 (1997), 359–369  crossref  mathscinet  zmath  scopus (cited: 42)

   1996
97. Гончаров С. С., Счетные булевы алгебры и разрешимость, Сибирская школа алгебры и логики, Научная книга, Новосибирск, 1996 , 373 с.
98. Badaev, SA; Goncharov, SS; Ershov, YL; et al., “On computable minimal enumerations”, Algebra, 1996 , 21-33 pp.  zmath

   1995
99. С. С. Гончаров, М. Пурмахдиан, “Итерированные обогащения моделей счетных теорий и их приложения”, Алгебра и логика, 34:6 (1995), 623–645  mathscinet  zmath; S. S. Goncharov, M. Pourmahdian, “Iterated expansions of models for countable theories and their applications”, Algebra and Logic, 34:6 (1995), 346–358  crossref  mathscinet  zmath

   1994
100. S. S. Goncharov, “A unique positive enumeration”, Siberian Adv. Math., 4:1 (1994), 52–64  mathscinet  zmath

   1993
101. С. С. Гончаров, “Вычислимые классы конструктивизаций моделей конечного типа конструктивности”, Сиб. матем. журн., 34:5 (1993), 23–37  mathnet  mathscinet  zmath  isi; S. S. Goncharov, “Computable classes of constructivizations for models of finite computability type”, Siberian Math. J., 34:5 (1993), 812–824  crossref  mathscinet  zmath  isi  scopus (cited: 2)
102. Гончаров С. С., “Позитивные вычислимые нумерации”, Доклады АН СССР, 332:2 (1993) , 2 с.  zmath; GONCHAROV, SS, “POSITIVE COMPUTABLE ENUMERATIONS”, Doklady Akademii Nauk, 332:2 (1993) , 2 pp.  mathscinet  zmath
103. Гончаров С. С., “Эффективно бесконечные классы слабых конструктивизаций моделей”, Алгебра и логика, 32:6 (1993), 631-664  mathscinet  zmath; Goncharov S. S., “Effectively infinite classes of weak constructivizations of models”, Algebra and Logic Plenum Publ.Corp.,, 32:6 (1993), 342-360  crossref  mathscinet  zmath  scopus (cited: 4)
104. S. Goncharov, A. Yakhnis; V. Yakhnis, “Some effectively infinite classes of enumerations”, Annals of Pure and Applied Logic, 60:3 (1993) , 18 pp. http://www.sciencedirect.com/science/article/pii/016800729390076P  crossref  mathscinet  zmath  isi  scopus (cited: 3)
105. S. S. Goncharov, A. Yakhnis, V. Yakhnis, “Effectively infinite classes of enumerations”, Siberian Adv. Math., 3:1 (1993), 94–120  mathscinet  zmath
106. В. Н. Власов, С. С. Гончаров, “О сильной конструктивизируемости булевых алгебр элементарной характеристики $(1,1,0)$”, Алгебра и логика, 32:6 (1993), 618–630  mathscinet  zmath; V. N. Vlasov, S. S. Goncharov, “Strong constructibility of Boolean algebras of elementary characteristic $(1,1,0)$”, Algebra and Logic, 32:6 (1993), 334–341  crossref  mathscinet  zmath  scopus (cited: 7)
107. С. С. Гончаров, “Позитивные вычислимые нумерации”, Докл. РАН, 332:2 (1993), 142–143  mathnet (цит.: 1)  mathscinet  zmath; S. S. Goncharov, “Positive computable enumerations”, Dokl. Math., 48:2 (1994), 268–270  mathscinet  zmath

   1992
108. С. С. Гончаров, “Семейства с единственной позитивной нумерацией”, Вычисл. системы, 146 (1992), 96–104  mathscinet

   1991
109. С. С. Гончаров, “Об одном способе эффективной реализации программ в семантическом программировании”, Вычисл. системы, 139 (1991), 117–123  mathscinet

   1990
110. С. С. Гончаров, Ю. Л. Ершов, М. М. Лаврентьев, Л. Л. Максимова, Т. Г. Мустафин, С. П. Новиков, Е. А. Палютин, М. Г. Перетятькин, Ю. Г. Решетняк, Д. М. Смирнов, “Тайманов Асан Дабсович (некролог)”, УМН, 45:5(275) (1990), 171–173  mathnet (цит.: 1)  mathscinet  adsnasa  isi; S. S. Goncharov, Yu. L. Ershov, M. M. Lavrent'ev, L. L. Maksimova, T. G. Mustafin, S. P. Novikov, E. A. Palyutin, M. G. Peretyat'kin, Yu. G. Reshetnyak, D. M. Smirnov, “Asan Dabsovich Taimanov (obituary)”, Russian Math. Surveys, 45:5 (1990), 213–215  crossref  mathscinet  isi  scopus (cited: 1)

   1989
111. С. С. Гончаров, А. В. Молоков, Н. С. Романовский, “Нильпотентные группы конечной алгоритмической размерности”, Сибирский математический журнал, 30:1 (1989) , 7 с.  mathscinet; S. S. Goncharov, A. V. Molokov, N. S. Romanovskii, “Nilpotent groups of finite algorithmic dimension”, Siberian Mathematical Journal, 30:1 (1989) , 6 pp.  crossref  mathscinet  isi (cited: 15)  scopus (cited: 17)
112. С. С. Гончаров, “Характеризация аксиоматизируемых классов с сильными эпиморфизмами”, Тр. Ин-та математики СО АН СССР, 12 (1989), 24–39  mathscinet  zmath; S. S. Goncharov, “The characterization of axiomatizable classes with strong epimorphisms”, Sib. Adv. Math., 1:2 (1991), 57–76  mathscinet  zmath
113. С. С, Гончаров, Б. Н. Дроботун, “Об алгоритмической размерности нильпотентных групп”, Сиб. мат. журн., 30:2 (1989), 52–60  mathscinet; S. S. Goncharov, B. N. Drobotun, “Algorithmic dimension of nilpotent groups”, Siberian Math. J., 30:2 (1989), 210–217  crossref  mathscinet  zmath  isi (cited: 2)  scopus (cited: 3)
114. С. С. Гончаров, Д. И. Свириденко, “Логическое программирование в широком смысле”, Вычисл. системы, 129 (1989), 3–48  mathscinet  zmath

   1988
115. С. С. Гончаров, “Семейство с единственной однозначной, но не наименьшей нумерацией”, Тр. Ин-та математики СО АН СССР, 8 (1988), 42–58  mathscinet  zmath

   1987
116. Yu. L. Ershov, S. S. Goncharov, D. I. Sviridenko, “Semantic foundations of programming”, Lecture Notes in Computer Science, 278 (1987), 116-122  crossref  zmath  isi (cited: 10)  scopus (cited: 8)
117. S. S. Goncharov, “Axiomatizable classes with strong homomorphisms”, Studia Logica, 46:2 (1987), 113–120  crossref  mathscinet  zmath  scopus
118. С. С. Гончаров, В. Д. Дзгоев, “Позитивные модели и абстрактные типы данных”, Вычисл. системы, 122 (1987), 47–58  mathscinet  zmath
119. С. С. Гончаров, Д. И. Свириденко, “$\Sigma^{+}$-программы и их семантики”, Вычисл. системы, 120 (1987), 24–51  mathscinet  zmath

   1986
120. S. S. Goncharov, D. I. Sviridenko, “Theoretical aspects of $\Sigma$-programming”, Lecture Notes in Computer Science, 215 (1986) , 10 pp.  mathscinet  zmath  isi (cited: 9)
121. С. С. Гончаров, Д. И. Свириденко, “Математические основы семантического программирования”, Доклады АН СССР, 289:6 (1986), 1324-1328  mathnet (цит.: 5)  mathscinet  zmath; S. S. Goncharov, D. I. Sviridenko, “Mathematical principles of semantic programming”, Doklady Akademii Nauk SSSR, 289:6 (1986), 1324-1328  mathnet  mathscinet  zmath  isi (cited: 3)
122. С. С. Гончаров, “Теория списков и ее модели”, Вычисл. системы, 114 (1986), 84–95  mathscinet  zmath
123. С. С. Гончаров, “Замечание об аксиомах списочной надстройки GES”, Вычисл. системы, 114 (1986), 11–15  mathscinet  zmath
124. С. С. Гончаров, “Об аксиомах для классов с сильными гомоморфизмами”, Вычисл. системы, 116 (1986), 140–155  mathscinet  zmath

   1985
125. C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$-categoricity”, Алгебра и логика, 24:6 (1985), 718–727  mathscinet  zmath; C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$-categoricity”, Algebra and Logic, 24:6 (1985), 471–476  crossref  mathscinet  zmath  scopus (cited: 3)
126. S. S. Goncharov, “Axioms for classes with strong epimorphisms”, Proceedings of the third Easter conference on model theory (Gross Köris, 1985), Seminarberichte, 70, Humboldt Univ., Berlin, 1985, 99–102  mathscinet  zmath
127. S. S. Goncharov, “Strongly constructive models”, Proceedings of the third Easter conference on model theory (Gross Köris, 1985), Seminarberichte, 70, Humboldt Univ., Berlin, 1985, 103–114  mathscinet  zmath
128. С. С. Гончаров, “Модели данных и языки их описаний”, Вычисл. системы, 107 (1985), 52–70  mathscinet  zmath; S. S. Goncharov, “Data models and languages for their description”, Am. Math. Soc. Translations – Series 2, 143 (1989), 139–152  zmath
129. С. С. Гончаров, Д. И. Свириденко, “$\Sigma$-программирование”, Вычисл. системы, 107 (1985), 3–29  mathscinet  zmath; S. S. Goncharov, D. I. Sviridenko, “$\Sigma$-programming”, Am. Math. Soc. Translations – Series 2, 142 (1989), 101–121  zmath

   1984
130. С. С. Гончаров, А. А, Новиков, “Примеры неавтоустойчивых систем”, Сиб. мат. журн., 25:4 (1984), 37–45  crossref  mathscinet  zmath  isi  scopus (цит.: 2); S. S. Goncharov, A. A. Novikov, “Examples of nonautostable systems”, Siberian Math. J., 25:4 (1984), 538–545  crossref  mathscinet  zmath  scopus (cited: 2)

   1983
131. С. С. Гончаров, “Универсальные рекурсивно перечислимые булевы алгебры”, Сиб. мат. журн., 24:6 (1983), 36-43  crossref  mathscinet  zmath  isi  scopus; S. S. Goncharov, “Universal recursively enumerable Boolean algebras”, Siberian Math. J., 24:6 (1983), 852–858  crossref  mathscinet  zmath  scopus
132. С. С. Гончаров, “Позитивные нумерации семейств с однозначными нумерациями”, Алгебра и логика, 22:5 (1983), 481–488  mathscinet  zmath; S. S. Goncharov, “Positive numerations of families with one-valued numerations”, Algebra and Logic, 22:5 (1983), 345–350  crossref  mathscinet  zmath  scopus (cited: 5)

   1982
133. С. С. Гончаров, “Предельно эквивалентные конструктивизации”, Тр. Ин-та математики СО АН СССР, 2, Институт математики СО АН СССР, 1982, 4–12  mathscinet  zmath
134. S. S. Goncharov, V. D. Dzgoev, K. F. Samokhvalov and D. I. Sviridenko., Handbook of mathematical logic. Part I. Model theory, Translation edited and with a preface by Yu. L. Ershov, E. A. Palyutin and A. D. Taǐmanov. With a supplement by Palyutin., Nauka, Moscow, 1982 , 392 pp.  mathscinet

   1981
135. С. С. Гончаров, “Группы с конечным числом конструктивизаций”, Доклады АН СССР, 256 (1981) , 4 с.  mathscinet  zmath; S. S. Goncharov, “Groups with a finite number of constructivizations”, Soviet Math. Dokl., 23:2 (1981) , 4 pp.  mathscinet  zmath  isi (cited: 12)
136. С. С. Гончаров, “Группы с конечным числом конструктивизаций”, Докл. АН СССР, 256:2 (1981), 269–272  mathnet (цит.: 2)  mathscinet  zmath

   1980
137. С. С. Гончаров, “Тотально трансцендентная теория с неконструктивизируемой простой моделью”, Сиб. мат. журн., 21:1 (1980) , 6 с.  mathnet (цит.: 1)  crossref  mathscinet  zmath  isi  isi  scopus (цит.: 1); S. S. Goncharov, “Totally transcendental theory with a nonconstructivizable prime model”, Siberian Math. J., 21:1 (1980), 32–37  crossref  mathscinet  zmath  isi
138. С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Докл. АН СССР, 251:2 (1980) , 271-274 с.  mathscinet  zmath  isi (цит.: 10); S. S. Goncharov, “The problem of the number of nonautoequivalent constructivizations”, Soviet. Math. Dokl., 21 (1980) , 411-414 pp.  mathscinet  zmath
139. С. С. Гончаров, Б. Н. Дроботун, “О нумерациях насыщенных и однородных моделей”, Сиб. мат. журн., 21:2 (1980), 25–41  mathscinet  zmath  isi (цит.: 1); S. S. Goncharov, B. N. Drobotun, “Numerations of saturated and homogeneous models”, Siberian Math. J., 21:2 (1980), 164–176  crossref  mathscinet  zmath  scopus (cited: 5)
140. С. С. Гончаров, “Автоустойчивость моделей и абелевых групп”, Алгебра и логика, 19:1 (1980), 23–44  mathscinet  zmath; S. S. Goncharov, “Autostability of models and Abelian groups”, Algebra and Logic, 19:1 (1980), 13–27  crossref  mathscinet  zmath  scopus (cited: 49)
141. С. С. Гончаров, В. Д. Дзгоев, “Автоустойчивость моделей”, Алгебра и логика, 19:1 (1980), 45–58  mathscinet  zmath; S. S. Goncharov, V. D. Dzgoev, “Autostability of models”, Algebra and Logic, 19:1 (1980), 28–37  crossref  mathscinet  zmath  scopus (cited: 86)
142. С. С. Гончаров, “Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей”, Алгебра и логика, 19:2 (1980), 137–149  mathscinet; S. S. Goncharov, “A totally transcendental decidable theory without constructivizable homogeneous models”, Algebra and Logic, 19:2 (1980), 85–93  crossref  mathscinet  scopus (cited: 8)
143. С. С. Гончаров, “Вычислимые однозначные нумерации”, Алгебра и логика, 19:5 (1980), 507–551  mathscinet; S. S. Goncharov, “Computable single-valued numerations”, Algebra and Logic, 19:5 (1980), 325–356  crossref  zmath  scopus (cited: 21)
144. С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Алгебра и логика, 19:6 (1980), 621–639  mathscinet; S. S. Goncharov, “Problem of the number of non-self-equivalent constructivizations”, Algebra and Logic, 19:6 (1980), 401–414  crossref  mathscinet  zmath  scopus (cited: 55)
145. С. С. Гончаров, “Проблема числа неавтоэквивалентных конструктивизаций”, Докл. АН СССР, 251:2 (1980), 271–274  mathnet (цит.: 4)  mathscinet  zmath

   1978
146. С. С. Гончаров, “Конструктивные модели $\aleph_1$-категоричных теорий”, Матем. заметки, 23:6 (1978), 885–888  mathnet (цит.: 4)  mathscinet  zmath; S. S. Goncharov, “Constructive models of $\aleph_1$-categorical theories”, Math. Notes, 23:6 (1978), 486–487  crossref  mathscinet  zmath  scopus (cited: 2)
147. С. С. Гончаров, “Сильная конструктивизируемость однородных моделей”, Алгебра и логика, 17:4 (1978), 363–388  mathscinet  zmath; S. S. Goncharov, “Strong constructivizability of homogeneous models”, Algebra and Logic, 17:4 (1978), 247–263  crossref  mathscinet  scopus (cited: 21)

   1977
148. С. С. Гончаров, “О числе неавтоэквивалентных конструктивизаций”, Алгебра и логика, 16:3 (1977), 257–282  mathscinet  zmath; S. S. Goncharov, “The quantity of nonautoequivalent constructivizations”, Algebra and Logic, 16:3 (1977), 169–185  crossref  mathscinet  scopus (cited: 37)

   1976
149. С. С. Гончаров, “Неавтоэквивалентные конструктивизации атомных булевых алгебр”, Матем. заметки, 19:6 (1976), 853–858  mathnet  mathscinet  zmath; S. S. Goncharov, “Non-self-equivalent constructivization of atomic Boolean algebras”, Math. Notes, 19:6 (1976), 500–503  crossref  mathscinet  zmath  scopus (cited: 2)
150. С. С. Гончаров, “Ограниченные теории конструктивных булевых алгебр”, Сиб. мат. журн., 17:4 (1976), 797–812  mathscinet  zmath; S. S. Goncharov, “Restricted theories of constructive Boolean algebras”, Siberian Math. J., 17:4 (1976), 601–611  crossref  mathscinet  scopus (cited: 10)

   1975
151. С. С. Гончаров, “Автоустойчивость и вычислимые семейства конструктивизаций”, Алгебра и логика, 14:6 (1975), 647–680  mathscinet  zmath; S. S. Goncharov, “Autostability and computable families of constructivizations”, Algebra and Logic, 14:6 (1975), 392–409  crossref  mathscinet  scopus (cited: 53)
152. С. С. Гончаров, “Некоторые свойства конструктивизаций булевых алгебр”, Сиб. мат. журн., 16:2 (1975), 264–278  mathscinet  zmath; S. S. Goncharov, “Some properties of the constructivization of Boolean algebras”, Siberian Math. J., 16:2 (1975), 203–214  crossref  mathscinet  zmath  scopus (cited: 29)

   1974
153. С. С. Гончаров, Конструктивные булевы алгебры, диссертация кандидата физико-математических наук, Издательство Института математики СО АН СССР, Новосибирск, 1974 , 121 с.

   1973
154. С. С. Гончаров, “Конструктивизируемость суператомных булевых алгебр”, Алгебра и логика, 12:1 (1973) , 9 с.  mathscinet; S. S. Goncharov, “Constructivizability of superatomic Boolean algebras”, Algebra and Logic, 12:1 (1974) , 6 pp.  crossref  mathscinet  scopus (cited: 23)
155. С. С. Гончаров, А. Т. Нуртазин, “Конструктивные модели полных разрешимых теорий”, Алгебра и логика, 12:2 (1973) , 8 с.  mathscinet; S. S. Goncharov, A. T. Nurtazin, “Constructive models of complete solvable theories”, Algebra and Logic, 12:2 (1974) , 11 pp.  crossref  mathscinet  scopus (cited: 41)

Доклады и лекции в базе данных Math-Net.Ru
1. The computability via definability in semantic modeling
Sergei S. Goncharov
Logical Perspectives 2018
17 мая 2018 г. 11:30   
2. Decidability, complexity and index sets of classes of computable models
С. С. Гончаров
Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
18 июля 2016 г. 12:10   
3. Математические исследования в Институте математики им. С. Л. Соболева СО РАН и взаимодействие с институтами и университетами Сибири
С. С. Гончаров
Общее собрание Отделения математических наук РАН, 2016
21 марта 2016 г. 14:30   
4. Открытие конференции
С. С. Гончаров
Междкнародная конференция, посвященная 90-летию со дня рождения Г. И. Марчука "Современные проблемы вычислительной математики и математического моделирования"
8 июня 2015 г. 15:00   

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