Список научных трудов

---

NN	Наименование	печ.,	Наименование	Кол-во печ.	Фамил.
		рук.	издательств,	листов или	соавт.
			журнал (год,	стр.
			номер) или
			авт.свид.
1.	Об аксиоматизируемых	печ.	Алгебра и ло-	32-44
	классах моделей с бес-		гика, 1962,1,
	конечной сигнатурой		N4
2.	О гипотезе В.А.Успенс-	печ.	Алгебра и ло-	45-48
	кого		гика, 1962,1,
			N4
3.	Разрешимость элементар-	печ.	Алгебра и ло-	37-41
	ных теорий некоторых		гика, 1962,1,
	классов абелевых групп		N4
4.	Неразрешимость некото-	печ.	Алгебра и ло-	37-42	М.А.Тайцлин
	рых теорий		гика, 1964,2,
			N5
5.	Разрешимость некоторых	печ.	Алгебра и ло-	45-47
	неэлементарных теорий		гика,1964, 3,
			N2
6.	Разрешимость элементар-	печ.	Алгебра и ло-	17-38
	ной теории дитрибутив-		гика,1964, 5,
	ных структур с относи-		N5
	тельными дополнениями и
	теории фильтров
7.	Об элементарных теориях	печ.	Успехи матем.	194-195	М.А.Тайцлин
	классов конечных моде-		наук,1964,12,
	лей		N2
8.	Неразрешимость теорий	печ.	ДАН СССР,1964	777-779
	симметрических и прос-		158,N4
	тых конечных групп
9.	Элементарные теории	печ.	Успехи матем.	37-108	И.А.Лавров
			наук,1965,20,		А.Д.Тайманов
			N4		М.А.Тайцлин
10.	Неразрешимость некото-	печ.	ДАН СССР,1965	27-29
	рых полей		161,N1
11.	Об элементарной теории	печ.	ДАН СССР,1965	21-23
	максимальных нормиро-		165,N1
	ванных полей
12.	Об элементарных теориях	печ.	Алгебра и ло-	5-30
	локальных полей		гика,1965, 4,
			N2
13.	Об элементарной теории	печ.	Алгебра и ло-	31-70
	максимальных нормиро-		гика,1965, 4,
	ванных полей		N3
14.	Об элементарной теории	печ.	Алгебра и ло-	47-48
	максимальных нормиро-		гика,1965, 4,
	ванных полей II (резюме)		N6
15.	Об элементарной теории	печ.	Алгебра и ло-	5-40
	максимальных нормиро-		гика,1965, 5,
	ванных полей II		N1
16.	Новые примеры неразре-	печ.	Алгебра и ло-	37-45
	шимых теорий		гика,1966, 5,
			N5
17.	Элементарные теории по-	печ.	Международн.	143-145
	лей		конгресс ма-
			тематиков.Те-
			зисы докладов
			по приглашен.
			1966
18.	О полях с разрешимой	печ.	ДАН СССР,1967	19-20
	теорией		174,N1
19.	Об элементарной теории	печ.	Алгебра и ло-	31-38
	максимальных нормиро-		гика,1967, 6,
	ванных полей III		N3
20.	О рациональных точках	печ.	Алгебра и ло-	39-49
	над Гензелевыми полями		гика,1967, 6,
			N3
21.	Нумерация семейств об-	печ.	Сиб.мат.журн.	1015-1026
	щерекурсивных функций		1967,8,N5
22.	Об элементарных теориях	печ.	Алгебра и ло-	5-15
	многообразий Поста		гика,1967, 2,
			N5
23.	Об одной иерархии мно-	печ.	Алгебра и ло-	47-74
	жеств I		гика,1968, 7,
			N1
24.	Ограниченные теории	печ.	Алгебра и ло-	38-47
	вполне упорядоченных		гика,1968, 7,
	множеств		N3
25.	Об одной иерархии мно-	печ.	Алгебра и ло-	15-47
	жеств II		гика,1968, 7,
			N4
26.	О вычислимых нумерациях	печ.	Алгебра и ло-	71-99
			гика,1968, 7,
			N8
27.	Numbered fields	печ.	Proceed.of	31-34
			III ICLMPS,
			Amsterdam,
			1968
28.	О вычислимых нумерациях	печ.	Алгебра и ло-	65-71
	II		гика,1969, 8,
			N1
29.	О числе линейных поряд-	печ.	Математичес-	201-211
	ков на поле		кие заметки,
			1969, 6, N2
30.	Полно нумерованные мно-	печ.	Сиб.мат.журн.	1048-1064
	жества		1969, 10, N5
31.	Замечания об одной про-	печ.	Алгебра и ло-	497
	блеме Роджерса		гика,1969, 8,
			N5
32.	Гиперпростые m-степени	печ.	Алгебра и ло-	523-552
			гика,1968, 8,
			N5
33.	Теория нумераций I	печ.	НГУ, 1969	11 печ.л.
34.	О полях с двумя линей-	печ.	Матем.заметки	525-526	С.В.Бредихин
	ными порядками		1970, 7, N5		В.Е.Кальней
35.	Об одной иерархии мно-	печ.	Алгебра и ло-	34-51
	жеств III		гика,1970, 9,
			N1
36.	Об индексных множествах	печ.	Сиб.мат.журн.	326-343
			1970, 11, N2
37.	О неотделимых парах	печ.	Алгебра и ло-	661-666
			гика,1970, 9,
			N6
38.	Вычислимые нумерации	печ.	Алгебра и ло-	247-308
	морфизмов		гика,1971,10,
			N3
39.	Позитивные эквивалент-	печ.	Алгебра и ло-	620-650
	ности		гика,1971,10,
			N6
40.	La theorie des enumera-	печ.	Actes Congr.	223-227
	tions		intern.math.,
			1970,1971
41.	Теория нумераций	печ.	В сб. Междун.	96-101
			конгр.матема-
			тиков в Ницце
			1970,Доклады
			советских ма-
			тем-ов,1971
42.	Об элементарных теориях	печ.	ДАН СССР,1972	1240-1243
	групп		203,N6
43.	Существование конструк-	печ.	ДАН СССР,1972	1041-1044
	тивизаций		204,N5
44.	О соотношении сноп-	печ.	в сб.Исследо-	18-20
	пространств и нумерован-		вания по кон-
	ных множеств со свойст-		структивной
	вами С*2		матем-ке и
			мат.логике,
			Ленинград,V,
			1972
45.	Непрерывные решетки и	печ.	ДАН СССР,1972	523-526
	А-пространства		207,N3
46.	Вычислимые функционалы	печ.	Алгебра и ло-	367-437
	конечных типов		гика,1972,11,
			N4
47.	Всюду определенные	печ.	Алгебра и ло-	656-665
	функционалы		гика,1972,11,
			N6
48.	Теория f-пространств	печ.	VI Всесоюзная	50-51
			топол.конфер.
			Тбилиси,Тез.,
			1972
49.	Теория нумераций II	печ.	Новосибирск,	1-70
			НГУ,1973
50.	Верхняя полурешетка	печ.	Алгебра и ло-	167-189	И.А.Лавров
	L(g)		гика,1973,12,
			N2
51.	Теория А-пространств	печ.	Алгебра и ло-	369-476
			гика,1973,12,
			N4
52.	Иерархия множеств	печ.	Proceed.of	69-76
	класса D02		IV ICLMPS,
			Amsterdam,
			1973
53.	Конструктивные модели	печ.	В сб."Избран.	111-130
			вопр. алгебры
			и логики",
			Новосибирск,
			1973
54.	Математическая логика	печ.	Новосибирск,	1-60	Е.А.Палют	н
			НГУ,1973		М.А.Тайцлин
55.	Theorie der Numerie-	печ.	Zeitsch.Math.	289-388
	rung		Logic,Gr.Math
			1973,19
56.	Сколемовские функции	печ.	Алгебра и ло-	644-654
	и констуктивные модели		гика,1973,12,
			N6
57.	Полулокальные поля	печ.	ДАН СССР,1974	41-44
			215,N1
58.	О модели теории BR	печ.	ДАН СССР,1974	1004-1006
			217,N5
59.	Theories of nonabelian	печ.	Proceed.Symp.	289-388
	varietes of groups		Pure Math.XXV
			1974
60.	Теория нумераций III	печ.	Новосибирск,	1-140
			НГУ,1974
61.	Максимальные и всюду	печ.	Алгебра и ло-	374-397
	определенные функциона-		гика,1974,13,
	лы		N4
62.	Верхняя полурешетка ну-	печ.	Алгебра и ло-	258-284
	мераций конечного мно-		гика,1975,14,
	жества		N3
63.	Theorie der Numerierun-	печ.	Zeitsch.Math.	289-388
	gen II		Log.Gr.Math.,
			1975,21
64.	Наследственно эффектив-	печ.	Алгебра	ло-	642-654
	ные операции		гика,1976,15,
			N6
65.	Теoрия нумераций	печ.	"Наука",1977	1-416
66.	Constructions "by Fini-	печ.	Logic,Foundat	3-9
	te"		of Math.Comp.
			Dordrecht-
			Nolland,1977
67.	Model C of continuous	печ.	Logic Coll'76	455-467
	functionals		Amsterdam,
			1977
68.	Абелевы группы	печ.	Мат.энцикл.,	17-20
			1977
69.	Нумерация класса	печ.	Алгебра и ло-	637-642
	C*2		гика,1977,16,
			N6
70.	Theorie der Numerirun-	печ.	Zeitsch.Math.	285-371
	gen III		Log.Gr.Math.,
			1977,23,N4
71.	Нормирование тел и	печ.	ДАН СССР,1978	768-771
	группа SK1		238,N4
72.	Об алгебраических ком-	печ.	Алгебра и ло-	684-692
	пактных группах		гика,1978,17,
			N6
73.	Математическая логика	печ.	Изд."Наука",	17 п.л.	Е.А.Палютин
			1979
74.	Об алгебраически ком-	печ.	Алгебра и ло-	408-414
	пактных группах II		гика,1979,18,
			N4
75.	Дистрибутивные решетки	печ.	Алгебра и ло-	680-722
	с относительными допол-		гика,1979,18,
	нениями		N6
76.	Регулярно замкнутые	печ.	ДАН СССР,1980	783-785
	поля		251,N4
77.	Кратно нормированные	печ.	ДАН СССР,1980	274-277
	поля		253,N2
78.	О проконечных группах	печ.	Алгебра и ло-	552-565
			гика, 1980,
			19,N5
79.	Проблемы разрешимости и	печ.	"Наука", 1980	1-416
	конструктивные модели
80.	Frattini covers and	печ.	Mathem.Anna-	233-239	M.Fried
	projective groups with-		len.,1980,253
	out the extension pro-
	perty
81.	Об элементарных теориях	печ.	ДАН СССР,1981	271-274
	регулярно замкнутых		257,N2
	полей
82.	Элиминируемость кванто-	печ.	ДАН СССР,1981	16-20
	ров в регулярно замкну-		258,N1
	тых полях
83.	Алгебраические свойств	печ.	Труды МИАН,	80-86
	регулярно замкнутых		1981,т.158
	полей
84.	How does algebra help	печ.	Algorithms in	462-463
	to solve problems from		Modern Math.
	the theory of algo-		and Comput.
	rithms (example)		Sci.
			ed.A.P.Ershov
			D.E.Knuth,
			LNCS,N122,1981
85.	Неразрешимость регуляр-	печ.	Алгебра и ло-	389-394
	но замкнутых полей		гика,1981,20,
			N4
86.	Гензелевы нормирования	печ.	Мат.сборник,	60-68
	тел и групп SK1		1982,117,N1
87.	Кратно нормированные	печ.	УМН,1982,37,	55-93
	поля		N3
88.	Вполне вещественные	печ.	ДАН СССР,1982	1047-1049
	расширения полей		263,N5
89.	Абсолютная неприводи-	печ.	Алгебра и ло-	530-536
	мость и свойства ген-		гика,1982,21,
	зелизаций		N5
90.	Регулярно r-замкнутые	печ.	ДАН СССР,1982	538-540
	поля		266,N3
91.	w-полные А-пространства	печ.	Кибернетика,	7-10
			1982,N6
92.	Две теоремы о регулярно	печ.	Препринт ИМ	3-28
	r-замкнутых полях		СО АН СССР,
			N10,1982
93.	Нормирования тел	печ.	Пятый всесо-	53-55
			юзный симп.по
			теории колец,
			алгебр и мо-
			дулей,Новоси-
			бирск,1982
94.	Алгоритмические пробле-	печ.	В:Справочной	268-353
	мы теории полей (поло-		книге по мат.
	жительные аспекты)		логике,ч.III,
			Наука,1982
95.	Принцип S-пере-	печ.	ДАН СССР,1983	786-788
	числения		270,N4
96.	Динамическая логика над	печ.	ДАН СССР,1983	1045-1048
	допустимыми множествами		273,N5
97.	Инволюторные группы	печ.	Алгебра и ло-	260-275
			гика,1983,22,
			N3
98.	Регулярно r-замкнутые	печ.	Алгебра и ло-	382-402
	поля		гика,1983,22,
			N4
99.	Two theorems on regula-	печ.	Journ.reine	164-167
	rly r-closed fields		angew.Math.,
			347,1984
100.	Сильная неотделимость и	печ.	ДАН БАН ,1984	1139-1142
	k-наследственность		37,N9
101.	Регулярно r-замкнутые	печ.	Алгебра и ло-	637-669
	поля со слабоунивер-		гика,1984,23,
	сальными группами Галуа		N6
102.	О группах Галуа макси-	печ.	Мат.заметки,	913-923
	мальных 2-расширений		т.36,N6,1984
103.	Реализуемые i-группы	печ.	Некоторые	48-60
			проблемы и
			задачи анали-
			за и алгебры
			НГУ,1985
104.	S-предикаты ко-	печ.	Алгебра и ло-	499-536
	нечных типов над допус-		гика,1985,24,
	тимым множеством		N6
105.	S-определимость	печ.	ДАН СССР,1985	792-795
	в допустимых множествах		285,N4
106.	Об отображении ограни-	печ.	Сибирский	47-54
	чения пространств по-		мат.ж.,1986,
	рядков полей		27,N2
107.	Язык S-выраже-	печ.	Логические	3-10
	ний		вопр.теории
			типов д нных,
			Выч.системы,
			114,Новосиб.,
			ИМ,1986
108.	S-допустимые	печ.	Логические	35-39
	множеств		вопр.теории
			типов данных,
			Выч.системы,
			114,Новосиб.,
			ИМ,1986
109.	fA-пространства	печ.	Алгебра и ло-
			гика,1986,25,
			N5
110.	Semantic programming	печ.	INFORMATION	1093-1100	S.S.
			PROCESSING 86		Goncharov,
			North-Holland		D.I.
			1986		Sviridenko
111.	О новом подходе к мето-	печ.	в сб."Законо-	85-105	К.Ф.
	дологии математики		мерности раз-		Самохвалов
			вития соврем.
			математики",
			Наука,1987
112.	Методологические аспек-	печ.	в сб."Научное	154-184	С.С
	ты семантического прог-		знание: логи-		Гончаров,
	раммирования		ка,понятия,		Д.И.
			структура",		Свириденко
			Новосибирск,
			"Наука",1987
113.	Математическая логика,	печ.	"Наука",1987	19 п.л.	Е.А.Палютин
	2 издание
114.	Порождаемость допусти-	печ.	Алгебра и ло-	577-596
	мых множеств		гика,1987,26,
			N5
115.	Semantic foundation of	печ.	in: Fundamen-	116-122	S.S.
	programming		tals of Com-		Goncharov
			putation The-		D.I.
			ory,ed:L.Bu-		Sviridenko
			dach,R.Bukha-
			rajev,O.Lupa-
			nov,LNCS,1987
			N278
116.	Естественный паралле-	печ.	в сб.:"Форма-	6-16	С.С.
	лизм семантических		льные модели		Гончаров
	программ		паралельных		Д.И.
			вычислений,		Свириденко
			Новосибирск,
			ВЦ СОРАН,1988
117.	Инвариантная порождае-	печ.	Сибирский	109-11
	мость		мат.журнал,
			1988,29,N5
118.	Когензелевы расширения	печ.	Алгебра и ло-	649-658
	и гензелизация тел		гика,1988,27,
			N6
119.	Любое семейство подмно-	печ.	Сиб.мат.журн.	65-67
	жеств порождает допус-		30,1989,N6
	тимое множество
120.	О вопросе Ярдина-Шелаха	печ.	Алгебра и ло-	640-642
			гика,1989,28,
			N6
121.	RRC-fields with small	печ.	Ann.Pure Appl	197-208
	Galois groups		Logic 43,1989
122.	Форсинг в допустимых	печ.	Алгебра и ло-	648-658
	множествах		гика,1990,29,
			N6
123.	Характеризация колец	печ.	ДАН СССР,1991	33-36
	Кочена PCM-полей		316,N1
124.	Проективные Г-группы	печ.	ДАН СССР,1991	798-801
			318,N4
125.	PCp-fields with	печ.	Sib.Adv.Math.	1-26
	universal Galois group		1991,1,N4
126.	Проективные произведе-	печ.	Алгебра и ло-	638-651
	ния проконечных групп		гика,1991,30,
			N6
127.	Всякая проективная	печ.	Алгебра и ло-	119-131
	C2-группа реализуема		гика,1992,31,
			N2
128.	Булевы семейства колец	печ.	Алгебра и ло-	276-296
	нормирований		гика,1992,31,
			N3
129.	Относительная регуляр-	печ.	Алгебра и ло-	592-623
	ная замкнутость и		гика,1992,31,
	p-нормирования		N6
130.	Булевы семейства колец	печ.	Алгебра и ло-	261-266
	нормирований II		гика,1993,32,
			N3
131.	Элементарные регулярные	печ.	Алгебра и ло-	387-401
	кольца		гика,1993,32,
			N4
132.	Максимальные RCp-	печ.	Алгебра и ло-	497-518
	поля		гика,1993,32,
			N5
133.	Theory of domains and	печ.	in Formal Me-	1-7
	and nearby		thods in Pro-
			gramming and
			their Aplica-
			tions,ed.
			D.Borner,
			M.Broy, I.Po-
			ttosin,LNCS,
			1993,N735
134.	Относительно регулярно	печ.	Докл.РАН,332,	286-288
	замкнутые поля		N3(1993)
135.	О группах Галуа	печ.	Докл.РАН,334,	275-277
	RCz-полей		N3(1994)
136.	Теоретико-модельные	печ.	Докл.РАН,555,	138-141
	свойств RC*-полей		N2(1994)
137.	Теорем Левенгейма-Ску-	печ.	Вычисл.систе-	3-8
	лема-Мальцев для опре-		мы,148(1993)
	делимых моделей
138.	К теореме Спектора-Ган-	печ.	Вычисл.систе-	9-17
	ди для -допустимых		мы,148(1993)
	множеств
139.	Разрешимость теории	печ.	Докл.РАН,336,	733-736
	класса полей Ft*	N6(1994)
140.	RC*-поля	печ.	Алгебра и ло-	367-386
			гика,1994,33,
			N34
141.	Введение в логику и ме-	печ.	Москв ,Интер-	18,2 п.л.	С.С.
	тодологию науки		пракс,Новоси-		Гончаров
			бирск,ИМСОРАН		К.Ф.
			1994		Самохвалов
142.	Поля с непрерывными ло-	печ.	Алгебра и ло-	628-653
	кальными элементарными		гика,1994,33,
	свойствами I		N6
143.	S-definability in	печ.	Abstracts of	47
	HF(L)		Papers NSL'94
			Kanazawa,Ja-
			pan,1994
144.	Определимость в наслед-	печ.	Докл.РАН,340,	12-14
	ственно конечных над-		N1(1995)
	стройках
145.	Поля с непрерывными ло-	печ.	Алгебра и ло-	262-273
	кальными элементарными		гика,1995,34,
	свойствами II		N3
146.	Projectivity of absolu-	печ.	Algebra,Proc-	61-78
	te Galois groups of		eed.III Int-
	RCz-fields		ern.Conf.Alg-
			ebra(Krasnoy-
			arsk,1993),
			ed.Y.Ershov,
			E.Khukhro,
			V.Levchuk,
			N.Podufalov,
			de Grueter,
			1996
147.	Хорошие локально-гло- ипеч.	Докл.РАН,343,	731-733
	бальные поля		N6(1995)
148.	S-определимость	печ.	Научная книга	75 стр.
	и теорема Геделя о не-		НИИ МИОО НГУ,
	полноте		Новосибирск,
			1995
149.	Model theory of nice	печ.	Volume of	71-72
	global fields		abstracts
			X ICLMPC,
			1996,Florence
150.	Theory of numberings	печ.	Препринт НИИ	1-38
			МИОО НГУ,N18,
			1996
151.	The bounded-complete	печ.	Theoret.Com-	3-13
	hull of an a-		put.Sci.1997,
	space		N175
152.	Определимость и вычис-	печ.	Научная книга	300 стр.
	лимость		НИИ МИОО НГУ,
			Новосибирск,
			1996
153.	Definability and Compu-	печ.	Plenum Publ.	270 стр.
	tability		Corp.New-York
			London,Mos-
			kow,1996
154.	Свободные D*-	печ.	Алгебра и ло-	154-172
	группы		гика,1996,35,
			N2
155.	Хорошие локально-гло-	печ.	Алгебра и ло-	411-423
	бальные поля I		гика,1996,35,
			N4
156.	Хорошие локально-гло-	печ.	Алгебра и ло-	503-528
	бальные поля II		гика,1996,35,
			N5
157.	Хорошие локально-гло-	печ.	Сиб.мат.журн.	526-532
	бальные поля III и	1997,38,N3
158.	О полулокальных полях	печ.	Доклады РАН	596-598
			1997,353,Э5
159.	О свободных произведе-	печ.	Доклады АН,	583-585
	ниях абсолютных групп		т.357,N5,1997
	Галуа
160.	О d-пространствах	печ.	Препринт НИИ	11-14
			МИОО НГУ,N30,
			1997
161.	Поля с непрерывными	печ.	Алгебра и ло-	642-656
	локальными элементарны-		гика,т.36,N6,
	ми свойствами III		1997
162.	К теореме Куроша	печ.	Алгебра и ло-	381-393
			гика,т.37,N4,
			1998
163.	Elementary theories and	печ.	Handbook of	115-166	С.С.Гончаров
	their constructive mo-		Recursive Ma-
	dels		thematics,v.1
			P.1,1998
164.	S-definability	печ.	Handbook of	235-260
	of algebraic structures		Recursive Ma-
			thematics,v.1
			P.1,1998
165.	On d-spaces	печ.	Theoret.Com-	59-72
			put.Sci.N224,
			1999
166.	Theory of numberings	печ.	Handbook of	473-501.
			Computability
			theory,Stud.
			in Logic and
			Foundations
			of Mathematics,
			v.140,1999
167.	On injective hull and	печ.	Novi Sad Jour-	201-206
	bc-hull of a T0-		nal of Math.,
	space		v.29,N3,1999
168.	Почти регулярно прюфе-	печ.	Математичес-	72-120
	ровы кольца		кие труды,т.2
			N1,1999
169.	Равномерно малые	печ.	Алгебра и ло-	24-39
	D*-группы		гика,т.38,N1,
			1999
170.	D-пространства	печ.	Алгебра и ло-	667-679
			гика,т.38,N6,
			1999
171.	О существенных расшире-	печ.	Доклады АН,	299-302
	ниях T0-пространств		т.368,N3,1999
172.	Конструктивные модел	печ.	Научная книга	1-345	С.С.Гончаров
			ИДМИ, Новоси-
			бирск, 1999
173.	Кратно нормированные	печ.	Научная книга	1-320
	поля		ИДМИ, Новоси-
			2000
174.	Constructive models	печ.	Kluwer/Plenum	1-300	С.С.Гончаров
			2000 (моно-
			графия)
175.	Свойств решеток, со-	печ.	Алгебра и ло-	66-73
	храняющиеся при свобод-		гика,т.39,N1,
	ных произведениях		2000
176.	Об удивительных расшире-	печ.	Доклады РАН,	15-16
	ниях поля рациональных		373, N1
	чисел