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


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. Неразрешимость теорий печ. ДАН СССР,1964777-779
симметрических и прос- 158,N4
тых конечных групп
9. Элементарные теории печ. Успехи матем.37-108 И.А.Лавров
наук,1965,20, А.Д.Тайманов
N4 М.А.Тайцлин
10. Неразрешимость некото- печ. ДАН СССР,196527-29
рых полей 161,N1
11. Об элементарной теории печ. ДАН СССР,196521-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. О полях с разрешимой печ. ДАН СССР,196719-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. Об элементарных теорияхпеч. ДАН СССР,19721240-1243
групп 203,N6
43. Существование конструк-печ. ДАН СССР,19721041-1044
тивизаций 204,N5
44. О соотношении сноп- печ. в сб.Исследо-18-20
пространств и нумерован- вания по кон-
ных множеств со свойст- структивной
вами С*2 матем-ке и
мат.логике,
Ленинград,V,
1972
45. Непрерывные решетки и печ. ДАН СССР,1972523-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. Полулокальные поля печ. ДАН СССР,197441-44
215,N1
58. О модели теории BR печ. ДАН СССР,19741004-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,Foundat3-9
te" of Math.Comp.
Dordrecht-
Nolland,1977
67. Model C of continuous печ. Logic Coll'76455-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. Нормирование тел и печ. ДАН СССР,1978768-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. Регулярно замкнутые печ. ДАН СССР,1980783-785
поля 251,N4
77. Кратно нормированные печ. ДАН СССР,1980274-277
поля 253,N2
78. О проконечных группах печ. Алгебра и ло-552-565
гика, 1980,
19,N5
79. Проблемы разрешимости ипеч. "Наука", 19801-416
конструктивные модели
80. Frattini covers and печ. Mathem.Anna- 233-239 M.Fried
projective groups with- len.,1980,253
out the extension pro-
perty
81. Об элементарных теорияхпеч. ДАН СССР,1981271-274
регулярно замкнутых 257,N2
полей
82. Элиминируемость кванто-печ. ДАН СССР,198116-20
ров в регулярно замкну- 258,N1
тых полях
83. Алгебраические свойств печ. Труды МИАН, 80-86
регулярно замкнутых 1981,т.158
полей
84. How does algebra help печ. Algorithms in462-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. Вполне вещественные печ. ДАН СССР,19821047-1049
расширения полей 263,N5
89. Абсолютная неприводи- печ. Алгебра и ло-530-536
мость и свойства ген- гика,1982,21,
зелизаций N5
90. Регулярно r-замкнутые печ. ДАН СССР,1982538-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-пере- печ. ДАН СССР,1983786-788
числения 270,N4
96. Динамическая логика надпеч. ДАН СССР,19831045-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.Сильная неотделимость ипеч. ДАН БАН ,19841139-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-определимость печ. ДАН СССР,1985792-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 Appl197-208
Galois groups Logic 43,1989
122.Форсинг в допустимых печ. Алгебра и ло-648-658
множествах гика,1990,29,
N6
123.Характеризация колец печ. ДАН СССР,199133-36
Кочена PCM-полей 316,N1
124.Проективные Г-группы печ. ДАН СССР,1991798-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/Plenum1-300 С.С.Гончаров
2000 (моно-
графия)
175.Свойств решеток, со- печ.Алгебра и ло-66-73
храняющиеся при свобод- гика,т.39,N1,
ных произведениях 2000
176.Об удивительных расшире-печ. Доклады РАН, 15-16
ниях поля рациональных 373,N1
чисел