Реферат: Ее вид

СПИСОК

научных и учебно-методических трудов

чл.-корр. РАН, д.ф.-м.н.

ГОНЧАРОВА Сергея Савостьяновича


№

Название работы, ее вид

Фор-
ма ра-

боты

Издательство, журнал (год, номер)

Объем в п.л. или стр.

Соавторы

1

2

3

4

5

6

а) научные работы

1

Конструктивизируемость суператом­ных булевых алгебр (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 12, N 1, 1973, 31-40

10 с.




2

Constructivizability of superatomic Boolean algebras (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.12, N 1, 1974, 17-22

6 с.




3

Конструктивные модели полных разрешимых теорий (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 12, N 2, 1973, 125-142

17 с.

А.Т.Нуртазин

4

Constructive models of complete solvable theories (статья)




Algebra and Logic, Plenum Publ.Corp., v.12, N 2, 1974, 67-77

11 с.

A.T.Nurtazin

5

Конструктивизируемость простых моделей (тезисы)

печ.

Ш Всесоюзная конф. по математической логике, Новосибирск 1974, 46-47

2 с.




6

Конструктивные булевы алгебры (тезисы)

печ.

Ш Всесоюзная конф. по математической логике, Новосибирск 1974, 48-49

2 с.




7

Конструктивные булевы алгебры (кандидатская диссертация)

рук.

Новосибирск, 1974

121 с.




8

Конструктивные булевы алгебры (автореферат кандидатской диссертации)

печ.

Новосибирск, 1974

9 с.




9

Вычислимые классы конструктивизаций (тезисы)

печ.

Всесоюзный алгебраич. симпозиум, Гомель, 1975, ч.2, 393-394

2 с.




10

Автоустойчивость и вычислимые семейства (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 14, N 6, 1975, 647-680

34 с.




11

Autostability and computable families

of constructivizations (статья)




Algebra and Logic, Plenum Pabl.Corp., v.14, N 6, 1976, 392-409

18 с.




12

Некоторые свойства конструктивизаций булевых алгебр (статья)

печ.

Сибирский математический журнал, т. 16, N 2, 1975, 264-278

15 с.




13

Some properties of the constructivi-zation of Boolean algebras (статья)

печ.

Sib.Math.J., v.16, N 2, 1975, 203-214

12 с.




14

-категоричная теория с единственной конструктивизи-руемой моделью (тезисы)

печ.

4-я Всесоюзная конф. по математиче­ской логике, Кишинев, 1976, 32

1 с.




15

Пример конструктивной абелевой группы с неконструктивизируемой редуцированной подгруппой (тезисы)

печ.

4-я Всесоюзная конференция по математической логике, Кишинев, 1976, 33

1 с.

В.П.Добрица

16

Неавтоэквивалентные конструктивизации атомных булевых алгебр (статья)

печ.

Математические за­метки, т. 19, N 6, 1976, 853-858

6 с.




17

Non-self-equivalent constructivization of atomic Boolean algebras (статья)

печ.

Math.Notes, v.19, 1976, 500-503

4 с.




18

Ограниченные теории конструк-тивных булевых алгебр (статья)

печ.

Сибирский Математичес-кий Журнал, т. 17, N 4, 1976, 797-812

16 с.




19

Restricted theories of constructive Boolean algebras (статья)

печ.

Sib.Math.J., v.17, 1977, 601-611

11 с.




20

О числе неавтоэквивалентных конструктивизаций (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 16, N 3, 1977, 257-282

26 с.




21

The quantity of nonautoequivalent constructivizations (статья)

печ.

Algebra and Logic, Plenum Pabl.Corp., v.16, N 3, 1978, 169-185

17 с.




22

Алгоритмические проблемы алгебры и теории нумераций (статья)

печ.

Фундаментальные исследования, Наука, Новосибирск, 1977, 8-12

5 с.

Л.А.Бокуть, Ю.Л.Ершов

23

Обобщение конструктивизации (тезисы)

печ.

14-я Всесоюзная алгебраи-ческая конферен., Новоси-бирск, Ч.2, 1977, 93-94

2 с.

Б.Н.Дроботун



24

Теория моделей (перевод с англ. Г.Кейслер, Ч.Ч.Чэн)

печ.

М., Мир, 1977

614 с.




25

Конструктивные модели - категоричной теории (статья)

печ.

Математические заметки, 23, N 6, 1978, 885-888

4 с.




26

Constructive models of -categorical theories (статья)

печ.

Math.Notes, v.23, 1978, 486-487

2 с.




27

Сильная конструктивизируемость однородных моделей (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 17, N 4, 1978, 363-388

26 с.




28

Strong constructivizability of homogeneous models (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.17, N4, 1979, 247-263

17 с.




29

Конструктивных моделей теория (статья)

печ.

Математическая энциклопедия, т.2, М., 1979, 1058-1060

3 с.




30

Strongly constructive homogeneous models (статья)

печ.

VI International Congress of Logic, Methodology and Philosophy of Science, Hannover, 1979, 108-112

5 с.




31

Рекурсивные модели и полурешетка по отделимости (тезисы)

печ.

V Всесоюзная конферен. по математической логике, Новосибирск, 1979, 31

1 с.




32

Конструктивизируемость декартовых степеней моделей (тезисы)

печ.

XV Всесоюзная алгебраическая конферен., Красноярск, Ч. 2, 1979, 40

1 с.




33

Тотально трансцендентная теория с неконструктивизируемой простой моделью (статья)

печ.

Сибирский Математиче-ский Журнал, т. 21, N 1, 1980, 44-51

8 с.




34

Totally transcendental theory with a nonconstructivizable prime model (статья)

печ.

Sib.Math.J., v.21, N1, 1980, 32-37

6 с.




35

О нумерациях насыщенных и однородных моделей (статья)

печ.

Сибирский Математиче-ский Журнал, т. 21, N 2, 1980, 25-41

17 с.

Б.Н.Дроботун

36

Numerations of saturated and homogeneous models (статья)

печ.

Sib.Math.J., v.21, N 2, 1980, 164-176

13 с.

B.N.Drobotun

37

Автоустойчивость моделей и абелевых групп (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 19, N 1, 1980, 23-44

22 с.




38

Autostability of models and Abelian groups (статья)

печ.

Algebra and Logic, Plenum Pabl.Corp., v.19, N 1, 1980, 13-27

15 с.




39

Автоустойчивость моделей (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 19, N 1, 1980, 45-58

14 с.

В.Д.Дзгоев

40

Autostability of models (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.19, N 1, 1980, 28-37

10 с.

V.D.Dzgoev

41

Тотально трансцендентная теория без конструктивизируемых однородных моделей (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 19, N 2, 1980, 137-149

13 с.




42

A totally transcendental decidable theory without constructivizable homogeneous models (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.19, N 2, 1981, 85-93

9 с.




43

Проблема числа неавтоэквивалент­ных конструктивизаций (статья)

печ.

Доклады АН СССР, т. 251, N 2, 1980, 271-274

4 с.




44

The problem of the number of non-autoequivalent constructivizations (статья)

печ.

Sov.Math.Dokl., v.21, 1980, 411-414

4 с.




45

Вычислимые однозначные нумерации (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 19, N 5, 1980, 507-551

45 с.




46

Computable single-valued numerations (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.19, N 5, 1981, 325-356

32 с.




47

Проблема числа неавтоэквивалентных конструктивизаций (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 19, N 6, 1980, 621-639

19 с.




48

Problem of the number of non-self-equivalent constructivizations (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.19, N 6, 1981, 401-414

14 с.




49

О числе конструктивизаций (автореферат докторской диссертации)

печ.

Новосибирск, 1981

18 с.




50

О числе конструктивизаций (докторская диссертация)

рук.

Новосибирск, 1981

212 с.




51

Два примера неавтоустойчивых систем (тезисы)

печ.

XVI Всесоюзная алгебраи-ческая конферен., Ленин-град, 1981, Ч.2, 33-34

2 с.

А.А.Новиков

52

Рекурсивно перечислимые булевы алгебры (тезисы)

печ.

XVI Всесоюзная алгебраическая конферен., Ленинград, 1981, Ч.2, 164

1 с.




53

Атомы рекурсивных булевых алгебр (тезисы)

печ.

XVI Всесоюзная алгебраи-ческая конферен., Ленин-град, 1981, Ч.2, 33-34

1 с.

К.У.Узаков

54

Группы с конечным числом конструктивизаций (статья)

печ.

Доклады АН СССР,т. 256, N 2, 1981, 269-272

4 с.




55

Groups wits a finite number of constructivizations (статья)

печ.

Sov.Math.Dokl., v.23, 1981, 58-61

4 с.




56

Нумерованная модель (статья)

печ.

Математическая энциклопедия, т. 3, 1982, 1088-1089

2 с.




57

Предельно эквивалентные конструктивизации (статья)

печ.

Труды ИМ СО АН СССР, т. 2, 1982, 4-12

9 с.




58

Семейства с однозначными нумерациями (тезисы)

печ.

VI Всесоюзная конферен. по математической логике, Тбилиси, 1982, 40

1 с.




59

Справочная книга по математи-ческой логике, ч.1, Теория моделей (перевод с англ.)

печ.

М.: Наука, 1982

391 с.

В.Д.Дзгоев, К.Ф.Самохвалов, Д.И.Свириденко

60

Универсальные рекурсивно перечислимые булевы алгебры (статья)

печ.

Сибирский Математиче-ский Журнал, т. 24, N 6 (142), 1983, 36-43

8 с.




61

Universal recursively enumerable Boolean algebras (статья)

печ.

Sib.Math.J., v.24, N 6, 1984, 852-858

7 с.




62

Матрицы как абстрактный тип данных (статья)

печ.

Вычислительные системы, Новосибирск, N 96, 1983, 75-86

10 с.




63

Позитивные нумерации семейств с однозначными нумерациями (статья)

печ.

Алгебра и логика, ИМ СО РАН, т. 22, N 5, 1983, 481-488

8 с.




64

Positive numerations of families with one-valued numerations (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.22, N 5, 1984, 345-350

6 с.




65

Equivalences of constructivizations and computable enumerations (тезисы)

печ.

VII International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1983

3 с.




66

Перечислимые модели как абстрактные структуры данных (тезисы)

печ.

Семиотические аспекты формализации интеллектуальной деятельности “Телави-83”, Москва, 1983, 38

1 с.




67

Алгоритмическая размерность абелевых групп (тезисы)

печ.

17-я Всесоюзная алгебр. Конф., Ч. 2, Минск, 1983, 51

1 с.




68

Примеры неавтоустойчивых систем (статья)

печ.

Сибирский Математиче-ский Журнал, т. 25, N 4 (146), 1984, 37-45

9 с.

А.А.Новиков

69

Examples of nonautostable systems (статья)

печ.

Sib.Math.J., v.25,1984, 538-545

8 с.

A.A.Novikov

70

Аксиоматизируемые классы с сильными гомоморфизмами (тезисы)

печ.

VII Всесоюзная конф. по матем. логике, Новосибирск, 1984, 43

1 с.




71

Теория линейных списков (тезисы)

печ.

VII Всесоюзная конф. «Проблемы теоретической кибернетики», Иркутск, 1985, ч.1, 55

1 с.




72

Спецификация и синтез объектов (тезисы)

печ.

Семиотические аспекты формализации интеллек-туальной деятельности, “Кутаиси-85”, Москва, 1985, 200-203

1 с.

Д.И.Свириденко

73

Strong -categoricity (препринт)

печ.

Logic paper, N 55, Monash University, 1984

13 с.

C.Ash

74

Constructive Models (препринт)

печ.

Logic paper, N 56, Monash University, 1984

34 с.




75

Модели данных и языки их описаний (статья)

печ.

Вычислительные системы, N 107, Новосибирск, 1985, 52-70

23 с.




76

 -программирование (статья)

печ.

Вычислительные системы, N 107, Новосибирск, 1985, 3-29

27 с.

Д.И.Свириденко

77

-programming (статья)

печ.

Transl., II.Ser., Am. Math. Soc., v.142, 1989, 101-121

22 с.

D.I.Sviridenko

78

Теория списочных расширений и ее приложения (тезисы)

печ.

Всесоюзная конф. по прикладной логике, Новосибирск, 1985, 55-57

3 с.

Д.И.Свириденко

79

-программы и эффективные реализации списочной надстройки (тезисы)

печ.

Всесоюзная конф. по прикладной логике, Новосибирск, 1985, 57-60

3 с.




80

Strong -categoricity (статья)

печ.

Алгебра и логика, т. 24, N 6, 1985, 718-727

11 с.

C.Ash

81

Strong -categoricity (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.24, N 6, 1985, 471-476

6 с.

C.Ash

82

Axioms for classes with strong epimorphisms (статья)

печ.

Seminarber., Humboldt-Univ. Berlin, Sekt. Math., N 70, 1985, 99-102

4 с.




83

Strongly constructive models (статья)

печ.

Там же, 103-114


11 с.




84

Пример конструктивной абелевой группы с неконструктивизируемой редуцированной подгруппой (статья)

печ.

В кн.: Некоторые вопросы алгебраической теории чисел и конструктивных моделей, Алма-Ата, 1985, 30-33

4 с.

В.П.Добрица

85

Об алгоритмической размерности нильпотентных групп (тезисы)

печ.

XVIII Всесоюзная алгебраическая конф., Кишинев, 1985, ч.1, 124

1 с.




86

Theoretical aspects of -programming (статья)

печ.

Mathematical Methods Specification and Synthesis of Software System, Berlin, Math.Res., v.31, 1986, 169-179

11 с.

D.I.Sviridenko

87

Теория списков и ее модели (статья)

печ.

Вычислительные системы, N 114, Новосибирск, 1986, 84-95

12 с.




88

Сильные эпиморфизмы (тезисы)

печ.

8-я Всесоюзная конф. по математической логике, Москва, 1986, 39

1 с.




89

Сильные эпиморфизмы (тезисы)

печ.

Доклады IХ Всесоюзного совещания по логике, методологии и философии науки, Москва, 1986, 17

1 с.




90

Theoretical aspects of -programming (статья)

печ.

Lecture Notes in Computer Science, v. 255, 1986, ?

10 с.

Д.И.Свириденко

91

Замечание об аксиомах списочной надстройки GES (статья)

печ.

Вычислительные системы, N 114, Новосибирск, 1986, 11-15

5 с.




92

Об аксиомах для классов с сильными гомоморфизмами (статья)

печ.

Вычислительные системы, N 116, Новосибирск, 1986, 140-155

16 с.




93

Об одной стратегии исполнения -программ (тезисы)

печ.

Всесоюзная научная конференция, Рига, 1986,


1 с.

Д.И.Свириденко

94

Математические основы семантического программирования (статья)

печ.

Доклады АН СССР, т. 289, N 6, 1986, 1324-1328

5 с.

Д.И.Свириденко

95

Mathematical bases of semantic programming (статья)

печ.

Sov.Math.Dokl., v.31, 1986, 608-610


3 с.

D.I.Sviridenko

96

Semantic programming (статья)

печ.

Seminarber., Humboldt-Univ.Berlin, Sekt.Math., N 86, 1986, 35-55

21 с.

Yu.L.Ershov, D.I.Sviridenko

97

Semantic programming (статья)

печ.

Information processing, Proc. IFIP 10th World Comput. Congress, Dublin, v. 10, 1986, 1093-1100

8 с.

Yu.L.Ershov, D.I.Sviridenko

98

Замечание к аксиоматике теории обобщенной вычислимости последовательностей (тезисы)

печ.

4-я Всесоюзная конф., «Применение методов математической логики», Таллин, 1986, 60

1 с.




99

Axiomatizable classes with strong homomorphisms (статья)

печ.

Studia Logica, v.46, N 2, 1987, 113-120

8 с.




100

Методологические аспекты семантического программирования (статья)

печ.

Научное знание: Логика, понятие, структура. Наука, 1987

30 с.

Ю.Л.Ершов, Д.И.Свириденко

101

Позитивные модели и абстрактные типы данных (статья)

печ.

Вычислительные системы, N 122, 1987, 47-58

12 с.

В.Д.Дзгоев

102

-программы и их семантики (статья)

печ.

Вычислительные системы, N 120, 1987, 24-51

28 с.

Д.И.Свириденко

103

Semantic foundations of programming (статья)

печ.

Lecture Notes in Computer Science, v. 278, 1987, 116-122

7 с.

Yu.L.Ershov, D.I.Sviridenko

104

Семейство с единственной однозначной, но не наименьшей нумерацией (статья)

печ.

Труды ИМ СО АН СССР, т. 8, 1988, 42-58

17 с.




105

-определимость предикатов в GES (тезисы)

печ.

IX Всесоюзная конф. по математической логике, Ленинград, 1988, 37

1 с.

Д.И.Свириденко

106

Об определимости динамической логики в -программировании (тезисы)

печ.

2-я Всесоюзная конф. по прикладной логике, Новосибирск, 1988, 66

1 с.

В.Д.Дзгоев

107

Естественный параллелизм семантических программ (статья)

печ.

Формальные модели параллельных вычислений, Новосибирск, 1988, 6-19

14 с.

Ю.Л.Ершов, Д.И.Свириденко

108

Характеризация аксиоматизируе-мых классов с сильными эпиморфизмами (статья)

печ.

Труды ИМ СО АН СССР, Т. 12, 1989, 24-39

16 с.




109

Степени автоустойчивости (тезисы)

печ.

Международная конф. по алгебре, Новосибирск, 1989, 33

1 с.

В.Д.Дзгоев

110

Data models and languages for their description (статья)

печ.

AMS Translations, Series 2, v. 143, 1989, 139-152

14 с.




111

-programming (статья)

печ.

AMS Translations, Series 2, v. 142, 1989, 101-121

21 с.

D.I.Sviridenko

112

Нильпотентные группы конечной алгоритмической размерности (статья)

печ.

Сибирск. Матем. Журнал, т. 30, N 1 (173), 1989, 82-88

7 с.

А.В.Молоков, Н.С.Романов-ский

113

Nilpotent groups of finite algoritmic dimension (статья)

печ.

Sib.Math.J., v.30, N 1, 1989, 63-68

6 с.

A.V.Molokov, N.S.Romanovskij

114

Об алгоритмической размерности нильпотентных групп (статья)

печ.

Сибирск. Матем. Журнал, т.30, N 2(174), 1989, 52-60

9 с.

Б.Н.Дроботун

115

Algorithmic dimension of nilpotent groups (статья)

печ.

Sib.Math.J., v.30, N 2, 1989, 210-217

8 с.

B.N.Drobotun

116

Логическое программирование в широком смысле (статья)

печ.

Вычислительные системы, N 129, Новосибирск, 1989,

3-48

46 с.

Д.И.Свириденко

117

О рангах Скотта булевых алгебр (тезисы)

печ.

X Всесоюзная конф. по математической логике, Алма-Ата, 1990, 44

1с.

Б.Н.Дроботун

118

Автоустойчивость моделей (тезисы)

печ.

Симпозиум по математи-ческой логике, Хельсинки, 1990

1 с.

В.Д.Дзгоев

119

О некоторых тенденциях развития математической логики и ее приложения (статья)

печ.

Сибирское математическое общество, Бюллетень, Новосибирск, 1990, 6-14

9 с.

Д.И.Свириденко,Ю.Л.Ершов

120

-сильно конструктивные однородные модели (тезисы)

печ.

Советско-французский коллоквиум по теории мо-делей, Караганда, 1990, 15

1 с.

Д.А.Тусупов

121

Об одном способе эффективной реализации программ в семанти-ческом программировании (статья)

печ.

Вычислительные системы, Новосибирск, N 139, 1991, 117-123

7 с.




122

The characterization of axiomatizable classes with strong epimorphisms (статья)

печ.

SIBAM, v. 1, N 2, 1991, 57-76

20 с.




123

Семейства с единственной позитивной нумерацией (статья)

печ.

Вычислительные системы, Новосибирск, N 146, 1992, 96-104

9 с.




124

Informatization of Siberia: state-of-the art and prospects of development (статья)

Печ.

Informatization of Russia, konference, DECO, Paris, 1992, 53-70

18 с.

A.S.Alekseev, Yu.L.Ershov, Yu.M.Zybarev, S.V.Kuznetsov

125

Some effectively infinite classes of enumerations (статья)

печ.

Annals of Pure and Applied Logic, v.60, N 3, 1993, 207-235

29 с.

A.Yaknis, V.Yaknis

126

Вычислимые классы конструктиви-заций моделей конечного типа конструктивности (статья)

печ.

Сибирский Математиче-ский Журнал, т. 34, N 5, 1993, 23-37

15 с.




127

Computable classes of constructivizations for models of finite constructivizability type (статья)

печ.

Sib.Math.J., v.34, N 5, 1993, 812-824

13 с.




128

О сильной конструктивизируемо-сти булевых алгебр элементарной характеристики (1,1,0) (статья)

печ.

Алгебра и логика, ИДМИ, т. 32, N 6, 1993, 618-630

13с.

В.Н.Власов

129

Strong constructibility of Boolean algebras of the type (1,1,0) (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.32, N 6, 1993, 334-341

8 с.

V.N.Vlasov

130

Effectively infinite classes of enumerations (статья)

печ.

SIBAM, v. 3, N 1, 1993, 94-120

16 с.

A.Yaknis, V.Yaknis

131

Computable classes of weak constructivizations of models (тезисы)

печ.

5 Asian Conference of Mathematical Logic, Singapore, 1993, 37-38

1 с.




132

Позитивные вычислимые нумерации (статья)

печ.

Доклады РАН, т. 332, N 2, 1993, 142-143

2 с.




133

Positive computable numberings (статья)

печ.

Russ.Acad.Sci., Dokl. Math., v.48, N 2, 1994, 268-270

3 с.




134

Families with positive computable enumerations (тезисы)

печ.

Logic Colloquium-93, England, Keele University, 1993

1 с.




135

Эффективно бесконечные классы слабых конструктивизаций моделей (статья)

печ.

Алгебра и логика, ИДМИ, т. 32, N 6, 1993, 631-664

34 с.




136

Effectively infinite classes of weak constructivizations of models (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.32, N 6, 1993, 342-360

19 с.




137

A unique positive enumeration (статья)

печ.

SIBAM, v. 4, N 1, 1994, 52-64

13 с.




138

Эффективно бесконечные классы вычислимых нумераций (статья)

печ.

Университеты России, Москва, 1994,

5 с.

С.Березнюк, И.Васильева

139

Decidable models (статья)

печ.

XXV Mathematical Conference of Iran, 1994,


10 с.




140

On computable minimal enumerations (тезисы)

печ.

Lecture Notes in Computer Science, v. 813, Springer-Verlag, 1994,

2 с.

S.A.Badaev

141

On computable minimal enumerations (тезисы)

печ.

Proceedings of Krasnoyarsk Conference, 1994, 21-23

3 с.

S.A.Badaev


142

Classes with pairwise equivalent enumerations (тезисы)

печ.

Logical Foundations of Comp.Sc.:Proc. Trid Int. Symp., LFCS’94, St.Petersburg, 1994, LNCS, N 813, 140-141

2 с.

S.A.Badaev

143

Итерированные обогащения моделей счетных теорий и их приложения (статья)

печ.

Алгебра и логика, ИДМИ, т. 34, N 6, 1995, 623-645

23 с.

М.Пурмахдиан

144

Iterated expansions of models for countable theories and their applications (статья)

печ

Algebra and Logic, Plenum Publ.Corp.,v.34, N 6, 1995, 346-358

13 с.

M.Purmahdian

145

Classes with pairwise equivalent enumerations (статья)

печ.

Труды международной конференции, Красноярск, 1995,

12 с.

S.A.Badaev

146

Morley problem (тезисы)

печ.

Logic Colloquium’95, Haifa, Israel, 1995, 16

1 с.




147

On computable minimal enumerations (статья)

печ.

Algebra, Walter de Gruyter, Berlin – New-York, 1996, 21-33

13 с.

S.A.Badaev

148

Семейство с одноэлементной полу-решеткой Роджерса (препринт)

печ.

Препринт, N 15, Новоси-бирск, НИИ МИОО, 1996

26 с.

С.Бадаев

149

Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса (препринт)

печ.

Препринт, N 19, Новосибирск, НИИ МИОО, 1996

27 с.

А.Сорби

150

Recursive and decidable models (тезисы)

печ.

MF Oberwolfach, N 5, 1996, 4

1с.




151

Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса (статья)

печ.

Алгебра и логика, ИДМИ, т. 36, N 6, 1997, 621-641

21 с.

А.Сорби

152

Generalized computable numerations and nontrivial Rogers semilattices (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.36, N 6, 1997, 359-369

11 с.

A.Sorbi

153

О спектре степеней разрешимых отношений (статья)

печ.

Доклады РАН, т. 352, N 3, 1997, 301-303

3 с.

Б.Хусаинов

154

On the spectrum of degrees of decidable relations (статья)

печ.

Dokl.Math., v.55, N 1, 1997, 55-57

3 с.

B.Khoussainov


155

О региональном фонде учебных компьютерных курсов и технологий в образовании (тезисы)

печ.

Тезисы международной научно-практической конф., НГУ, Новосибирск, 1997, 7-8

2 с.

Н.В.Петухова

156

Autostable models and algorithmic dimensions (статья)

печ.

Handbook of Recursive Mathematics, v.138, Part 1, 1998, 261-287

27 с.




157

Elementary theories and their constructive models (статья)

печ.

Handbook of Recursive Mathematics, v.138, Part 1, 1998, 115-165

51 с.

Yu.L.Ershov

158

Introduction to the Handbook of Recursive Mathematics (вводная статья)

печ.

Handbook of Recursive Mathematics, v.138, Part 1, 1998, vii-xlvi

40 с.

Yu.L.Ershov, A.Nerode, J.Remmel

159

Семейства с одноэлементной полурешеткой Роджерса (статья)

печ.

Алгебра и логика, ИДМИ, т. 37, N 1, 1998, 36-62

27 с.

С.А.Бадаев

160

Families with one-element Rogers semilattice (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.37, N 1, 1998, 21-34

14 с.

S.A.Badaev

161

Decidable Boolean algebras of low level (статья)

печ.

Annals of Pure and Applied Logic, v. 94, N 1-3, 1998, 75-95

21 с.




162

Handbook of Recursive Mathematics (книга, 2 тома)

печ.

Studies in Logic and the Foundations of Mathematics, v.138-139, 1998

1660 с.

Ed.:Y.L.Ershov, S.S.Goncharov, A.Nerode, J.Remmel, V.Marek

163

Computably categorical structures and expansions by constans (статья)

печ.

Journal of Symbolic Logic, v.64, N 1, 1999, 13-37

25 с.

P.Cholak, B.Khoussainov, R.Shore

164

Theory of numberings, open problems (статья)

печ.

Contemporary Mathematics (AMS), v.257, 2000, 23-38

16 с.

S.Badaev

165

Open problems in the theory of constructive algebraic systems (статья)

печ.

Contemporary Mathematics (AMS), v.257, 2000, 145-170

26 с.

B.Khoussainov



166

Специализированный учебно-науч-ный центр физико-математичес-кого и химико-биологического профиля Новосибирского государ-ственного университета (статья)

печ.

Вестник НГУ, серия: педагогика, т.1, вып. 1, 2000, 67-79

13 с.

А.А.Никитин, Е.Н.Алаев и др.



167

Ershov’s problems on minimal numberings (тезисы)

печ.

Тезисы межд. конф., посв. 60-летию со дня рождения Ю.Л.Ершова, Новосибирск 2000, 111-112

2 с.

С.А.Бадаев

168

О полурешетках Роджерса семейств арифметических множеств (статья)

печ.

Алгебра и логика, ИДМИ, т. 40, N 5, 2001, 507-522

16 с.

С.А.Бадаев

169

On Rogers semilattices of families of arithmetic sets (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.40, N 5, 2001, 283-291

9 с.

S.A.Badaev

170

О сложности теорий вычислимых -категоричных моделей (статья)

печ.

Вестник НГУ, серия: мате-матика, механика, инфор-матика., т. 1, вып. 2, 2001, 63-76

14 с.

Б.Хусаинов

171

Генные сети – программы жизни (тезисы)

печ.

Конф. Новые информаци-онные технологии в уни-верситетском образовании, Новосибирск, 2001, 47-48

2 с.

Е.Витяев, Н.Колчанов

172

Computable and arithmetical numberings (тезисы)

печ.

International conference Mathematical Logic,Algebra and Set Theory dedicated to the 100-th anniversary of P.S.Novikov, 2001,

2 с.

S.A.Badaev, A.Sorbi

173

К 70-летию А.А.Боровкова (статья)


печ.

СМЖ, т.42, 2001, 243-248


6 с.




174

The theory of computable models (тезисы)

печ.

Mathematisches Forshungsinstitut Oberwolfach, (21.01-27.01.2001) Berechenbarkeitstheorie, 2001, N3, p.3-5

3 с.




175

Isomorphism problems and computable classification (тезисы)

печ.

Abstracts of Papers Presented to the AMS , v.23, N 1, Issue 127, 2002, p.10

1 с.

J.Knight

176

Computable models, invariants and numberings (тезисы)

печ.

Там же, p. 13

1 с.




177

Completeness and universality of arithmetical numberings

(препринт)

печ.

Rapporto Matematico, Siena, N 428, 2002

36 с.

S.A.Badaev, A.Sorbi

178

Algebraic properties of Rogers semilattices of arithmetical numberings (препринт)

печ.

Rapporto Matematico, Siena, N 429, 2002

34 с.

S.A.Badaev, S.Yu.Podzorov, A.Sorbi

179

Isomorphism types and theories of Rogers semilattices of arithmetical numberings (препринт)

печ.

Rapporto Matematico, Siena, N 430, 2002

13 с.

S.A.Badaev, A.Sorbi

180

Жесткие отношения на конструк-тивных моделях (статья)

печ.

Доклады АН, т. 384, N 3, 2002, 302-303

2 с.




181

Rigid relations on constructive models (статья)

печ.

Dokl.Math., v.65, N3, 2002, 363-364

2 с.




182

Фридберговские нумерации семейств n-вычислимо перечислимых множеств (статья)

печ.

Алгебра и логика, ИДМИ, т 41, N 2, 2002, 143-154

12 с.

С.Лемпп, Д.Р.Соломон

183

Friedberg numberings of families of n-computably enumerable sets (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.41, N 2, 2002, 81-86

6 с.

S. Lempp,

R. Solomon

184

Сложность категоричных теорий с вычислимыми моделями (статья)

печ.

Доклады АН, 2002, т 385, N 3, 299-301

3 с.

Б.Хусаинов


185

Complexity of categorical theories with computable models (статья)

печ.

Dokl.Math., v.66, N1, 2002, 52-54

3 с.

B.Khusainov

186

Вычислимые структурные и антиструктурные теоремы (статья)

печ.

Алгебра и логика, ИДМИ, т 41, N 6, 2002, 639-681

43 с.

Д.Ф.Найт

187

Computable structure and non-structure theorems (статья)

печ.

Algebra and Logic, Plenum Publ.Corp., v.41, N 6, 2002, 351-373

23 с.

J.F.Knight


188

Computability and autostability (тезисы)

печ.

Proceedings of Workshop “Computability and Models”, Almaty, 2002, p.33

1 с.




189

Invariants in the theory of computable models (статья)

печ.

Bull.Symbol.Log., v.8, N 2, 2002, p.313

1 с.




190

Elementary properties of Rogers semilattices of arithmetical numberings (статья)

печ.

Proceedings of the 7-th & 8-th Asian Logic Conferences, Singapore University Press, 2002, 1-10

10 с.

S.A.Badaev, A.Sorbi


191

Simple and immune relations on countable structures (статья)

печ.

Archives for Math. Logic, 42, 2003, 279-291

13с.

V.Harizanov, J.F.Knight, Ch.F.D.McCoy

192

Completeness and universality of arithmetical numberings.(статья)

печ.

Computability and models, Kluwer Academic/Plenum Publishers, 2003, 11-44

34 с.

S.A.Badaev,

A.Sorbi

193

Algebraic properties of Rogers semilattices of arithmetical numberings (статья )

печ.

Computability and models, Kluwer Academic/Plenum Publishers, 2003, 45-78

34 с.

S.Badaev, S.Podzorov, A.Sorbi

194

Isomorphism types and theories of Rogers semilattices of arithmetical numberings (статья )

печ.

Computability and models, Kluwer Academic/Plenum Publishers, 2003, 79-92

14 с.

S.A.Badaev, A.Sorbi


195

Elementary properties of Rogers semilattices of arithmetical numberings (препринт)

печ.

Rapporto Mathematico, Siena, N 441, 2003

10 с.

S.A.Badaev, A.Sorbi


196

On elementary theories of Rogers semilattices (препринт)

печ.

Rapporto Mathematico, Siena, N 442, 2003

6 с.

S.A.Badaev, A.Sorbi

197

Спектры степеней для отношений на булевых алгебрах (статья)

печ.

Алгебра и логика, ИДМИ, т. 42, N 2, 2003, 182-193

12 с.

Р.Доуни, Д.Хиршфилдт

198

Degree Spectra of Relations on Boolean Algebras

(статья)

печ.

Algebra and Logic, Plenum Publ.Corp, v. 42, N 2, 2003, 105-111

7 с.

R.G.Downey, D.R.Hirschfeldt


199

The computable dimension of ordered Abelian groups (статья)

печ.

Advances in Math., v. 175, N 1, 2003, 102-143

42 с.

S.Lempp,

R.Solomon

200

Trivial, strongly minimal theories are model complete after naming constants (статья)

печ.

Proceedings of AMS, 2003

v.131, N12, 3901-3912.

12 с.

V.Harizanov, M.Laskowski, S.Lempp,

Ch.F.D.McCoy

201

Относительные гипериммунные отношения на структурах (статья)

печ.

Алгебра и логика, ИДМИ, т. 43, N 2, 2004, 170-183

14 с.

В.Харизанова, Д.Найт,

Ч.МакКой

202

Relatively Hyperimmune Relations on Structures (статья)

печ.

Algebra and Logic, Plenum Publ.Corp, v.43, N 2, 2004, 94-101.

11 с.

V.Harizanov, J.F.Knight, Ch.F.D.McCoy

203

$∏^1_1$ - relations and paths through.


печ.

The Journal of Symbolic Logic, v.69, N 2, 2004, 585-611.

27 с.

V.Harizanov, J.F.Knight,

R.A.Shore

204

Сложность теорий вычислимых категоричных моделей (статья)

печ.

Алгебра и логика, ИДМИ, т.43, N6, 2004, 650-665.

16 с.

Б.М.Хусаинов

205

Complexity of Categorical Theories with Computable Models (статья)

печ.

Algebra and Logic, Plenum Publ.Corp, v.43, N 6, 2004, 365-373.

9 с.

B.Khoussainov

206

Об элементарных теориях полурешеток Роджерса (статья)

печ.

Алгебра и логика, ИДМИ, т.44, N3, 2005, 261-268

8 с.

С.А.Бадаев, А.Сорби

207

Elementary theories for Rogers semilattices (статья )

печ.

Algebra and Logic, Plenum Publ.Corp, v.44, N3, 2005, 143-147

5 с.

S.A.Badaev,

A.Sorbi

208

Об автоморфных кортежах элементов в вычислимых моделях (статья)

печ.

СМЖ, т.46, N3, 2005, 523-532

10 с.

В.Харизанова, Дж.Ф.Найт, А.С.Морозов,

А.В.Ромина

209

On automorphic tuples of elements in computable models (статья)

печ.

SMJ, v.46, N 3, 2005, 405-412

8 с.

V.Harizanov, J.