Академик Ю - Механико-математический факультет

advertisement
СПИСОК
научных и учебно-методических трудов
академика РАН, д.ф.-м.н.
ЕРШОВА Юрия Леонидовича
№
Название работы, ее вид
1
2
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
Форма работы
Издательство, журнал (год, номер)
3
а) научные работы
4
Объем
в п.л.
или
стр.
5
Об аксиоматизируемых классах
моделей с бесконечной сигнатурой
(статья)
О гипотезе Успенского (статья)
печ.
Алгебра и логика, Т.1,
N4, 1962, 32-44
13 с.
печ.
4 с.
Неразрешимость некоторых теорий
(статья)
Разрешимость элементарных теорий
некоторых классов абелевых групп
(статья)
Разрешимость элементарных теорий
некоторых классов абелевых групп
(тезисы)
Разрешимые и неразрешимые теории
печ.
Алгебра и логика, Т.1,
N4, 1962, 45-48
Алгебра и логика, Т.2,
N5, 1963, 37-42
Алгебра и логика, Т.2,
N6, 1963, 37-41
Тезисы 1-й научн.студ.
конф., НГУ,
Новосибирск, 1963, 36
Автореферат кандидат.
дис., Новосибирск, 1964
Докл. АН СССР, Т.158,
N4, 1964, 777-779
1 с.
Soviet Math.Dokl., v.5,
1964, 1309-1311
Успехи мат. Наук, Т.19,
N 2, 1964, 194-195
Алгебра и логика, Т.3,
N2, 1964, 45-47
Алгебра и логика, Т.3,
N3., 1964, 17-38
3 с.
печ.
печ.
рук..
Неразрешимость теорий
симметрических и простых конечных
групп (статья)
Unsolvability of theories of symmetric
and simple finite groups (статья)
Об элементарных теориях классов
конечных моделей (статья)
Разрешимость некоторых
элементарных теорий (статья)
Разрешимость элементарной теории
дистрибутивных структур с
относительными дополнениями и
теории фильтров (статья)
Неразрешимость некоторых полей
(статья)
Undecidability of certain fields (статья)
печ.
Об элементарной теории
максимальных нормированных полей
(статья)
On the elementary theory of maximal
normed fields (статья)
Об элементарной теории
максимальных нормированных полей
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
6 с.
Соавторы
6
М.А.Тайцлин
5 с.
5 с.
3 с.
2 с.
3 с.
22 с.
Докл. АН СССР, Т.161,
N1, 1965, 27-29
Soviet Math.Dokl., v.6,
1965, 349-352
Докл. АН СССР, Т.165,
N1, 1965, 21-23
3 с.
Soviet Math.Dokl., v.6,
1965, 1390-1393
Алгебра и логика, Т.4,
N3, 1965, 31-70
4 с.
4 с.
3 с.
40 с.
М.А.Тайцлин
19.
(статья)
Об элементарной теории
максимальных нормированных полей
II. (резюме)
Об элементарных теориях локальных
полей (статья)
Элементарные теории (статья)
20.
Elementary theories (статья)
печ.
Russian Math. Surveys,
v.20, N4, 1965, 35-105
71 с.
21.
Об элементарной теории
максимальных нормированных полей
II. (статья)
Новые примеры неразрешимых
теорий (статья)
Элементарные теории полей
(тезисный доклад по приглашению)
Элементарная теория полей
печ.
Алгебра и логика, Т.5,
N1, 1966, 5-40
36 с.
печ.
9 с.
Нумерации семейств
общерекурсивных функций (статья)
О полях с разрешимой теорией
(статья)
Fields with a solvable theory (статья)
печ.
печ.
33.
О рациональных точках над
гензелевыми полями (статья)
Об элементарной теории
максимальных нормированных
полей. III (статья)
Об элементарных теориях
многообразий Поста (статья)
Анатолий Иванович Мальцев:
(некролог)
Anatolii Ivanovich Mal’tsev: Obituary
(некролог)
Об одной иерархии множеств (статья)
Алгебра и логика, Т.5,
N5, 1966, 37-45
Межд. конгр. математ.,
М., 1966, 143-145
Автореф. Докторской
дисерт., Новосибирск,
1966
СМЖ, Т.8, N5, 1967,
1015-1025
Докл. АН СССР, Т.174,
N1, 19-20
Soviet Math. Dokl., v.8,
1967, 575-576
Алгебра и логика, Т.6,
N3, 1967, 39-49
Алгебра и логика, Т.6,
N3, 1967, 31-38│
34.
A hierarchy of sets (статья)
печ.
35.
Ограниченные теории вполне
упорядоченных множеств (статья)
Restricted theories of well ordered sets
печ.
печ.
38.
Об одной иерархии множеств. II
(статья)
A hierarchy of sets. II (статья)
39.
О вычислимых нумерациях. I (статья)
печ.
40.
On computable enumerations. I (статья)
печ.
41.
Numbered fields (статья)
печ.
17.
18.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
36.
37.
печ.
Алгебра и логика, Т.4,
N6, 1965, 47-48
печ.
Алгебра и логика, 1965,
Т.4, N2, 1965, 5-30│
Успехи мат. наук, Т.20,
N4, 1965, 37-108
26 с.
печ.
печ.
рук.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
Алгебра и логика, Т.6,
N5, 1967, 7-15
Успехи мат. Наук, Т.23,
N3, 1968, 159-170
Russian Math. Surveys,
v.23, N3, 1968, 157-168
Алгебра и логика, Т.7,
N1, 1968, 47-74
Algebra and Logic, v.7,
25-43
Алгебра и логика, Т.7,
N3, 1968, 38-47│
Algebra and Logic, v.7,
1968, 181-187
Алгебра и логика, Т.7,
N4, 1968, 15-47
Algebra and Logic, v.7,
1968, 212-232
Алгебра и логика, Т.7,
N5, 1968, 71-99
Algebra and Logic, v.7,
1968, 330-346
Proceed. of III
ICLMPS’67, Amsterdam,
1968, 31-35
2 с.
72 с.
И.А.Лавров
А.Д.Тайманов
М.А.Тайцлин
I.A.Lavrov
A.D.Tajmanov
M.A.Taitslin
3 с.
9 с.
11 с.
2 с.
2 с.
11 с.
8 с.
9 с.
12 с.
12 с.
28 с.
19 с.
10 с.
7 с.
33 с.
21 с.
29 с.
17 с.
5 с.
П.С.Александров
и др.
P.S.Aleksandrov
et al.
печ.
45.
О вычислимых нумерациях. II
(статья)
On computable enumerations. II
(статья)
Замечания об одной проблеме
Роджерса (статья)
Note on a problem of Rogers (статья)
46.
Гиперпростые m-степени (статья)
печ.
47.
Hyper-hypersimple m-degrees (статья)
печ.
48.
О числе линейных порядков на поле
(статья)
The number of linear orders on a field
(статья)
Полно нумерованные множества
(статья)
Completely enumerated sets (статья)
печ.
печ.
53.
Об одной иерархии множеств. III
(статья)
On a hierarchy of sets. III (статья)
54.
О неотделимых парах (статья)
печ.
55.
On inseparable pairs (статья)
печ.
56.
Об индексных множествах (статья)
печ.
57.
On index sets (статья)
печ.
58.
печ.
59.
Поля с двумя линейными порядками
(статья)
Fields with two linear orderings (статья)
60.
Теория нумераций (статья)
печ.
61.
La theorie des enumerations (статья)
печ.
62.
печ.
64.
Вычислимые нумерации морфизмов
(статья)
Computable numerations of morphisms
(статья)
Позитивные эквивалентности (статья)
65.
Positive equivalences (статья)
печ.
66.
Анатолий Илларионович Ширшов: (к
50-летию со дня рождения)
On the fiftieth birthday of corresponding
member of the Academy of Sciences of
the USSR A.I.Shirshov
Вычислимые функционалы конечных
типов (статья)
Computable functionals of finite types
печ.
42.
43.
44.
49.
50.
51.
52.
63.
67.
68.
69.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
Алгебра и логика, Т.8,
N1, 1969, 65-71
Algebra and logic, v.8,
1969, 34-38
Алгебра и логика, Т.8,
N4, 1969, 497
Algebra and logic, v.8,
1969, 285
Алгебра и логика, Т.8,
N5, 1969, 523-552
Algebra and logic, v.8,
1969, 298-315
Мат. заметки, Т.6, N2,
1969, 201-211
Math. Notes., v.6, 1969,
577-582
СМЖ, Т.10, N5, 1969,
1048-1064
SMJ, v.10, N5, 1969, 773784
Алгебра и логика, Т.9,
N1, 1970, 34-51
Algebra and Logic, v.9,
1970, 20-31
Алгебра и логика, Т.9,
N6, 1970, 661-666
Algebra and logic, v.9,
1970, 396-399
СМЖ, Т.11, N2, 1970,
326-343
SMJ, v.11, N2, 1970, 246258
Мат. Заметки, Т.7, N5,
1970, 525-536
Math. Notes., v.7, 1970,
319-325
Межд. Конгресс матем.
в Ницце, 1970; М., 1972,
41-47
Actes Congr. Intern. des
math., Nice, 1970, Paris,
1971, v.1, 223-227
Алгебра и логика, Т.10,
N3, 1971, 247-308
Algebra and Logic, v.10,
1971, 155-191
Алгебра и логика, Т.10,
N6, 1971, 620-650
Algebra and logic, v.10,
1971, 378-394
СМЖ, Т.12, N5, 1971,
939-941
SMJ, v.12, 1971, 675-677
Алгебра и логика, Т.11,
N4, 1972, 367-437
Algebra and Logic, v.11,
7 с.
И.А.Лавров
5 с.
I.A.Lavrov
1 с.
1 с.
30 с.
18 с.
10 с.
6 с.
17 с.
12 с.
18 с.
12 с.
7 с.
4 с.
17 с.
13 с.
12 с.
7 с.
С.В.Бредихин
В.Е.Кальней
S.V.Bredikhin
V.E.Kal’nei
7 с.
5 с.
62 с.
37 с.
31 с.
17 с.
3 с.
Л.А.Бокуть и др.
3 с.
L.A.Bokut’ et al.
71 с.
40 с.
70.
71.
72.
73.
(статья)
Всюду определенные функционалы
(статья)
Everywhere-defined continuous
functionals (статья)
Об элементарных теориях групп
(статья)
Elementary group theories (статья)
печ.
печ.
печ.
печ.
Существование конструктивизаций
(статья)
Existence of constructivizations (статья)
печ.
Непрерывные решетки и Aпространства (статья)
Continuous lattices and A-spaces
(статья)
О соотношении сноп-пространсв и
нумерованных множеств со C2*
свойствами (статья)
печ.
печ.
80.
Relationship between sheaf spaces and
numbered sets with the C2* property
(статья)
Теория f-пространств (тезисы)
81.
Верхняя полурешетка L(γ) (статья)
печ.
82.
The upper semilattice L(γ) (статья)
печ.
83.
Воспоминания об А.И.Мальцеве
печ.
84.
Иерархия множеств класса Δ02
(the hierarchy of Δ02 -sets) (статья)
печ.
85.
Конструктивные модели (статья)
печ.
86.
Теория А-пространств (статья)
печ.
87.
The theory of A-spaces (статья)
печ.
88.
Сколемовские функции и
констуктивные модели (статья)
Skolem functions and constructive
models (статья)
Theorie der Numerierungen. I. (статья)
печ.
Максимальные и всюду
определенные функционалы (статья)
Maximal and everywhere-defined
functionals (статья)
печ.
74.
75.
76.
77.
78.
79.
89.
90.
91.
92.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
1972, 203-242
Алгебра и логика, Т.11,
N6, 1972, 656-665
Algebra and Logic, v.11,
1972, 363-368
ДАН СССР, Т.203, N6,
1972, 1240-1243
Soviet Math.Dokl., v.13,
1972, 528-532
ДАН СССР, Т.204, N5,
1972, 1041-1044
Soviet Math.Dokl., v.13,
1972, 779-783
10 с.
6 с.
4 с.
5 с.
4 с.
5 с.
ДАН СССР, Т.207, N3,
1972, 523-526
Soviet Math.Dokl., v.13,
1972, 1551-1555
Зап. науч. семинаров
Ленингр. отд-ния Мат.
Ин-та им.В.А.Стеклова
Т.32, 1972, 18-20
Soviet Math.J., v.6, 1976,
358-360
4 с.
VI Всесоюзная топол.
конф Тбилиси, Тезисы,
1972, 50-51
Алгебра и логика, Т.12,
N2, 1973, 167-189
Algebra and Logic, v.12,
1973, 93-106
Избранные вопросы
алгебры и логики,
Новосибирск, 1973, 311312
Proceed.of the 4th
ICLMPS, Amsterdam,
1973, 69-76
Избранные вопросы
алгебры и логики,
Новосибирск, 1973, 111130
Алгебра и логика, Т.12,
N4, 1973, 369-416
Algebra and logic, v.12,
1973, 209-232
Алгебра и логика, Т.12,
N6, 1973, 644-654
Algebra and Logic, v.12,
1973, 368-373
Z.Math. Logic Grundlag.
Math., Bd. 19, Hf. 4,
1973, 289-388
Алгебра и логика, Т.13,
N4, 1974, 374-397
Algebra and Logic, v.13,
1974, 210-225
2 с.
5 с.
3 с.
3 с.
23 с.
И.А.Лавров
14 с.
I.A.Lavrov
2 с.
8 с.
20 с.
48 с.
24 с.
11 с.
7 с.
100 с.
24 с.
16 с.
93.
Полулокальные поля (статья)
печ.
94.
Semilocal fields (статья)
печ.
95.
О модели G теории BR (статья)
печ.
96.
The model G of the theory BR (статья)
печ.
97.
Theories of nonabelian varieties of
groups (статья)
печ.
98.
Верхняя полурешетка нумераций
конечного множества (статья)
The upper semilattice of numerations of
a finite set (статья)
Theorie der Numerierungen. II (статья)
печ.
печ.
107.
Ред: Шенфилд Дж. Математическая
логика
Михаил Иванович Каргаполов
(некролог)
Mikhail Ivanovich Kargapolov
(Obituary)
Наследственно эффективные
операции (статья)
Hereditarily effective operations
(статья)
V Международный конгресс по
логике, методологии и философии
науки (статья)
Абелева группа (статья)
108.
Нумерация класса C*20 (статья)
печ.
109.
Enumeration of the class C*20 (статья)
печ.
110.
Памяти Михаила Ивановича
Каргаполова (статья)
In memory of Mikhail Ivanovich
Kargapolov (статья)
Предисловие редакторов перевода
(Кейслер Г., Чэн Ч.Ч. Теория
моделей, пер. с англ.)
Constructions “by finite” (статья)
печ.
114.
The model C of the partial continuous
(статья)
печ.
115.
Theorie der Numerierungen. III.
(статья)
печ.
116.
Ред.: Кейслер Г., Чэн Ч.Ч. Теория
моделей: Пер. с англ.
Нормирование тел и группа SK1
(статья)
печ.
99.
100.
101.
102.
103.
104.
105.
106.
111.
112.
113.
117.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
ДАН СССР, 215,N1
1974, 41-44
Soviet Math. Dokl., v.15,
1974, 424-428
ДАН СССР, Т.217, N5
1974, 1004-1006
Soviet Math. Dokl., v.15,
1974, 1158-1161
Proceed. of the Tarski
Sympos., Berkeley, 1974,
255-365
Алгебра и логика, Т.14,
N3, 1975, 258-283
Algebra and Logic, v.14,
1975, 159-175
Z. Math. Logic Grundlag.
Math., Bd.21, N6, 1975,
473-584
М.: Наука, 1975
Мат. заметки, Т.19, N6,
1976, 825-832
Math. Notes, v.19, 1976,
487-491
Алгебра и логика, Т.15,
N6, 1976, 642-654
Algebra and Logic, v.15,
1976, 400-409
Вопросы философии,
N5, 1976, 154-169
4 с.
5 с.
3 с.
4 с.
111 с.
26 с.
17 с.
112 с.
527 с.
8 с.
4 с.
13 с.
10 с.
16 с.
Матем. энциклопедия,
Т.1, 1977, 17-20
Алгебра и логика, Т.16,
N6, 1977, 637-642
Algebra and logic, v.16,
1977, 422-426
Успехи мат. наук, Т.32,
N1, 1977, 145-150
Russian Math. Surveys,
v.32, N1, 1977, 141-147
М., 1977, 5-6
4 с.
Proc. 5th Intern. Congr. On
Logic, Found. Math.,
Comput. Theory, London,
Pt.1,1977, 3-9
Proc. Of the Logic
Colloq., Amsterdam ets,
1977, 455-467
Z. Math. Logic Grundlag.
Math., Bd.23, N4, 1977,
289-371
М.: Мир, 1977
7 с.
ДАН СССР, Т.239, N4,
1978, 768-771
Ю.И.Мерзляков
А.И.Ширшов
Yu.I.Merzlyakov
A.I.Shirshov
И.А.Акчурин и
др.
6 с.
5 с.
6 с.
7 с.
2 с.
13 с.
83 с.
614 с.
4 с.
Ю.И.Мерзляков
А.И.Ширшов
Yu.I.Merzlyakov
A.I.Shirshov
А.Д.Тайманов
Valuations of division rings and the
group SK1 (статья)
Об алгебраически компактных
группах. I (статья)
Algebraically compact groups (статья)
печ.
Четырнадцатая Всесоюзная
алгебраическая конференция (статья)
Об алгебраически компактных
группах. II (статья)
Algebraically compact groups. II
(статья)
Дистрибутивные решетки с
относительными дополнениями
(статья)
Relatively complemented distributive
lattices (статья)
Некоторые вопросы применения
формализованных языков для
исследования философских проблем
(статья)
печ.
Ред.: Пятая Всесоюз. конф. по мат.
логике, посвященная 70-летию акад.
А.И.Мальцева
Как алгебра помогает решать
проблемы из теории алгоритмов
(тезисы)
печ.
Тезисы докладов,
Новосибирск, 1979
печ.
129.
Кратно нормированные поля (статья)
печ.
130.
Multiply valued fields (статья)
печ.
131.
О проконечных группах (статья)
печ.
132.
Profinite groups (статья)
печ.
133.
Регулярно замкнутые поля (статья)
печ.
134.
Regularly closed fields (статья)
печ.
135.
Frattini covers and projective groups
without the extension proerty (статья)
Алгебраические свойства регулярно
замкнутых полей (статья)
печ.
Algebraic properties of regularly closed
fields (статья)
Неразрешимость регулярно
замкнутых полей (статья)
Undecidability of regularly closed fields
(статья)
Об элементарных теориях регулярно
замкнутых полей (статья)
On elementary theories of regularly
closed fields (статья)
Памяти Анатолия Илларионовича
Ширшова (статья)
печ.
Ургенч. симпозиум:
Оператив.-информ.
материал, Новосибирск,
1980, с.30
ДАН СССР, Т.253, N2,
1980, 274-276
Soviet Math. Dokl., v.22,
1980, 63-66
Алгебра и логика, Т.19,
N5, 1980, 552-565
Algebra and logic, v.19,
1981, 357-366
ДАН СССР, Т.251, N4,
1980, 783-785
Soviet Math. Dokl., v.21,
1980, 510-512
Math. Ann., Bd. 253, Hf.
3, 1980, 233-239
Тр. Мат.ин-та АН СССР
им.В.А.Стеклова, Т.158,
1981, 80-86
Proc.Steklov Inst.Math.,
v.158, 1983, 85-91
Алгебра и логика, Т.20,
N4, 1981, 389-394
Algebra and Logic, v.20,
1982, 257-260
ДАН СССР, Т.257, N2,
1981, 271-274
Soviet Math.Dokl., v.23,
1981, 259-262
Успехи мат. наук, Т.36,
N5, 1981, 153-158
118.
119.
120.
121.
122.
123.
124.
125.
126.
127.
128.
136.
137.
138.
139.
140.
141.
142.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
Soviet Math.Dokl., v.19,
1978, 395-399
Алгебра и логика, Т.17,
N6, 1978, 684-692
Algebra and Logic, v.17,
1978, 444-449
Успехи мат. наук, Т.33,
N1, 1978, 239-244
Алгебра и логика, Т.18,
N4, 1979, 408-414
Algebra and Logic, v.18,
1980, 247-251
Алгебра и логика, Т.18,
N6, 1979, 680-722
Algebra and Logic, v.18,
1980, 431-459
Методологические
проблемы математики,
Новосибирск, 1979, 8388
4 с.
9 с.
6 с.
6 с.
Ю.И.Мерзляков
7 с.
5 с.
43 с.
29 с.
6 с.
172 с.
1 с.
3 с.
4 с.
14 с.
10 с.
3 с.
3 с.
7 с.
M.Fried
7 с.
6 с.
6с
4 с.
4 с.
4 с.
6 с.
Л.А.Бокуть и др.
In memory of Anatolii Illarionovich
Shirshov (статья)
Элиминируемость кванторов в
регулярно замкнутых полях (статья)
Eliminability of quattifiers in regularly
closed fields (статья)
How does algebra help to solve
problems from the theory of algorithms
(example)
Две теоремы о регулярно r-замкнутых
полях (препринт)
Абсолютная непереводимость и
свойства гензелизаций (статья)
Absolute irreducibility and properties of
Henselizations (статья)
Алгоритмические проблемы в теории
полей (положительные аспекты)
(статья)
печ.
Вполне вещественные расширения
полей (статья)
Totally real field extensions (статья)
печ.
153.
Гензелевы нормирования тел и группа
SK1 (статья)
печ.
154.
печ.
155.
Henselian valuations of division rings
and the group SK1 (статья)
Кратно нормированные поля (статья)
156.
Multiply valued fields (статья)
печ.
157.
Нормирования тел (тезисы)
печ.
158.
w-полные A-пространства (статья)
печ.
159.
w-complete A-spaces (статья)
печ.
160.
Регулярно r-замкнутые поля (статья)
печ.
161.
Regularly r-closed fields
печ.
162.
166.
Ред.: Справочная книга по
математической логике: пер. с англ.
Ред.: Справочная книга по
математической логике: Пер. с англ.
Динамическая логика над
допустимыми множествами (статья)
Dynamic logic over admissible sets
(статья)
Инволюторные группы (статья)
167.
Involutary groups (статья)
печ.
168.
Принцип Σ-перечисления (статья)
печ.
143.
144.
145.
146.
147.
148.
149.
150.
151.
152.
163.
164.
165.
(статья)
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
Russian Math. Surveys,
v.36, N5, 1981, 129-133
ДАН СССР, Т.258, N1
1981, 16-20
Soviet Math.Dokl., v.23,
1981, 463-467
Algorithms in Modern
Math., LNCS, N122,
Berlin, 1981, 462-463
ИМ СО АН СССР, N10,
1982
Алгебра и логика, Т.21,
N5, 1982, 530-536
Algebra and Logic, v.21,
1983, 353-357
Справочная книга по
мат.логике, М., 1982,Ч.3:
Теория рекурсий, 269353
ДАН СССР, Т.263, N5,
1982, 1047-1049
Soviet Math. Dokl., v.25,
1982, 477-480
Мат.сб., Т.117, N1, 1982,
60-68
5 с.
5 с.
5 с.
2 с.
29 с.
7 с.
5 с.
85 с.
3 с.
4 с.
9 с.
9 с.
печ.
Math. USSR, Sb.45, 1983,
63-71
Успехи мат. наук, Т.37,
N3, 1982, 55-93
Russian Math. Surveys,
v.37, N3, 1982, 63-107
5-й Всес.симп. по
теории колец, алгебр и
модулей, Тезисы докл.,
Новосибирск, 1982, 5355
Кибернетика, N6, 1982,
6-10
Cybernetics, v.18, 1983,
701-705
ДАН СССР, Т.266, N3,
1982, 538-540
Soviet Math. Dokl., v.26,
1982, 363-366
М., 1982, Ч.1
391 с.
печ.
М., 1982, Ч.3
359 с.
печ.
ДАН СССР, Т.273, N5,
1983, 1045-1048
Soviet Math. Dokl., v.28,
1983, 739-742
Алгебра и логика, Т.22,
N3, 1983, 260-275
Algebra and Logic, v.22,
1984, 185-196
ДАН СССР, Т.270, N4,
печ.
печ.
печ.
ed.A.P.Ershov,
D.E.Knuth
38 с.
45 с.
3 с.
5 с.
5 с.
3 с.
4 с.
4 с.
4 с.
16 с.
12 с.
3 с.
Е.А.Палютин
А.Д.Тайманов
169.
The principle of Σ-enumeration (статья)
печ.
170.
Регулярно r-замкнутые поля (статья)
печ.
171.
Regularly r-closed fields (статья)
печ.
172.
Логика основания математики и
лингвистики (статья)
О группах Галуа максимальных
2-расширений (статья)
Galois groups of maximal 2-extensions
(статья)
О новом подходе к философии
математики (статья)
печ.
Регулярно r-замкнутые поля со
слабоуниверсальными группами
Галуа (статья)
Regularly r-closed fields with weakly
universal Galois groups (статья)
Сильная неотделимость и
k-наследственность (статья)
печ.
Two theorems on regularly r-closed
fields (статья)
Σ-определимость в допустимых
множествах (статья)
Σ-definability in admissible sets (статья)
печ.
печ.
184.
Σ-предикаты конечных типов над
допустимым множеством (статья)
Σ-predicates of finite types over an
admissible set (статья)
Реализуемые i-группы (статья)
185.
Элементарная теория (статья)
печ.
186.
Σ-допустимые множества (статья)
печ.
187.
Об fA-пространствах (статья)
печ.
188.
FA-spaces (статья)
печ.
189.
печ.
191.
Об отображении ограничения
пространств порядков полей (статья)
Restriction map of spaces of orderings of
fields (статья)
Язык Σ-выражений (статья)
192.
Semantic programming
193.
Semantic programming (статья)
173.
174.
175.
176.
177.
178.
179.
180.
181.
182.
183.
190.
(статья)
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
1983, 786-788
Soviet Math. Dokl., v.27,
1983, 670-672
Алгебра и логика, Т.22,
N4, 1983, 382-402
Algebra and Logic, v.22,
1984, 277-291
Вопросы философии,
N1, 1984, 45-58
Мат. заметки, Т.36, N6,
1984, 913-924
Math. Notes., v.36, 1984,
956-961
Выч. системы, N101,
Новосибирск, 1984, 141148
Алгебра и логика, Т.23,
N6, 1984, 637-669
3 с.
11 с.
15 с.
14 с.
И.А.Лавров и др.
12 с.
6 с.
8 с.
К.Ф.Самохвалов
33 с.
Algebra and logic, v.23,
1984, 426-449
Докл. Болг. Акад. Наук,
Т.37, N9, 1984,11391142
J. Reine Angew. Math.,
Bd.347, 1984, 154-166
ДАН СССР, Т.285, N4,
1985, 792-795
Soviet Math. Dokl., v.32,
1985, 767-770
24 с.
Алгебра и логика, Т.24,
N5, 1985, 499-536
Algebra and Logic, v.24,
1985, 327-351
Некоторые проблемы и
задачи анализа и
алгебры, Новосибирск,
1985, 46-60
Матем. Энциклопедия,
М., Т.5, 1985, 972-973
Вычисл. системы, N114,
Новосибирск, 1986, 3539
Алгебра и логика, Т.25,
N5, 1986, 533-543
Algebra and Logic, v.25,
1986, 336-343
СМЖ, Т.27, N2, 1986,
47-54
SMJ, v.27, N2, 1986, 181187
Вычисл. системы, N114,
Новосибирск, 1986, 3-10
Seminarberichte, Humbolt
Univ. Sekt. Math., Berlin,
1986, N86, 35-55
Information Processing,
38 с.
4 с.
13 с.
4 с.
4 с.
25 с.
15 с.
2 с.
М.А.Тайцлин
5 с.
11 с.
8 с.
8 с.
7 с.
8 с.
21 с.
S.S.Goncharov
D.I.Sviridenko
8с.
S.S.Goncharov
194.
Ред.: Логическая тетрадь:
Нерешенные вопросы
математической логики
печ.
195.
Методологические аспекты
семантического программирования
(статья)
печ.
196.
О новом подходе к методологии
математики (статья)
печ.
197.
О порождаемости допустимых
множеств (статья)
Generatability of admissible sets
(статья)
Semantic foundations of programming
(статья)
печ.
200.
Абелева группа (статья)
печ.
201.
Естественный параллелизм
семантических программ (статья)
печ.
202.
Инвариантная порождаемость
(статья)
Invariant generation (статья)
печ.
Когензелевы расширения и
гензелизация тел (статья)
Co-Henselian extensions and
Henselizations of skew fields (статья)
Черников Сергей Николаевич
(некролог)
Ред.: Гончаров С.С. Счетные булевы
алгебры
Ред.: Теория моделей и ее применение
печ.
Любое семейство подмножеств
праэлементов порождает допустимое
множество (статья)
Each family of subsets of the urelements
generates an admissible (статья)
К восьмидесятилетию выдающегося
советского математика А.И.Мальцева
(статья)
О вопросе Ярдина–Шелаха (статья)
печ.
A question of Jarden and Shelah
(статья)
печ.
198.
199.
203.
204.
205.
206.
207.
208.
209.
210.
211.
212.
213.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
Proc. IFIP 10th World
Comput. Cong. Ser.10,
Amsterdam, 1986, 11131120
Оперативный информ.
материал, ИМ СО АН
СССР, Новосибирск,
1986
Научное знание: логика,
понятия, структура,
Новосибирск, 1987, 154184
Закономерности
развития современной
математики: Методолог.
аспекты, М., 1987,85-105
Алгебра и логика, Т.26,
N5, 1987, 577-597
Algebra and Logic, v.26,
1987, 346-361
Fund. of Comput. Theory:
Proc. of the Intern. Conf.
FCT’87, LNCS N278,
1987, 116-122
Матем.Энцикл. словарь,
М., 1988, 39-40
В сб.: Формальные
модели параллельных
вычисл., Новосибирск,
ВЦ СО РАН, 1988, 6-19
СМЖ, Т.29, N5, 1988,
109-111
Siberian Math. J., v.29,
N5, 1988, 775-777
D.I.Sviridenko
41 с.
С.С.Гончаров
31 с.
С.С.Гончаров
Д.И.Свириденко
21 с.
К.Ф.Самохвалов
21 с.
16 с.
7 с.
S.S.Goncharov
D.I.Sviridenko
2 с.
14 с.
С.С.Гончаров
Д.И.Свириденко
3 с.
3 с.
Алгебра и логика, Т.27,
N6, 1988, 649-658
Algebra and Logic, v.27,
1988, 401-407
Успехи мат. наук, Т.43,
N2, 1988, 125-126
Новосибирск: Наука,
1988, 176 с.
Новосибирск: Наука,
1988, 185 с. (Труды ИМ
СО РАН, Т.8)
СМЖ, Т.30, N6, 1989,
65-67
10 с.
SMJ, v.30, N6, 1989, 883885
Алгебра и логика, Т.28,
N6, 1989, 615-618
3 с.
Алгебра и логика, Т.28,
N6, 1989, 640-642
Algebra and Logic, v.28,
1989, 419-420
3 с.
7 с.
2 с.
3 с.
4 с.
2 с.
А.Т.Гайнов
С.С.Гончаров и
др.
Сибирская школа “Алгебра и анализ”
(статья)
RRC–fields with small absolute Galois
groups (статья)
Ред.: Математическая логика и
алгоритмические проблемы
печ.
печ.
218.
О некоторых тенденциях развития
математической логики и ее
приложения (статья)
Тайманов Асан Дабсович (некролог)
219.
Asan Dabsovich Taimanov
печ.
220.
печ.
221.
Форсинг в допустимых множествах
(статья)
Forcing in admissible sets (статья)
222.
Проективные Γ-группы (статья)
печ.
223.
Projective Γ-groups
печ.
224.
Проективные произведения
проконечных групп (статья)
Projective products of profinite groups
(статья)
Характеризация колец Кочена PCM –
полей (статья)
Characterization of Kochen rings of
PCM-fields (статья)
PCp-fields with universal Galois group
(статья)
Ред.: Каргаполов М.И. Группы:
Избранные Труды
печ.
230.
Ed.: Algebra and Analysis: Proc. of the
1st Siberian School, Kemerovo, 1988
печ.
231.
Булевы семейства колец
нормирований (статья)
Boolean families of valuation rings
(статья)
Всякая проективная C2-группа
реализуема (статья)
Every projective C2-group is realizable
(статья)
Относительная регулярная
замкнутость и pi-нормирования
(статья)
Relative regular closedness and pivaluations (статья)
Introduction. Proceedings of the Intern.
Conf. on Algebra: Dedicated to the
Memory of A.I.Malcev
Ред.: Межреспубликанская
конференция по математической
логике, 11-я
печ.
214.
215.
216.
217.
225.
226.
227.
228.
229.
232.
233.
234.
235.
236.
237.
238.
(статья)
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
Успехи мат. наук, Т.44,
N2, 1989, 247-248
Ann. Pure Appl. Logic,
v.43, N3, 1989, 197-208
Новосибирск: Наука,
1989, 192 с. (Труды ИМ
СО АН СССР, Т.12)
Сиб.мат. об-во: Бюл.,
Новосибирск, N1, 1990,
6-14
Успехи мат. наук, Т.45,
N5, 1990, 171-174
Russian Math. Surveys,
v.45, N5, 1990, 213-215
Алгебра и логика, Т.29,
N6, 1990, 648-658
Algebra and Logic, v.29,
1990, 424-430
ДАН СССР, Т.318, N4,
1991, 798-801
Soviet Math. Dokl., v.43,
N3, 1991, 762-766
Алгебра и логика, Т.30,
N6, 1991, 638-651
Algebra and Logic, v.30,
1991, 417-426
ДАН СССР, Т.316, N1,
33-36
Soviet Math. Dokl., v.43,
N1, 1991, 26-29
SIBAM, v.1, N4, 1991, 126
Новосибирск: Наука,
Сиб. отделение, 1991,
204 с.
Providence: AMS, 1991,
112 c. (AMS Transl. Ser.
2; Soviet Region. Conf.,
148)
Алгебра и логика, Т.32,
N3, 1992, 276-296
Algebra and Logic, v.31,
N3, 1992, 170-181
Алгебра и логика, Т.31,
N2, 1992, 119-131
Algebra and Logic, v.31,
N2, 1992, 74-80
Алгебра и логика, Т.31,
N6, 1992, 592-623
Algebra and Logic, v.31,
N6, 1992, 342-360
Providence, RI., 1992,
Pt.1, p. xix-xxi
Тез. Сообщений, Казань,
1992, 164 с.
2 с.
А.Д.Александров
12 с.
9 с.
С.С.Гончаров
Д.И.Свириденко
4 с.
С.С.Гончаров и
др.
S.S.Goncharov
et al.
3 с.
11 с.
7 с.
4 с.
5 с.
14 с.
10 с.
4 с.
4 с.
26 с.
21 с.
12 с.
13 с.
7 с.
32 с.
19 с.
L.A.Bokut’
et al.
печ.
Providence: AMS, 1992,
v.131, Pt.1-3
печ.
243.
Ed.: Proceedings of the International
Conference on Algebra: Dedicated to the
Memory of A.I.Malcev: v.1-3
Булевы семейства колец
нормирований. II. (статья)
Boolean families of valuation rings. II.
(статья)
К теореме Спектора–Ганди для Σдопустимых множеств (статья)
Максимальные RCπ-поля (статья)
244.
Maximal RCπ-fields (статья)
печ.
245.
Относительно регулярно замкнутые
поля (статья)
Relatively regularly closed fields
(статья)
печ.
247.
Theory of domains and nearby (статья)
печ.
248.
От редактора. Хобби Д., Маккензи Р.
Строение конечных алгебр (пер. с
англ.)
Ред.: Хобби Д., Макензи Р. Строение
конечных алгебр (пер. с англ.)
Письмо в редакцию
печ.
Алгебра и логика, Т.32,
N3, 1993, 261-266
Algebra and Logic, v.32,
1993, 139-142
Вычисл. системы, N148,
Новосибирск, 1993, 3-8
Алгебра и логика, Т.32,
N5, 1993, 497-518
Algebra and Logic, v.32,
N5, 1993, 267-278
Докл. РАН, Т.332, N3,
1993, 286-288
Russian Acal. Sci. Dokl.
Math., v.48, N2, 1994,
300-303
Formal Methods in
Programming and Their
Applications, LNCS,
N735, Berlin, 1993, 1-7
М., 1993, 5-6
печ.
М.:Мир, 1993, 286 с.
печ.
2 с.
Letter to the editors: Forsing in
admissible sets
Теорема Левенгейма-СкулемаМальцева для определимых моделей
(статья)
Элементарные регулярные кольца
(статья)
Elementary regular rings (статья)
печ.
Алгебра и логика, Т.32,
N2, 1993, 222-223
Algebra and Logic, v.32,
N2, 1993, 121-122
Вычисл. системы, N148,
Новосибирск, 1993, 9-17
15 с.
255.
Ред.: Математическая логика и теория
алгоритмов
печ.
256.
О группах Галуа RCζ-полей (статья)
печ.
257.
On the Galois groups of RCζ-fields
(статья)
печ.
258.
RC*-поля (статья)
печ.
259.
RC*-fields (статья)
печ.
260.
Поля с непрерывными локальными
элементарными свойствами. I.
(статья)
Fields with continuous local elementary
properties. I. (статья)
Разрешимость теории класса полей Ff*
(статья)
Decidability of the theory of the class of
печ.
Алгебра и логика, Т.32,
N4, 1993, 387-401
Algebra and Logic, v.32,
N4, 1993, 206-214
Труды ИМ СО РАН,
Т.25, Новосибирск,
1993, 204 с.
Докл. РАН, Т.334, N3,
1994, 275-277
Russian Akad. Sci. Dokl.
Math., v.49, N1, 1994, 7982
Алгебра и логика, Т.33,
N4, 1994, 367-386
Algebra and Logic, v.33,
N4, 1994, 205-215
Алгебра и логика, Т.33,
N6, 1994, 628-653
Algebra and logic, v.33,
N6, 1994, 351-365
Докл. РАН, Т.336, N6,
1994, 733-736
Russian Acad. Sci. Dokl.
15 с.
239.
240.
241.
242.
246.
249.
250.
251.
252.
253.
254.
261.
262.
263.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
L.A.Bokut’ and
A.I.Kostrikin
6 с.
4 с.
6 с.
22 с.
12 с.
3 с.
4 с.
7 с.
2 с.
В.А.Горбунов
В.А.Горбунов
2 с.
9 с.
9 с.
3 с.
4 с.
20 с.
11 с.
26 с.
4 с.
5 с.
fields Ff* (статья)
Теоретико-модельные свойства RC*полей (статья)
Model-theoretic properties of RC*-fields
(статья)
печ.
266.
Sigma-definability in HF(L) (статья)
печ.
267.
The Bounded-Complete Hull of an αspace (препринт)
Определимость в наследственно
конечных надстройках (статья)
Definability in hereditarily finite
manifolds (статья)
Поля с непрерывными локальными
элементарными свойствами. II
(статья)
Поля с непрерывными локальными
элементарными свойствами. II.
(статья)
Fields with continuous local elementary
properties. II. (статья)
Хорошие локально-глобальные поля
(статья)
Good locally global fields (статья)
печ.
275.
Model theory of nice global fields
(тезисы)
печ.
276.
печ.
278.
Interaction of education and science in
SB RAS and international collaboration
in education and training of junior
scientists. Science Policy: New
Mechanisms Scientific Collaboration
between East and West (статья)
Выступление на закрытии II
Международного конгресса
ЮНЕСКО “Образование и
Информатика” (статья)
Theory of Numberings (препринт)
279.
264.
265.
268.
269.
270.
печ.
печ.
печ.
печ.
Math., v.49, N3, 1994,
582-586
Докл. РАН, Т.335, N2,
1994, 138-141
Russian Acad. Sci. Dokl.
Math., v.49, N2, 1994,
255-259
Abstracts of Papers
NSL’94, Kanazawa,
Japan, 1994, 47
Prepr./Techn. Hochschule
Darmstadt, N1722, 1995
Докл. РАН, Т.340, N1,
1995, 12-14
Dokl. Math., v.51, N1,
1995, 8-10
Алгебра и логика, Т.34,
N3, 1995, 262-273
4 с.
5 с.
1 с.
10 с.
3 с.
3 с.
12 с.
печ.
Алгебра и логика, Т.34,
N3, 1995, 262-273
печ.
Algebra and Logic, v.34,
N3, 1995, 140-146
Докл. РАН, Т.343, N6,
1995, 731-733
Russian Acad. Sci. Dokl.
Math., v.52, N1, 1995, 98100
10th Intern. Cong. Of
Logic, Methodology and
Philosophy of Science:
Abstracts, Florence, 1995,
72
Kluwer Academic
Publishers, 1995, 247-250
7 с.
печ.
Образование и
Информатика, N5, 1996,
33-34
2 с.
печ.
НИИ МИОО НГУ,
Новосибирск, N18, 1996
38 с.
Свободные Δ*-группы (статья)
печ.
19 с.
280.
Free Δ*-groups
печ.
281.
Projectivity of absolute Galois groups of
RC*ζ-fields (статья)
печ.
282.
Хорошие локально-глобальные поля.
I. (статья)
Nice local-global fields. I. (статья)
печ.
Алгебра и логика, Т.35,
N2, 1996, 154-172
Algebra and Logic, v.35,
N2, 1996, 86-95
Algebra:Proc. 3rd Intern.
Conf., Krasnoyarsk, 1993;
Berlin ets., 1996, 63-80
Алгебра и логика, Т.35,
N4, 1996, 411-423
Algebra and Logic, v.35,
N4, 1996, 229-235
271.
272.
273.
274.
277.
283.
(статья)
печ.
печ.
печ.
12 с.
3 с.
3 с.
1 с.
4 с.
10 с.
18 с.
13 с.
7 с.
печ.
285.
Хорошие локально-глобальные поля.
II. (статья)
Nice local-global fields. II. (статья)
286.
Ред.: Вопросы алгебры и логики
печ.
287.
Ed.: Algebra: Proc. of the 3rd Intern.
Conf. on Algebra, Krasnoyarsk, 1993
О d-пространствах (препринт)
печ.
К сорокалетию Сибирского отделения
Академии наук (статья)
О полулокальных полях (статья)
печ.
О свободных произведениях
абсолютных групп Галуа (статья)
Free products of absolute Galois groups
(статья)
печ.
Поля с непрерывными локальными
элементарными свойствами. III.
(статья)
Fields with continuous local elementary
properties. III. (статья)
Хорошие локально-глобальные поля.
III. (статья)
Nice local-global fields. III. (статья)
печ.
печ.
298.
The bounded-complete hull of an αspace (статья)
К теореме Куроша (статья)
299.
On the Kurosh theorem (стаья)
печ.
300.
Сергей Львович Соболев: (1908-1989)
печ.
301.
Σ-definability of algebraic structures
(статья)
печ.
302.
Elementary theories and their
constructive models (статья)
печ.
303.
Introduction to the Handbook of
Recursive Mathematics (вводная
статья)
Формирование региональной
проблемно-ориентированной среды
для информационной поддержки
гуманитарных наук, образования и
культуры (статья)
Ed.: Handbook of Recursive
Mathematics
Сергей Константинович Годунов (к
70-летию со дня рождения)
.О существенных расширениях T0пространств (статья)
On essential extensions of T0-spaces
печ.
284.
288.
289.
290.
291.
292.
293.
294.
295.
296.
297.
304.
305.
306.
307.
308.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
Алгебра и логика, Т.35,
N5, 1996, 503-528
Algebra and Logic, v.35,
N5, 1996, 281-295
Новосибирск, Труды
ИМ СО РАН, Т.30, 1996,
192 с.
Berlin; New York: de
Gruyter, 1996, 306 p.
Новосибирск, НИИ
МИОО, N30, 1997
СМЖ, Т.38, N3, 1997,
483-484
Докл. РАН, Т.353, N5,
1997, 596-598
Докл. РАН, Т.357, N5,
1997, 583-585
Russian Acad. Sci. Dokl.
Math., v.56, N3, 1997,
915-917
Алгебра и логика, Т.36,
N6, 1997, 642-656
26 с.
Algebra and Logic, v.36,
N6, 1997, 370-377
СМЖ, Т.38, N3, 1997,
526-532
SMJ, v.38, N3, 1997, 449454
Theoret. Comput. Sci.,
v.175, N3, 1997, 3-13
Алгебра и логика, Т.37,
№4, 1998, 381-393
Algebra and Logic, v.37,
N4, 1998, 215-222
СМЖ, Т.39, N4, 1998,
723-729
Handbook of Recursive
Math., Amsterdam, v.1,
1998, 235-260
Handbook of Recursive
Math., Amsterdam, v.1,
1998, 115-165
Handbook of Recursive
Mathematics, v.138, Part
1, 1998, vii-xlvi
Информ. технологии в
гуман. исследованиях,
Новосибирск, 1998, 5-11
8 с.
Amsterdam: Elsevier, v.12, 1998, 1660 p.
СМЖ, Т.40, N3, 1999,
483-484
Докл. РАН, Т.368, N3,
1999, 299-302
Russian Acad. Sci. Dokl.
15 с.
В.Д.Мазуров
E.I.Khukhro
et al.
18 с.
2 с.
М.М.Лаврентьев
и др.
3 с.
3 с.
3 с.
15 с.
7 с.
6 с.
11 с.
13 с.
8 с.
7 с.
М.М.Лаврентьев
и др.
51 с.
S.S.Goncharov
40 с.
S.S.Goncharov
A.Nerode
J.Remmel
А.П.Деревянко,
В.С.Диев и др.
7 с.
2 с.
4 с.
4 с.
S.S.Goncharov
et al.
М.М.Лаврентьев
и др.
(статья)
печ.
310.
Почти регулярно прюферовы кольца
(статья)
Near regularly-Prufer rings (статья)
311.
Равномерно малые Δ*-группы (статья)
печ.
312.
Uniformly small Δ*-groups (статья)
печ.
313.
On d-spaces (статья)
печ.
314.
Theory of Numberings
315.
печ.
316.
On injective hull and bc-hull of a T0space (статья)
Δ-пространства (статья)
317.
Δ-spaces (статья)
печ.
318.
Ed.: Model Theory and Applications
печ.
319.
Михаил Алексеевич Лаврентьев (к
100-летию со дня рождения) (статья)
Об удивительных расширениях поля
рациональных чисел (статья)
On wonderfull extensions of the fields of
rational numbers (статья)
печ.
Свойства решеток, сохраняющиеся
при свободных произведениях
(статья)
Lattice properties preserved under free
products (статья)
Непосредственные расширения
прюферовых колец (статья)
Immidiate extensions of Pruefer rings
(статья)
Сепарабельная консервативность
(статья)
Separable conservativity (статья)
печ.
328.
On free products of absolute Galois
group. II (статья)
печ.
329.
О новом подходе к методологии
математики (статья)
печ.
330.
Предисловие
печ.
331.
Непосредственные расширения
квазиупорядоченных полей (статья)
печ.
309.
320.
321.
322.
323.
324.
325.
326.
327.
(статья)
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
Math., v.60, N2, 1999,
184-187
Мат.труды, Т.2, N1,
1999, 72-120
Siberian Adv. Math., v.9,
N1, 1999, 1-45
Алгебра и логика, Т.38,
N1, 1999, 24-39
Algebra and Logic, v.38,
N1, 1999, 12-20
Theoret. Comput. Sci.,
v.224, N1-2, 1999, 59-72
Handbook of
Computability Theory,
Amsterdam, Elsevier,
1999, 473-503
Novi Sad J. of Math.,
v.29, N3, 1999, 201-206
Алгебра и логика, Т.38,
N6, 1999, 667-679
Algebra and Logic, v.38,
N6, 1999, 367-373
Providence: AMS, 1999,
346 p.
СМЖ, Т.41, N5, 2000,
969-983
Докл. РАН, Т.373, N1,
2000, 15-16
Russian Acad. Sci. Dokl.
Math., v.62, N1, 2000, 1213
Алгебра и логика, Т.39,
N1, 2000, 66-73
Algebra and Logic, v.39,
N1, 2000, 37-41
Алгебра и логика, Т.40,
N3, 2001, 262-289
Algebra and Logic, v.40,
N3, 2001, 144-158
Матеем. Труды, Т.4, N1,
2001, 18-24
Sib. Adv. Math., v.11, N4,
2001, 41-46
Communication in
Algebra, v.29, N9, 2001,
3773-3779
В кн.: Проблемноориентированный
подход к науке,
Новосибирск, Наука,
2001, 132-152
Там же, Новосибирск,
Наука, 2001, 3-6
Вестник НГУ, серия:
математика, механика,
информатика, Т.1,
49 с.
45 с.
16 с.
9 с.
14 с.
31 с.
6 с.
13 с.
7 с.
15 с.
М.М.Лаврентьев
и др.
2 с.
2 с.
8 с.
5 с.
28 с.
15 с.
7 с.
6 с.
7 с.
21 с.
4 с.
8 с.
К.Ф.Самохвалов
Абстрактная теория полей классов
(финитарный подход) (препринт)
Хорошие локально-глобальные поля.
IV. (статья)
Nice Local-Global Field. IV. (статья)
печ.
Предупорядоченные кратно
нормированные поля (статья)
Preordered Multivalued Fields (статья)
печ.
Кратно нормированные поля. II.
(статья)
Multi-Valued Fields (статья)
печ.
Понятие алгоритма и его место в
математике (статья)
Хорошие расширения и глобальная
теория полей классов (статья)
Nice Extensions and Global Class Field
Theory (статья)
Спектральная теория полутопологических полурешеток (статья)
The Spectral Theory of Semitopological
Semilattices
(статья)
Абстрактная теория полей классов
(финитарный) подход (статья)
печ.
печ.
355.
Abstract class fields theory (a finitary
approach) (статья)
Необходимые условия изоморфизма
полурешеток Роджерса конечных
частично упорядоченных множеств
(статья)
Necessary Isomorphism Conditions for
Rogers Semilattices of Finite Partially
Ordered Sets (статья)
Свойство проективности абсолютных
групп Галуа кратно-нормированных
полей (статья)
Projectivity of the Absolute Galois
Groups of Multi-Valued Fields (статья)
A non near-Boolean family of valuation
rings satisfying an arithmetic localglobal principle
(статья)
Локальная теория полей классов
(статья)
Элементарные регулярные кольца. II.
(статья)
Elementary regular Rings. II. (статья)
Экстремальные нормированные поля
(статья)
Extremal Valued Fields (статья)
356.
Об одной проблеме Улама (статья)
печ.
357.
О монотонной сумме отображений
(статья)
печ.
332.
333.
334.
335.
336.
337.
338.
339.
340.
341.
342.
343.
344.
345.
346.
347.
348.
349.
350.
351.
352.
353.
354.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
печ.
вып.2, 2001, 77-84
Препринт ИДМИ, 2002
СМЖ, Т.43, N3, 2002,
538-562
SMJ, v.43, N3, 2002, 418427
Доклады РАН, Т.382,
N5, 2002, 583-588
Dokl. Math., v.65, N1,
2002, 75-79.
Алгебра и логика, Т.41,
N6, 2002, 682-712
Algebra and Logic, v. 41,
N6, 2002, 374-390
Философия науки, Т.14,
N 3, 2002, 24-31
Доклады РАН, Т.388, N
2, 2003, 155-158.
Dokl. Math., v.67, N 1,
2003, 21-23
СМЖ, Т.44, N 5, 2003,
1021-1032
SMJ, v. 44, N 5, 2003,
797-806.
Математический
сборник, Т. 194, N 2,
2003, 37-60
Sbornik: Mathematics,
v.194, N 2, 2003, 199-224
Алгебра и логика, Т. 42,
N 4, 2003, 413-421.
43 с.
25 с.
10 с.
6 с.
5 с.
31 с.
17 с.
8 с.
4 с.
3 с.
12 с.
10 с.
24 с.
26 с.
9 с.
печ.
Algebra and Logic, v.42,
N4, 2003, 232-236.
5 с.
печ.
Математические труды
т. 6, N1, 2003, 28-33
6 с.
печ.
Sib.Adv.Math., v.14, N1,
2004, 1-6
Math.Zeitschrift, v.245,
N4, 2003, 689-693
6 с.
Алгебра и Анализ, Т.15,
N6, 2003, 35-47.
СМЖ, Т.45, N3, 2004,
558-565
SMJ, v.45, N3, 459-464
Алгебра и логика, Т.34,
N5, 2004, 582-588
Algebra and Logic, v.43,
N5, 2004, 327-330
Доклады РАН, Т.399,
N3, 2004, 1-3
Вестник НГУ, серия:
математика, механика,
13 с.
печ.
печ.
печ.
печ.
печ.
печ.
5 с.
8 с.
6 с.
7 с.
4 с.
3 с.
В.А.Чуркин
358.
Абстрактная теория полей классов
(форматирование модулей) (статья)
печ.
359.
Алгебра и логика: старые и новые
связи (статья)
Об одной задаче Улама (тезисы)
печ.
360.
361.
362.
363.
Local-global principles and
approximation theorems Proceed
(статья)
Спектральная теория полутопологических полурешеток. II (статья)
Спектры колец и решеток (статья)
печ.
Сдано в
печать
Сдано в
печать
Сдано в
печать
информатика, 2004
Сибирские электронные
математ. известия, Т.1,
2004, 1-27
Философия науки, Т.23,
N 4, 2004, 132-142
Труды межд.конф.
«Алгебра, логика и
кибернетика», Иркутск,
2004, 30-32
Teheran conference, 2003.
27 с.
11 с.
3 с.
Известия УрГу
СМЖ, Т.46, N 2, 2005
б) монографии
печ.
Новосибирск, НГУ, 1969
174 с.
печ.
Новосибирск, НГУ, 1973
169 с.
печ.
Новосибирск, НГУ, 1973
169 с.
печ.
Новосибирск, НГУ, 1974
139 с.
5.
Теория нумераций: Спецкурс для
студентов-математиков НГУ, Ч.1:
Общая теория нумераций
Математическая логика: Лекции для
студентов-математиков НГУ
Теория нумераций: Спецкурс для
студентов-математиков НГУ, Ч.2:
Вычислимые нумерации морфизмов
Теория нумераций: Спецкурс для
студентов-математиков НГУ, Ч.3:
Конструктивные модели
Theorie der Numerierungen. I.
печ.
1973
100 с.
6.
Theorie der Numerierungen. II.
печ.
1975
112 с.
7.
Теория нумераций
печ.
М.:Наука, 1977
416 с.
8.
9.
Theorie der Numerierungen. III.
Математическая логика (учебное
пособие)
Mathematical Logic
печ.
печ.
1977
М.: Наука, 1979
85 с.
320 с.
Е.А.Палютин
печ.
Moscow: Mir, 1984
303 с.
E.A.Palyutin
Проблемы разрешимости и
конструктивные модели
Введение в логику и методологию
науки
печ.
М.: Наука, 1980
415 с.
печ.
256 с.
13.
Определимость и вычислимость
печ.
14.
Definability and Computability
печ.
15.
Конструктивные модели
печ.
16.
Constructive models
печ.
М.: Интерпракс,
Новосибирск, ИМ СО
РАН, 1994
Новосибирск: Научная
книга, 1996 (Сибирская
школа алгебры и логики)
New York: Plenum, 1996
(Siberian School of
Algebra and Logic)
Новосибирск: Научная
книга, 1999 (Сибирская
школа алгебры и логики)
New York ets.: Kluwer
Academic/ Plenum
1.
2.
3.
4.
10.
11.
12.
Е.А.Палютин
М.А.Тайцлин
С.С.Гончаров
К.Ф.Самохвалов
300 с.
264 с.
360 с.
С.С.Гончаров
360 с.
S.S.Goncharov
17.
Кратно нормированные поля
печ.
18.
Определимость и вычислимость: 2-е
издание, исправленное и дополненное
19.
Constructive models
печ.
20.
Multi-valued fields
печ.
21.
Проблемно-ориентированный подход
к науке
печ.
Publishers, 2000 (Siberian
School of Algebra and
Logic)
Новосибирск: Научная
книга, 2000
Новосибирск: Научная
книга; М.: ОАО НПО
“Экономика”, 2000
New York ets.: Kluwer
Academic/ Plenum
Publishers, 2000 (Siberian
School of Algebra and
Logic)
Kluwer Academic/
Plenum Publishers, 2001
(Siberian School of
Algebra and Logic)
Новосибирск: Наука,
2001
330 с.
318 с.
305 с.
S.S.Goncharov
270 с.
154 с.
С.С.Гончаров
К.Ф.Самохвалов,
А.В.Бессонов,
Н.В.Белякин и
др.
в) учебные пособия
1.
2.
3.
4.
5.
Теория нумераций: Спецкурс для
студентов-математиков НГУ, Ч.1:
Общая теория нумераций
Математическая логика: 2-е изд.,
исправленное и дополненное
Logica mathematica (то же на исп. яз.)
печ.
Новосибирск, НГУ, 1969
174 с.
печ.
М.:Наука, 1987
336 с.
Е.А.Палютин
печ.
Moscu: Mir, 1990
227 с.
E.A.Palyutin
Σ-определимость и теорма Гёделя о
неполноте
Математическая логика
печ.
Новосибирск: Научная
книга, 1995
Учебное пособие, 3-е
изд. стер.- СПб: Изд-во
«Лань», 2004
75 с.
336 с.
Е.А.Палютин
Download