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

Публикаций: 142
Научных статей: 127
в MathSciNet: 92
в zbMATH: 72
в Web of Science: 43
в Scopus: 28
Цитированных статей: 78
Ссылок в Math-Net.Ru: 164
Ссылок в MathSciNet: 472
Ссылок в Web of Science: 181
Ссылок в Scopus: 105
Лекций и докладов: 3

Статистика просмотров:
Эта страница:3713
Страницы публикаций:8093
Полные тексты:2379
Списки литературы:444
Гончаров Сергей Савостьянович
академик РАН
профессор
доктор физико-математических наук (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
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=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

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



   2015
1. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей нетривиальных сигнатур”, Докл. АН, 461:2 (2015), 140–142  crossref  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  zmath  isi (cited: 2)  elib  scopus (cited: 2)
2. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры”, Алгебра и логика, 54:2 (2015), 163–192  mathnet (цит.: 4)  crossref  mathscinet (цит.: 4)  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  isi (cited: 4)  scopus
3. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. мат. журн., 56:3 (2015), 498–512 http://math.nsc.ru/smz/2015/03/498.html  mathnet (цит.: 3)  crossref  crossref  mathscinet (цит.: 1)  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: 2)  isi (cited: 2)  elib (cited: 1)  scopus (cited: 4)
4. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей естественных классов”, Докл. АН, 464:1 (2015), 12–14  crossref  elib (цит.: 1)
5. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 2015 (в печати)  elib (цит.: 3)
6. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015) (в печати)
7. С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Сиб. журн. чист. и прикл. матем., 15:3 (2015), 51–60  mathnet (цит.: 1)  crossref  elib
8. Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества $n$-разрешимых структур, категоричных относительно $m$-разрешимых представлений”, Алгебра и логика, 54:4 (2015), 520–528  mathnet  crossref  mathscinet (цит.: 2)  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  scopus
9. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 54:6 (2015), 663–679  mathnet (цит.: 1)  crossref  mathscinet (цит.: 3)  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: 2)  scopus (cited: 2)
10. С. С. Гончаров, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, Е. П. Вдовин, А. В. Васильев, Е. А. Палютин, А. А. Никитин, М. В. Швидефски, Л. А. Бокуть, И. П. Шестаков, Е. И. Хухро, “Юрий Леонидович Ершов (к 75-летию со дня рождения)”, Сиб. матем. журн., 56:3 (2015), 477–480  mathnet  mathscinet

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

   2013
12. С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 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)
13. С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 43–67  mathnet (цит.: 6)  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)
14. С. С. Гончаров, Ю. Л. Ершов, В. М. Левчук, В. Д. Мазуров, В. И. Сенашов, А. И. Созутов, Н. С. Черников, “Владимир Петрович Шунков”, УМН, 68:4(412) (2013), 177–178  mathnet  crossref  mathscinet  adsnasa  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
15. П. Е. Алаев, О. В. Богопольский, А. В. Васильев, С. С. Гончаров, Ю. Л. Ершов, В. Д. Мазуров, Л. Л. Максимова, А. С. Морозов, С. П. Одинцов, Д. Е. Пальчунов, В. Г. Пузаренко, В. В. Рыбаков, К. Л. Рычков, А. Н. Ряскин, И. А. Тайманов, А. С. Филюрин, Д. Г. Храмцов, В. А. Чуркин, “Сергей Ильич Мардаев (6.04.1962–10.04.2013)”, Сиб. электрон. матем. изв., 10 (2013), 30–34  mathnet

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

   2011
17. С. С. Гончаров, “Степени автоустойчивости относительно сильных конструктивизаций”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 119–129  mathnet (цит.: 9)  mathscinet (цит.: 6)  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: 4)  elib (cited: 1)  scopus (cited: 5)
18. Гончаров С.С., Дроботун Б.Н., Никитин А.А., ОСНОВАНИЯ ДИДАКТИКИ ОБУЧЕНИЯ ЛОГИКО-АЛГЕБРАИЧЕСКИМ ДИСЦИПЛИНАМ В ВЫСШЕЙ ШКОЛЕ монография : в 2 ч. / С. С. Гончаров, Б. Н. Дроботун, А. А. Никитин, Ч.1 : Научно-теоретические и идейно-методологические предпосылки / Учреждение Рос. акад. образования “Ин-т пед. исслед. одаренности детей”, Изд-во ИПИО РАО, Новосибирск, 2011 , 269 с., Основания дидактики обучения логико-алгебраическим дисциплинам в высшей школе [Текст] : [монография : в 2 ч.] / С. С. Гончаров, Б. Н. Дроботун, А.А. Никитин ; . - - 2011. -с. : ил. - Библиогр.: с. 258-264 . - http://elibrary.ru/item.asp?id=19465508
19. Иванисенко В.А., Подколодный Н.Л., Деменков П.С., Иванисенко Т.В., Подколодная О.А., Игнатьева Е.В., Хлебодарова Т.М., Подколодная Н.Н., Ананько Е.А., Гончаров С.С., Колчанов Н., “ИЗВЛЕЧЕНИЕ ЗНАНИЙ ИЗ ТЕКСТОВ НАУЧНЫХ ПУБЛИКАЦИЙ И СОЗДАНИЕ БАЗ ЗНАНИЙ В ОБЛАСТИ НАНОБИОТЕХНОЛОГИИ”, Российские нанотехнологии, 6:7-8 (2011) , 7 с.  elib (цит.: 1)
20. Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (II)”, Педагогические заметки, 4:2 (2011) , 17 с.  elib
21. 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: 1)  elib (cited: 1)
22. А. А. Боровков, С. К. Годунов, С. С. Гончаров, А. Н. Коновалов, И. А. Лавров, В. Д. Мазуров, Л. Л. Максимова, А. А. Мальцев, Б. Г. Михайленко, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Ю. Г. Решетняк, “Юрий Леонидович Ершов (к семидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 201–204  mathnet  crossref  mathscinet  zmath  adsnasa  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
23. С. С. Гончаров, “Об автоустойчивости относительно сильных конструктивизаций почти простых моделей”, УМН, 65:5(395) (2010), 107–142  mathnet (цит.: 2)  crossref  mathscinet (цит.: 2)  zmath  adsnasa  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
24. Гончаров С.С., Дроботун Б.Н., Никитин А.А., “К ПРОБЛЕМЕ ФОРМИРОВАНИЯ И РАЗВИТИЯ ФУНДАМЕНТАЛЬНЫХ ОСНОВ ЛОГИЧЕСКОГО ОБРАЗОВАНИЯ В СРЕДНЕЙ ОБЩЕОБРАЗОВАТЕЛЬНОЙ ШКОЛЕ (I)”, Педагогические заметки, 3 (2010) , 13 с.  elib
25. 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 (cited: 5)
26. С. С. Гончаров, А. Г. Кусраев, С. С. Кутателадзе, И. А. Лавров, В. Д. Мазуров, А. С. Морозов, М. В. Семëнова, “Ершов Юрий Леонидович (к семидесятилетию со дня рождения)”, Владикавк. матем. журн., 12:2 (2010), 75–78  mathnet

   2009
27. С. С. Гончаров, “Автоустойчивость простых моделей относительно сильных конструктивизаций”, Алгебра и логика, 48:6 (2009), 729–740  mathnet (цит.: 4)  mathscinet (цит.: 2)  zmath  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)
28. 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 (cited: 12)  zmath  elib (cited: 15)
29. 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: 2)
30. Гончаров С.С., ЛЕКЦИИ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки высшего профессионального образования 010100 Математика и специальности 010101 Математика : [в 2 ч.] / С. С. Гончаров ;, Федеральное агентство по образованию, Новосибирский гос. ун-т, Механико-мат. фак.. Новосибирск,, 2009  elib

   2008
31. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Несколько замечаний о пополнениях нумераций”, Сиб. матем. журн., 49:5 (2008), 986–991  mathnet  mathscinet  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
32. Гончаров С.С, “О ДВУХ ПРОБЛЕМАХ ТЬЮРИНГОВОЙ СЛОЖНОСТИ ДЛЯ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Доклады Академии наук, 420 (2008), 589-591  mathnet  mathscinet  zmath  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
33. Гончаров С.С., “АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ СЧЕТНЫХ МОДЕЛЕЙ СИЛЬНО МИНИМАЛЬНЫХ ТЕОРИЙ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика., 8, 2 (2008) , 6 с.  elib
34. 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
35. Гончаров С.С., Когабаев Н.Т., “О $\Sigma$01-КЛАССИФИКАЦИИ ОТНОШЕНИЙ НА ВЫЧИСЛИМЫХ СТРУКТУРАХ”, Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика, 8 (2008) , 9 с.  elib
36. 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
37. Деменков П.С., Яркова Е.Э., Иванисенко В.А., Гончаров С.С., Колчанов Н.А., “Предсказание изменения термодинамической стабильности белков при одиночных аминокислотных заменах”, Системная компьютерная биология, Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]. -, Интеграционные проекты СО РАН; вып. 14, ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 269-275 http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
38. Иванисенко В.А., Деменков П.С., Фомин Э.С., Крестьянова М.А., Ошурков И.С., Иванисенко Т.В., Иванисенко Н.В., Пинтус С.С., Яркова Е.Э., Степаненко И.Л., Сурнина Н.Ю., Гончаров С.С., Колчанов Н.А., “Распознавание функциональных сайтов в пространственных структурах белков”, Системная компьютерная биология ; Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., Рос. акад. наук, Сиб. отд-ние, Ин-т цитологии и генетики [и др.]., (Интеграционные проекты СО РАН; вып. 14), ред. / отв. ред. Н.А. Колчанов, С.С. Гончаров, В.А. Лихошвай, В.А. Иванисенко, Изд-во СО РАН, Новосибирск, 2008, 231-244 http://www.prometeus.nsc.ru/contents/integrpr/014.ssi
39. С. С. Гончаров, Н. Т. Когабаев, “О $\Sigma^0_1$-классификации отношений на вычислимых структурах”, Вестн. НГУ. Сер. матем., мех., информ., 8:4 (2008), 23–32  mathnet (цит.: 1)
40. С. С. Гончаров, “Алгоритмическая сложность счетных моделей сильно минимальных теорий”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 38–53  mathnet
41. С. С. Гончаров, Б. Н. Дроботун, “О роли математической логики в образовании по математическим направлениям”, Вестн. НГУ. Сер. матем., мех., информ., 8:1 (2008), 15–25  mathnet

   2007
42. 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  zmath  isi (cited: 6)  elib (cited: 4)
43. 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
44. Гончаров С.С., МАТЕМАТИЧЕСКАЯ ЛОГИКА учебное пособие, / С. С. Гончаров ; Федеральное агентство по образованию, Новосибирский гос. ун-т, Мех.-мат. фак.. Новосибирск, Том Ч. 1, 2007  elib

   2006
45. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешëток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 45:6 (2006), 637–654  mathnet (цит.: 3)  mathscinet (цит.: 2)  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: 3)
46. С. С. Гончаров, “Приветственное обращение Главного редактора к читателям”, Вестн. НГУ. Сер. матем., мех., информ., 6:3 (2006), 3–4  mathnet
47. С. С. Гончаров, “Александр Васильевич Кажихов. 1946–2005”, Вестн. НГУ. Сер. матем., мех., информ., 6:2 (2006), 3–5  mathnet

   2005
48. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Об элементарных теориях полурешëток Роджерса”, Алгебра и логика, 44:3 (2005), 261–268  mathnet (цит.: 5)  mathscinet (цит.: 3)  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: 4)
49. С. С. Гончаров, В. С. Харизанова, Д. Ф. Найт, А. С. Морозов, А. В. Ромина, “Об автоморфных кортежах элементов в вычислимых моделях”, Сиб. матем. журн., 46:3 (2005), 523–532  mathnet (цит.: 3)  mathscinet (цит.: 1); 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: 3)
50. 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 (cited: 40)  zmath  isi (cited: 43)  elib (cited: 55)  scopus
51. С. С. Гончаров, А. С. Морозов, С. П. Одинцов, “9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)”, Сиб. электрон. матем. изв., 2 (2005), 10–11  mathnet  zmath

   2004
52. С. С. Гончаров, Б. Хусаинов, “Сложность теорий вычислимых категоричных моделей”, Алгебра и логика, 43:6 (2004), 650–665  mathnet (цит.: 19)  mathscinet (цит.: 18)  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: 17)
53. С. С. Гончаров, Ч. Ф. Мак-Кой, Д. Ф. Найт, В. С. Харизанова, “Относительно гипериммунные отношения на структурах”, Алгебра и логика, 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
54. 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 (cited: 12)  zmath  isi (cited: 14)  elib (cited: 11)

   2003
55. С. С. Гончаров, Р. Доуни, Д. Хиршвельд, “Спектры степеней для отношений на булевых алгебрах”, Алгебра и логика, 42:2 (2003), 182–193  mathnet (цит.: 9)  mathscinet (цит.: 1)  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: 8)
56. М. М. Лаврентьев, Ю. Л. Ершов, С. С. Кутателадзе, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Г. Решетняк, В. Г. Романов, В. Д. Мазуров, “О Сергее Львовиче Соболеве”, Сиб. матем. журн., 44:5 (2003), 953–960  mathnet  mathscinet  zmath
57. 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 (cited: 12)  zmath  isi (cited: 18)  elib (cited: 15)  scopus
58. 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 (cited: 11)  zmath  isi (cited: 12)  elib (cited: 13)
59. Serikzhan Badaev, Sergey Goncharov, Andrea Sorbi, “Completeness and Universality of Arithmetical Numberings”, Computability and Models The University Series in Mathematics, Springer, 2003, 11-44
60. 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 (cited: 2)  zmath  isi (cited: 1)
61. С. С. Гончаров, А. Е. Гутман, Ю. Л. Ершов, С. С. Кутателадзе, В. Л. Макаров, А. М. Нахушев, Ю. Г. Решетняк, В. М. Тихомиров, Г. Н. Шотаев, “Анатолию Георгиевичу Кусраеву — 50 лет”, Владикавк. матем. журн., 5:1 (2003), 5–7  mathnet (цит.: 1)  mathscinet
62. [А.А. Никити, И.В. Силантьев, С.С. Гончаров и др., СПЕЦИАЛИЗИРОВАННОЕ ОБРАЗОВАНИЕ, Под ред. А.А. Никитина и И.В. Силантьева; Предисл. Н.Л. Добрецова; М-во образования Рос. Федерации, Новосиб. гос. ун-т. Специализир. учеб.-науч. центр физ.-мат. и хим.-биол. профиля. Новосибирск,, 2003  elib

   2002
63. С. С. Гончаров, Д. Ф. Найт, “Вычислимые структурные и антиструктурные теоремы”, Алгебра и логика, 41:6 (2002), 639–681  mathnet (цит.: 55)  mathscinet (цит.: 8)  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: 43)
64. С. С. Гончаров, C. Лемпп, Д. Соломон, “Фридберговские нумерации семейств $n$-вычислимо перечислимых множеств”, Алгебра и логика, 41:2 (2002), 143–154  mathnet (цит.: 9)  mathscinet (цит.: 6)  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: 7)
65. Goncharov, SS, “Rigid relations on constructive models”, Doklady Mathematics, 65:3 (2002), 363-364  mathnet  zmath  isi
66. Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 52-54 pp.  elib (cited: 1)
67. Goncharov, SS; Khusainov, BK, “Complexity of categorical theories with computable models”, Doklady Mathematics, 66:1 (2002) , 5 pp.

   2001
68. С. А. Бадаев, С. С. Гончаров, “О полурешетках Роджерса семейств арифметических множеств”, Алгебра и логика, 40:5 (2001), 507–522  mathnet (цит.: 9)  mathscinet (цит.: 7)  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: 7)
69. М. М. Лаврентьев, В. Л. Береснев, И. С. Борисов, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, А. А. Могульский, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Александр Алексеевич Боровков (к 70-летию со дня рождения)”, Сиб. матем. журн., 42:2 (2001), 243–248  mathnet (цит.: 1)  mathscinet  zmath

   2000
70. М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, Ю. Л. Ершов, С. С. Кутателадзе, П. И. Плотников, Ю. Г. Решетняк, В. Г. Романов, “Михаил Алексеевич Лаврентьев (к 100-летию со дня рождения)”, Сиб. матем. журн., 41:5 (2000), 969–983  mathnet (цит.: 1)  mathscinet  zmath
71. М. М. Лаврентьев, В. Л. Береснев, А. А. Боровков, С. К. Годунов, С. С. Гончаров, В. Д. Мазуров, С. С. Кутателадзе, Ю. Г. Решетняк, В. Г. Романов, “Юрий Леонидович Ершов (к 60-летию со дня рождения)”, Сиб. матем. журн., 41:2 (2000), 243–246  mathnet (цит.: 1)  mathscinet
72. С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, УМН, 55:6(336) (2000), 173–182  mathnet  crossref  mathscinet  zmath  adsnasa; 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
73. С. С. Гончаров, И. А. Лавров, В. Д. Мазуров, А. А. Мальцев, А. А. Никитин, А. С. Морозов, Е. А. Палютин, Д. М. Смирнов, “Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)”, Владикавк. матем. журн., 2:2 (2000), 3–9  mathnet  mathscinet  zmath

   1999
74. Ершов Ю. Л., Гончаров С. С., Конструктивные модели, (Сибирская школа алгебры и логики), Научная книга, Новосибирск, 1999 , 360 с.
75. 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 (cited: 18)  zmath  isi (cited: 20)

   1998
76. 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
77. 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
78. 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
79. 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
80. 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
81. С. С. Гончаров, С. А. Бадаев, “Семейства с одноэлементной полурешеткой Роджерса”, Алгебра и логика, 37:1 (1998), 36–62  mathscinet (цит.: 1); S. S. Goncharov, S. A. Badaev, “Families with one-element Rogers semilattice”, Algebra and Logic, 37:1 (1998), 21–34  crossref

   1997
82. Goncharov S.S., Khusainov B., “ON THE SPECTRUM OF DEGREES OF DECIDABLE RELATIONS”, Doklady Mathematics, 55:1 (1997) , 7 pp.  zmath  elib (cited: 6)
83. 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 с. с.
84. Goncharov, SS; Khusainov, B, “On degrees spectra of decidable relations”, Doklady Akademii Nauk, 352:3 (1997), 301-303  mathnet  mathscinet (cited: 5)  zmath  isi (cited: 2)
85. 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
86. С. С. Гончаров, А. Сорби, “Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса”, Алгебра и логика, 36:6 (1997), 621–641  mathscinet (цит.: 21); S. S. Goncharov, A. Sorbi, “Generalized computable numerations and nontrivial Rogers semilattices”, Algebra and Logic, 36:6 (1997), 359–369  crossref

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

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

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

   1993
91. С. С. Гончаров, “Вычислимые классы конструктивизаций моделей конечного типа конструктивности”, Сиб. матем. журн., 34:5 (1993), 23–37  mathnet  mathscinet  zmath; 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
92. Гончаров С. С., “Позитивные вычислимые нумерации”, Доклады АН СССР, 332:2 (1993) , 2 с.; GONCHAROV, SS, “POSITIVE COMPUTABLE ENUMERATIONS”, Doklady Akademii Nauk, 332:2 (1993) , 2 pp.
93. Гончаров С. С., “Эффективно бесконечные классы слабых конструктивизаций моделей”, Алгебра и логика, 32:6 (1993), 631-664  mathscinet (цит.: 1); 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
94. 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 (cited: 1)  zmath  isi  scopus
95. S. S. Goncharov, A. Yakhnis, V. Yakhnis, “Effectively infinite classes of enumerations”, Siberian Adv. Math., 3:1 (1993), 94–120  mathscinet (cited: 1)
96. В. Н. Власов, С. С. Гончаров, “О сильной конструктивизируемости булевых алгебр элементарной характеристики $(1,1,0)$”, Алгебра и логика, 32:6 (1993), 618–630  mathscinet (цит.: 3); 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  zmath

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

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

   1990
99. С. С. Гончаров, Ю. Л. Ершов, М. М. Лаврентьев, Л. Л. Максимова, Т. Г. Мустафин, С. П. Новиков, Е. А. Палютин, М. Г. Перетятькин, Ю. Г. Решетняк, Д. М. Смирнов, “Тайманов Асан Дабсович (некролог)”, УМН, 45:5(275) (1990), 171–173  mathnet (цит.: 1)  mathscinet (цит.: 1)  adsnasa; 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

   1989
100. С. С. Гончаров, А. В. Молоков, Н. С. Романовский, “Нильпотентные группы конечной алгоритмической размерности”, Сибирский математический журнал, 30:1 (1989) , 7 с.  mathscinet (цит.: 11); S. S. Goncharov, A. V. Molokov, N. S. Romanovskii, “Nilpotent groups of finite algorithmic dimension”, Siberian Mathematical Journal, 30:1 (1989) , 6 pp.  crossref  isi (cited: 14)
101. С. С. Гончаров, “Характеризация аксиоматизируемых классов с сильными эпиморфизмами”, Тр. Ин-та математики СО АН СССР, 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  zmath
102. С. С, Гончаров, Б. Н. Дроботун, “Об алгоритмической размерности нильпотентных групп”, Сиб. мат. журн., 30:2 (1989), 52–60  mathscinet (цит.: 1); S. S. Goncharov, B. N. Drobotun, “Algorithmic dimension of nilpotent groups”, Siberian Math. J., 30:2 (1989), 210–217  crossref  zmath  isi (cited: 2)
103. С. С. Гончаров, Д. И. Свириденко, “Логическое программирование в широком смысле”, Вычисл. системы, 129 (1989), 3–48  mathscinet (цит.: 1)  zmath

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

   1987
105. 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: 1)
106. S. S. Goncharov, “Axiomatizable classes with strong homomorphisms”, Studia Logica, 46:2 (1987), 113–120  crossref  mathscinet  zmath
107. С. С. Гончаров, В. Д. Дзгоев, “Позитивные модели и абстрактные типы данных”, Вычисл. системы, 122 (1987), 47–58  mathscinet  zmath
108. С. С. Гончаров, Д. И. Свириденко, “$\Sigma^{+}$-программы и их семантики”, Вычисл. системы, 120 (1987), 24–51  mathscinet  zmath

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

   1985
114. C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$-categoricity”, Алгебра и логика, 24:6 (1985), 718–727  mathscinet; C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$-categoricity”, Algebra and Logic, 24:6 (1985), 471–476  crossref  zmath
115. 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
116. 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
117. С. С. Гончаров, “Модели данных и языки их описаний”, Вычисл. системы, 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
118. С. С. Гончаров, Д. И. Свириденко, “$\Sigma$-программирование”, Вычисл. системы, 107 (1985), 3–29  mathscinet (цит.: 3)  zmath; S. S. Goncharov, D. I. Sviridenko, “$\Sigma$-programming”, Am. Math. Soc. Translations – Series 2, 142 (1989), 101–121  zmath

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

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

   1982
122. С. С. Гончаров, “Предельно эквивалентные конструктивизации”, Тр. Ин-та математики СО АН СССР, 2, Институт математики СО АН СССР, 1982, 4–12  mathscinet (цит.: 9)  zmath
123. 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 (cited: 2)

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

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

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

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

   1976
136. С. С. Гончаров, “Неавтоэквивалентные конструктивизации атомных булевых алгебр”, Матем. заметки, 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
137. С. С. Гончаров, “Ограниченные теории конструктивных булевых алгебр”, Сиб. мат. журн., 17:4 (1976), 797–812  mathscinet (цит.: 9); S. S. Goncharov, “Restricted theories of constructive Boolean algebras”, Siberian Math. J., 17:4 (1976), 601–611  crossref

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

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

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

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

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