О А. Д. Тайманове
ОСНОВНЫЕ ДАТЫ ЖИЗНИ И ДЕЯТЕЛЬНОСТИ АКАДЕМИКА АКАДЕМИИ НАУК КАЗАХСКОЙ ССР А. Д. ТАЙМАНОВА
Асан Дабсович Тайманов родился 25 октября (7 ноября) 1917 г. в Урдинском районе Западно-Казахстанской области.
1927—1932 гг. Детский дом в пос. Урде, школа колхозной молодежи, педучилище в пос. Сломихине.
1933—1936 гг. Студент Уральского государственного педагогического института им. А. С. Пушкина.
1936—1938 гг. Ассистент кафедры математики Уральского педагогического института им. А. С. Пушкина; студент заочного отделения механико-математического факультета МГУ им. М. В. Ломоносова.
1938—1941 гг. Аспирант Московского педагогического института им. В. И. Ленина.
1941—1945 гг. Служба в рядах Советской Армии.
1945 г. Награжден медалями «За взятие Кенигсберга», «За победу над Германией в Великой Отечественной войне 1941 —1945 гг.».
1945—1947 гг. Аспирант Московского педагогического института им. В. И. Ленина.
1947 г. Защита диссертации на соискание ученой степени кандидата физико-математических наук на тему: «О квазикомпонентах несвязных множеств».
1947—1954 гг. Заведующий кафедрой математики Кзыл-Ординского педагогического института им. Н. В. Гоголя.
1951 г. Решением ВАК утвержден в звании доцента по кафедре «Математика».
1954—1956 гг. Доцент Шуйского педагогического института.
1956—1960 гг. Доцент Ивановского текстильного института им. М. В. Фрунзе.
1960 г. Решением президиума АН СССР утвержден в звании старшего научного сотрудника по специальности «Высшая алгебра».
1960—1968 гг. Старший научный сотрудник Института математики Сибирского отделения Академии наук СССР.
1961 г. Защита диссертации на соискание ученой степени доктора физико-математических наук на тему: «Некоторые вопросы распространения отображений».
1961—1962 гг. Доцент кафедры алгебры Новосибирского государственного университета.
1962 г. Избран действительным членом Академии наук Казахской ССР.
Решением ВАК утвержден в звании профессора по кафедре «Геометрия и топология».
1962—1968 гг. Заведующий кафедрой геометрии Новосибирского государственного университета, член объединенного ученого совета по физико-математическим и техническим наукам СО АН СССР, член ученого совета Новосибирского государственного университета, Института математики СО АН СССР.
1963 г. Командирован в Польшу для ознакомления с работой научных центров в Варшаве, Торуне, Вроцлаве и для установления научных контактов.
1965 г. Вступил в ряды КПСС.
1966 г. Участвовал в работе Международного математического конгресса в Москве.
1967 г. Награжден орденом Трудового Красного Знамени за достигнутые успехи в развитии науки.
1968 г. Избран членом президиума научно-методического совета при Министерстве просвещения СССР.
1968—1970 гг. Академик-секретарь отделения физико-математических наук АН КазССР, заведующий кафедрой математической логики в Казахском государственном университете им. С. М. Кирова, директор Института математики и механики АН КазССР.
1970 г. Награжден медалью «За доблестный труд. В ознаменование 100-летия со дня рождения Владимира Ильича Ленина».
— Старший научный сотрудник Института математики СО АН СССР.
— Командирован во Францию для участия в работе Международного математического конгресса в Ницце.
1972 г. Командирован в ФРГ для участия в конференции по теории моделей в Обервольфахе.
1973 г. Командирован в Польшу для чтения лекций в международном математическом центре им. Хана Банаха.
1974 г. Командирован в ГДР в Грейфсвальд для чтения лекций и университете им. Арндта.
1976 г. Командирован в ФРГ для доклада на конференции по теории моделей в Обервольфахе.
1978 г. Награжден почетным знаком Министерства просвещения СССР «Отличник просвещения СССР».
1979 г. Командирован в ФРГ в Ганновер для участия в работе VI международного конгресса по логике, методологии и философии науки с докладом.
1983 г. Награжден медалью «За боевые заслуги».
1984 г. Командирован в ГДР в Грейфсвальд для чтения лекций в университете им. Арндта.
1985 г. Награжден орденом Отечественной войны I степени.
1988 г. Награжден орденом Трудового Красного Знамени.
КРАТКИЙ ОЧЕРК НАУЧНОЙ, ПЕДАГОГИЧЕСКОЙ И ОБЩЕСТВЕННОЙ ДЕЯТЕЛЬНОСТИ АКАДЕМИКА АКАДЕМИИ НАУК КАЗАХСКОЙ ССР А. Д. ТАЙМАНОВА
КРАТКИЙ ОЧЕРК НАУЧНОЙ, ПЕДАГОГИЧЕСКОЙ И ОБЩЕСТВЕННОЙ ДЕЯТЕЛЬНОСТИ АКАДЕМИКА АКАДЕМИИ НАУК КАЗАХСКОЙ ССР А. Д. ТАЙМАНОВА
Один из ведущих математиков СССР, получивший фундамен-тальные результаты по целому ряду математических дисциплин, кавалер двух орденов Трудового Красного Знамени и ордена Отечественной войны I степени, основатель казахстанской школы математической логики, академик АН КазССР Асан Дабсович Тайманов родился 25 октября 1917 г. в многодетной семье бедного казаха-скотовода в Урдинском районе Западно-Казахстанской (ныне Уральской) области.
Ровесник советской власти, А. Д. Тайманов рос и мужал одно¬временно с нею. Его судьба является ярким примером того, каких высот может достигнуть талантливый целеустремленный человек в условиях советской действительности.
С 1927 г. А. Д. Тайманов воспитывался в детском доме в по-селках Урде и Сломихине (ныне г. Фрунзе), где учился в школах крестьянской (затем колхозной) молодежи, преобразованной в пед-училище. В 1933 г. он поступил в Уральский государственный пед-институт им. А. С. Пушкина, по окончании которого был зачислен ассистентом кафедры математики, и одновременно выдержал экза-мены на заочное отделение механико-математического факультета МГУ им. М. В. Ломоносова.
В 1938 г. после третьего курса А. Д. Тайманов поступил в очную аспирантуру МГПИ им. Ленина, где на него большое влияние оказал выдающийся ученый и крупный педагог, член-корреспондент АН СССР А. Я. Хинчин.
За период учебы в аспирантуре А. Д. Тайманов участвовал в работе различных научных семинаров, которые проходили под руко¬водством таких крупных ученых, как А. А. Ляпунов, Л. В. Келдыш, П. С. Александров, В. В. Степанов, М. В. Бебутов, Ф. Р. Гантмахер и др.
Великая Отечественная война прервала напряженную и интерес¬ную работу. Вступив в народное ополчение в июле 1941 г., А. Д. Тайманов участвовал в боях под Москвой, за Белоруссию и Литву, а закончил войну в Пруссии. В 1945 г., демобилизовавшись из армии, А. Д. Тайманов продолжил обучение в аспирантуре МГПИ им. В. И. Ленина и под руководством П. С. Новикова, Л. В. Кел¬дыш и А. А. Ляпунова возобновил занятия по дескриптивной теории множеств и теоретико-множественной топологии. Им был получен ряд фундаментальных результатов по теоретико-множественной топологии, которые легли в основу его кандидатской диссертации. Ака¬демик П. С. Александров назвал диссертацию А. Д. Тайманова вы¬дающейся.
В эти годы в Казахстане, испытывавшем острую нехватку вы¬сококвалифицированных кадров, создавалась сеть новых высших учебных заведений. Асан Дабсович, получивший путевку в жизнь от казахстанского комсомола 40-х. годов, с 1947 по 1954 г. работает преподавателем в Кзыл-Ординском педагогическом институте им. Н. В. Гоголя. Здесь он организовал постоянный научный семи¬нар по математике для студентов и преподавателей, ввел в практи¬ку математические конкурсы и вечера. Впервые в республике в 1951 г. им были организованы городская и областная математиче¬ские олимпиады.
За этот период А. Д. Таймановым был проведен цикл глубоких исследований по дескриптивной теории множеств и теоретико-мно¬жественной топологии. Получены окончательные результаты по проблеме Хаусдорфа о сохранении классов В-множеств при откры¬тых отображениях. Из теоремы А. Д. Тайманова наряду с другими в качестве следствий вытекали известные теоремы П. С. Александро¬ва и Л. В. Келдыш.
В статье «О замкнутых отображениях» сделано принципи-альное продвижение по решению известной проблемы Александро¬ва–Вайнштейна о сохранении классов В-множеств при замкнутых отображениях. Несколько усиленная в 1976 г. французским матема¬тиком Сент-Раймондом и обобщенная в дальнейшем молдавским математиком Чобаном именная теорема Тайманова–Сент-Раймон¬да–Чобана считается классической в дескриптивной теории множеств.
В эти же годы А. Д. Таймановым выведена другая классическая теорема, относящаяся к теоретико-множественной топологии. Изу¬чая возможность распространения на замыкание непрерывного отоб¬ражения части вполне регулярного пространства в другое вполне регулярное пространство, он ввел понятие равномерно непрерыв¬ного отображения и показал, что именно эти отображения обладают возможностью такого расширения. Из этого результата в качестве следствий выводятся многие известные теоремы отечественных и зарубежных математиков: Ю. М. Смирнова, Э. Чеха, Эйленберга, Стинрода, Вулиха и др.
Заинтересовавшись теорией функций, А. Д. Тайманов в заметке «Об одной задаче Н. Н. Лузина» описывает новый класс непрерыв¬ных функций, теория которых в дальнейшем получила развитие в школах Ю. Ф. Трофимчука и Е. П. Долженко.
В 1954 г. А. Д. Тайманова приглашают в Шуйский педагогиче¬ский институт, где он совместно с Д. А. Райковым организует семи¬нар по функциональному анализу и теории функций. В 1956 г. он, будучи делегатом Всесоюзного математического съезда, познакомился с докладом академика А. И. Мальцева по теории моделей — новому и актуальному направлению математической логики. Эта встреча определила дальнейшую научную деятельность Асана Дабсовича. Работая над проблемой элементарной эквивалентности моделей, он открыл своеобразный индуктивный процесс, позволяющий анализи¬ровать связь между внутренним строением моделей и записью опре-деляющих ее аксиом. В этом процессе индукция идет по переменам кванторов, т. е. по проективным классам конструкции формул. Такое применение идей дескриптивной теории множеств к логике привело к открытию критерия элементарной эквивалентности двух моделей, названному А. И. Мальцевым «методом перекидывания». С помощью этого метода А. Д. Тайманову удалось решить ряд математических проблем, получить характеристику формульности и диофантовости предикатов в аксиоматизируемых классах моделей, а также дока-зать разрешимость некоторых элементарных теорий.
Найденный независимо от Фраиссе метод «перекидывания» в настоящее время стал классическим в математической логике. В научной литературе он известен под названием метода Фраиссе–Тайманова–Эренфойхта.
С 1960 по 1968 г. А. Д. Тайманов работал в Институте матема¬тики СО АН СССР и в Новосибирском государственном универси¬тете, где он уделял большое внимание подготовке научных кадров. Здесь им был организован семинар по изучению научных работ по теории моделей, одним из результатов деятельности которого явилась обзорная статья «Элементарные теории», написанная А. Д. Таймановым совместно с Ю. Ершовым, И. Лавровым и М. Тайцлиным. Впоследствии статья переведена на английский язык и долгие годы оставалась наиболее простым пособием для начинающих изучать теорию моделей. А. Д. Тайманов — один из основателей советской школы по теории моделей, которая в настоящее время занимает одно из ведущих мест в мире.
В 60-х гг. академик А. И. Мальцев впервые ввел в программу НГУ курс математической логики. Дальнейшее методическое совершенствование этого курса осуществил Асан Дабсович Тайманов.
В 1960 г. Асан Дабсович совместно с академиком А. И. Мальце¬вым разработали программу по подготовке научных кадров по ма¬тематике для Казахстана.
В 1962 г. А. Д. Тайманов избирается действительным членом АН КазССР и решением ВАК утверждается в звании профессора по кафедре «Геометрия и топология». В это время он уделяет много внимания подготовке квалифицированных кадров по математике для Казахстана. В июле 1963 г. по предложению К. И. Сатпаева с участием Г. И. Марчука, М. М. Лаврентьева, О. А. Жаутыкова и А. Д. Тайманова принято решение о подготовке кадров по приклад¬ным направлениям в математике.
В 1968 г. по приглашению» Академии наук Казахской ССР А. Д. Тайманов переезжает в Алма-Ату, где избирается академиком (секретарем отделения физико-математических наук АН КазССР) и назначается директором Института математики и механики. Много сил и энергии он отдает развитию математической науки в Казах-стане. По его инициативе открыты Республиканская физико-матема¬тическая школа, кафедра алгебры и математической логики в КазГУ, лаборатория алгебры и математической логики и ряд лабо¬раторий по прикладной математике в Институте математики и механики.
В 1970 г. А. Д. Тайманов возвращается в ИМ СО АН СССР, продолжая курировать лабораторию алгебры и математической ло¬гики в ИМ АН КазССР и вновь открытую кафедру алгебры и мате¬матической логики в Карагандинском государственном университете.
В Новосибирске Асан Дабсович продолжает активно заниматься научной и педагогической деятельностью. К этому периоду относят¬ся его исследования по топологическим алгебрам. Он осуществляет руководство аспирантами из Казахстана. Девизом в этой его работе можно считать поговорку: «ученик — это не сосуд, который достаточно заполнить знаниями, а светильник, который необходимо зажечь».
Одновременно с научной А. Д. Тайманов ведет большую обще¬ственную работу: избирается членом президиума научно-методиче¬ского совета при Министерстве просвещения СССР и ряда научных сонетов.
Асан Дабсович Тайманов представлял Советский Союз на меж¬дународных конгрессах по математике в Ницце, логике, методоло¬гии и философии науки в Ганновере, участвовал в ряде междуна¬родных конференций по теории моделей, являлся членом оргкомите¬та почти всех всесоюзных конференций по математической логике.
Много сил отдает А. Д. Тайманов пропаганде советской математической науки за рубежом. С 1973 по 1984 г. он трижды выезжал для чтения курсов лекций в иностранных университетах.
За заслуги перед советской наукой, научно-педагогическую и научно-организационную деятельность А. Д. Тайманов награжден орденами Трудового Красного Знамени и почетным знаком Мини-стерства просвещения СССР «Отличник просвещения СССР».
Академик Академии наук
Казахской ССР
У. М. СУЛТАНГАЗИН
ЛИТЕРАТУРА О ЖИЗНИ И ТРУДАХ АКАДЕМИКА АКАДЕМИИ НАУК КАЗАХСКОЙ ССР А. Д. ТАЙМАНОВА
1. Асан Дабсович Тайманов: К 50-летию со дня рождения // Сиб. мат. жури. 1967. Т. 8, № 6. С. 1211—1213.
2. Асан Дабсович Тайманов: Библиогр.: указ. лит. / АН СССР. Снб. отд-ние, Ин-т математики. Новосибирск, 1979.
3. Генриксен Исбелл. Теория колец непрерывных функций.
4. Д и н ь Нью Тьонг. Предзамкнутые отображения и теорема А. Д. Тайманова // Докл. АН СССР. 1963. Т. 152, № з. С. 525—528.
5. Кон П. М. Универсальная алгебра / Пер. с англ.; Под ред. А. Г. Куроша. М.: Мир, 1968. 351 с.
6. Куратовский К. Топология: В 2 т. / Пер. с англ. М.: Мир, 1966, 1969. Т. 1, 2.
7. Математика в СССР: 1958—1967. В 2 т. / Отв. ред. С. В. Фомин, Г. Е. Шилов, М.: Мир, 1970. Т. 2: Биобиблиография, ныи. 2. 1580 с.
8. Математика в СССР за сорок лет: 1917—1957. В 2 т. / Под ред. А. Г. Куроша и др. М.: Физматгиз, 1959. Т. 2: Биобиблио-графия. 819 с.
9. Э н г е л ь к и н Г. Р. Введение в общую топологию / Пер. с англ.
ХРОНОЛОГИЧЕСКИЙ УКАЗАТЕЛЬ ТРУДОВ
1949
1. О квазикомпонентах несвязных множеств//Мат. сб. 1949* Т. 25, № 3. С. 367—386. Библиогр.: 7 назв.
1950
2. О жестких базах бэ-операций/УИзв. АН СССР. Сер. мат. 1950. Т. 14, № 5. С. 443—448. Библиогр.: 4 назв.
1952
3. О квазикомпонентах несвязных множеств. П//Мат. сб. 1952. Т. 30, № 3. С. 465—482. Библиогр.: 9 назв.
4. О распространении непрерывных отображений топологических пространств//Там же. Т. 31, № 2. С. 459—463. Библиогр.: 3 назв.
1953
5. О квазикомпонентах незамкнутых множеств//Успехи мат. наук. 1953. Т. 8, вып. 2. С. 162—163. Библиогр.: 2 назв.
6. О кратной отделимости замкнутых множеств//Изв. АН СССР. Сер. мат. 1953. Т. 17, № 1. С. 51—62. Библиогр.: 3 назв.
7. Об одной задаче Н. Н. Лузина//Успехи мат. наук. 1953. Т. 8, вып. 5. С. 169—171. Библиогр.: 1 назв.
1955
8. Замечание к статье В. С. Федорова «Труды Н. Н. Лузина по теории функций комплексного переменного»//Успехи мат. наук. 1955. Т. 10, вып. 1. С. 167—168. Библиогр.: 1 назв.
9. О замкнутых отображениях. 1//Мат. сб. 1955. Т. 36, № 2. С. 349—352. Библиогр.: 3 назв.
10. Об открытых образах борелевских множеств//Там же. Т. 37, .Nb 2. С. 293—300. Библиогр.: 5 назв.
11. Об универсальных множествах//Там же. Т. 37, № 1. С. 117— 120. Библиогр.: 1 назв.
1956
12. О распространении непрерывных отображений в открытые //'Гр. 3-го Всесоюз. мат. съезда, Москва, 1956 г. М., 1956. Т. 2. С, 135—136.
1958
13. О классе моделей, замкнутом относительно прямого произве-дем и «//Успехи мат. наук. 1958. Т. 13, вып. 3. С. 231—232. Библиогр.:
2 назв.
14. Продолжение отображений компактов//Изв. вузов. Матема-тики. 1958. № 3. С. 198—202. Библиогр.: 5 назв.
1959
15. О замкнутых образах В-множеств//2-я Всесоюз. топология, комф.: Тез. докл. Тбилиси, 1959. С. 44—45.
16. О классе моделей, замкнутом относительно прямого произве- деипя//Успехи мат. наук. 1959. Т. 14, вып. 5. С. 202—203. Библиогр.:
3 мази.
17. О классе моделей, замкнутом относительно прямого произве- деммя//Докл. АН СССР. 1959. Т. 127, № 6. С. 1173—1175. Библиогр.:
4 назв.
1960
18. Замкнутые многозначные образы В-множеств//Тр. Тбил. мат. ин-та. 1960. Т. 27. С. 53—56. Библиогр.: 5 назв.
19. О замкнутых отображениях. И//Мат. сб. 1960. Т. 52, № 1. С, 579—588. Библиогр.: 7 назв.!
20. О замкнутых отображениях//Успехи мат. наук. 1960. Т. 15, ими. 5. С. 187—190. Библиогр.: 4 назв.
21. On closed mappings//Amer. Math. Soc. TransbSer. II. 1963. V. 30. P. 291—294.
22. О классе моделей, замкнутом относительно, прямого произ- иедения//Изв. АН СССР, Сер. мат. 1960. Т. 24, № 4. С. 493—510. Библиогр.: 6 назв.
23. On a class of models closed with respect do direct products //Amer. Math. Soc. Transl. Ser. II. 1966. V. 59. P. 1—22.
24. Об одной теореме В. Пономарева//Докл. АН СССР. 1960. Т. 135, № 2. С. 247—248. Библиогр.: 2 назв. {Совместно с А. В. Ар-хангельским] .
25. Продолжение монотонных отображений в монотонные отоб-ражения бикомпактов//Там же. № 1. С. 23—25. Библиогр.: 1 назв.
26. Extension of monotone mappings to monotone mappings of compact spaces//Soviet math. Dokl. 1961. V. 1. P. 1236—1238.
1961
27. Некоторые вопросы распространения отображений: Автореф. дис... докт. физ,-мат. наук. Новосибирск, 1961. 18 с. Библиогр.: 18 назв.
28. Характеристика аксиоматизируемых классов моделей. 1//Изв. АН СССР. Сер. мат. 1961. Т. 25, № 4. С. 601—620. Библиогр.: 9 назв.
29. Характеристика аксиоматизируемых классов моделей. II //Там же. № 6. С. 755—764. Библиогр.: 8 назв.
30. Характеристика конечно-аксиоматизируемых классов моде- лей//Докл. АН СССР. 1961. Т. 138, № 1. С. 67—69. Библиогр.:
3 назв.
31. Characterization of finitely axiomatizable classes of models //Soviet math. Dokl. 1961. V. 2. P. 552—554.
32. Характеристика конечно-аксиоматизируемых классов моде- лей//Сиб. мат. журн. 1961. Т. 2, № 5. С. 759—766. Библиогр.: 2 назв.
1962
33. Предел равномерно сходящейся последовательности компакт¬ных отображений метрического пространства на локально компактное пространство есть замкнутое отображение//Сиб. мат. журн. 1962. Т. 3, № 2. С. 310—311. Библиогр.: 4 назв.
34. Характеристика аксиоматизируемых классов моделей//Алгеб- ра и логика. 1962. Т. 1, вып. 4. С. 5—31. Библиогр.: 16 назв.
35. The characteristic of elementary classes of models //Intern, congr. of mathematicians, Stockholm, 1962: Abstr of short communs. 1962. P. 3.19—3.20.
1963
36. О теореме Бета—Кочена//Алгебра и логика. 1963. Т. 1, вып. 6. С. 4—16. Библиогр.: 8 назв.
37. Открытые прообразы сферы//Изв. АН КазССР. Сер. физ.- мат. наук. 1963, вып. 3: Математика и механика. С. 8—12. Библиогр.:
4 назв.
38. Разрешимость элементарной теории включения сфер//Алгебра и логика. 1963. Т. 2, вып. 3. С. 23—27. Библиогр.: 2 назв.
1964
ЗУ. Характеристика аксиоматизируемых классов моделей//Тр. 4-го Іһчч-оюз. мат. съезда, Ленинград, 1961 г. Л., 1964. Т. 2. С. 32—35. Библиогр.: 2 назв.
-10. Рец.: Rasiowa Н., Sikorski R. The mathematics of metamathe- nialics. Warszawa: PWN, 1963. 519 p.//Новые книги за рубежом. Сер. А. 1964, № 9. С. 5—8. [Совместно с Д. А. Захаровым].
41. Рец.: Robinson A. Introduction to model theory and to the mi'lmuathematics of algebra. Amsterdam: North Holland. 1963. 284 p. //Новые книги за рубежом. Сер. А. 1964, № 5. С. 11—12. [Совместно г Д. А. Захаровым].
1965
42. Элементарные теории//Успехи мат. наук. 1965. Т., 20, вып. 4. (37 108. Библиогр.: 144 назв. [Совместно с Ю. Л. Ершовым, II. А. Лавровым и М. А. Тайцлиным].
43. Elementary theories //Russian math, surveys. 1965. V. 20, N 4. v I' 35 105. [Jt. auths Yu. L. Ersov, I. A. Lavrov. M. A. Taiclinl.
44. Робинсон А. Последние достижения в теории моделей: Пер. с англ.//Математическая логика и ее применение. М., 1965. С. 65—89. |Совместно с В. П. Кобковым].
45. Рец.: Quine W. О. Set theory and its logic. Cambridge: Belk¬nap press of Harvard univ. press. 1963. 359 p./Новые книги за рубе¬жом. Сер. А. 1965, № 7. С. 5—7. [Совместно с Д. А. Захаровым].
1966
46. Исправления к работе А. Д. Тайманова «О классах моделей, замкнутых относительно прямого произведения»//Изв. АН СССР. Сор. мат. 1966. Т. 30, № 1. С. 247.
47. О формулах хорновского вида//Там же. № 3. С. 523—524. Библиогр.: 9 назв.
48. On Horn formulas //Amer. Math. Soc. Transl. Ser. 2. 1970. V. 94. P. 105—106.
49. Рец.: Colloquium on the foundation of mathematics, mathema-tical machines and their applications, Tihany, 1962. Budapest: Acad.Kiado, 317 p.//Новые книги за рубежом. Сер. А. 1966, № 11. С. 11—13. [Совместно с Д. А. Захаровым].
1965.
50. Рец.: Morse А. P. A theory of sets. New York: Acad, press, 1965. 130 p.//Новые книги за рубежом. Сер. А. 1966, № 11. С. 24—25. [Совместно с В. О. Красавчиковым].
1967
51. Автоморфизмы алгебры с одной монарной операцией в сиг- натуре//Алгебра и логика. 1967. Т. 6, вып. 5. С. 21—31. Библиогр.: 5 назв.
52. Замечание к теореме Мостовского — Эренфойхта//Там же. Вып. 3. С. 101—103. Библиогр.: 4 назв.
53. О системах с разрешимой универсальной теорией//Там же. Вып. 5. С. 33—43. Библиогр.: 13 назв.
54. Предисловие редактора.//Робинсон А. Введение в теорию мо-делей и метаматематику алгебры: Пер. с англ. М., 1967. С. 8—13.
55. Рец.: Kuratowski К., Mostowski A. Theoria mnogosci. Wyd. 2. roszs. Warsawa: PWN, 1966. 375 p. //Новые книги за рубежом. Сер. А. 1967, № 6. С. 6—8. [Совместно с М. И. Кратко].
1968
56. Академик С. Л. Соболев: К 60-летию со дня рождения //Вестн. АН КазССР. 1968. № 9. С. 62—66. [Совместно с К. П. Пер¬сидским, О. А. Жаутыковым, Е. И. Кимом и Т. И. Амановым].
57. Анатолий Иванович Мальцев: Некролог//Успехи мат. наук. 1968. Т. 23, вып. 3. С. 159—170. [Совместно с П. С. Александровым, Ю. Л. Ершовым].
58. Anatolii Ivanovich Mal’tsev //Russian math, surveys. 1968. v V. 23, N 3. P. 157—168. [Jt. auths P. S. Aleksandrov, Ju. L. Ersov].
1970
59. Счетные модели Xi-категоричных, но не хо-категоричных тео- рий//Алгебра и логика. 1970. Т. 9; № 5. С. 559—565. Библиогр.: 3 назв. [Совместно с Т. Г. Мустафиным].
60. Countable models of xpcategorical but not x0-categorical theo-ries//Algebra and logic. 1970. V. 9, N 5. P. 338—341. [Jt. auths T. G. Mustafin],
61. От редактора перевода//Куратовский К., Мостовский А. Тео-рия множеств/Пер. с англ. М., 1970. С. 5—6.
1971
62. Академик Михаил Алексеевич Лаврентьев: К 70-летию со дня рождения//Изв. АН КазССР. 1971, № 3. С. 75—77. [Совместно О. А. Жаутыковым и Т. И. Амановым].
63. Предисловие редактора//Феферман С. Числовые системы: Основания алгебры и анализа/Пер. с англ. М., 1971. С. 7—8.
1972
64. О продолжении линейных операторов//6-я Всесоюз. топологическая. конф.: Тез. докл. Тбилиси, 1972. С. 114—115. Библиогр.: 2 назв. (І5. Теорема Майкла М. о селекторах и распространении операторов//Там же. С. 74—75. Библиогр.: 2 назв. [Совместно с С. С. Кутателадзе].
1973
65. Воспоминания об А. И. Мальцеве//Избранные вопросы ал-гебры и логики. Новосибирск, 1973. С. 305—307.
66. О Некоторых работах, связанных с дескриптивной теорией множеств и топологией//Тр. Мат. ин-та АН СССР. 1973. Т. 133. (203 —213. Библиогр.: 40 назв.
67. On certain papers related to descriptive set theory and topology //Proc. Steklov Inst. Math. 1973. V. 133. P. 205—215.
68. О продолжении линейных операторов//Тр. Мат. ин-та АН СССР. 1973. Т. 133. С. 214—220. Библиогр.: 7 назв.
69. The extension of linear operators//Proc. Steklov Inst. Math. 1973 V. 133. P. 216—222.
70. Пример полугруппы, допускающей только дискретную топологию//3-Й Тираспольский симпозиум по общей топологии и ее при¬ложениям: Тез. докл. Кишинев, 1973. С. 114. Библиогр.: 3 назв.
71. Пример полугруппы, допускающей только дискретную топологию//Алгебра и логика. 1973. Т. 12, № 1. С. 114—116. Библиогр.: 5 назв.
72. An example of a semigroup which admits only the discrete topology//Algebra and logic. 1974. V. 12, N 1. P. 64—65.
1974
73. К элементарной теории топологических aлгeбp//Fundam. niath. 1974. V.81, № 4. P. 331—342. Библиогр.: 20 назв.
74. Математическая логика: Қонф. в Новосибирске//Вестн. АН СССР. 1974. № 11. С. 96—97.
75. Моделей теория//БСЭ. 3-е изд. М., 1974. Т. 16. С. 390—391. Библиогр.: 2 назв. [Совместно с М. А. Тайцлиным].
76. Моделей теория//Кибернетическая энциклопедия. Киев, 1974. Т. 2. С. 21—23. [Совместно с М. А. Тайцлиным].
77. Первоклассные результаты. Широкий фронт исследований: [О 3-й Всесоюз. конф. по мат. логике]//За науку в Сибири. 1974, 19 июня.
1975
78. Аксиоматический метод//Математика и кибернетика в эконо-мике. 2-е изд., перераб. и доп. М., 1975. С. 23—25.
79. Математическая логика//Математика и кибернетика в эко-номике. 2-е изд., перераб. и доп. М., 1975. С. 241—247.
80*. О топологизации коммутативных полугрупп//Мат. заметки. 1975. С. 745—748. Библиогр.: 6 назв.
81. On the topologization of commutative Semigroups //Math, no-tes. 1975. V. 17. P. 443—444.
82. Отношение//Математика и кибернетика в экономике. 2-е изд., перераб. и доп. М., 1975. С. 412—413,.
83. Отношение порядка//Там же. С. 413—415.
84. Отношение эквивалентности//Там же. С. 415—416.
85. Теория алгоритмов//Там же. С. 563—564. [Совместно с И. А. Лавровым].
1976
86. Об одной алгоритмической проблеме теории чисел//Вестн. АН КазССР. 1976. № 9. С. 61—62.
87. Предисловие//Сакс Дж. Е. Теория насыщенных моделей: Пер. с англ. М., 1976. С. 5—8.
1977
88. Аксиоматизируемый класс//Математическая энциклопедия. М., 1977. Т. 1. С. 103—104. Библиогр.: 2 назв.
89. Вычислимая функция//Там же. С. 818—821. Библиогр.: 5 назв. [Совместно с И. А. Лавровым]:.
90. О топологизации счетных классических алгебр//14 Всесоюз. алгебр, конф.: Тез. докл. Новосибирск, 1977. Ч. 2. С. 124—125. Биб¬лиогр.: 2 назв.
91. О топологизируемых группах//Сиб. мат. журн. 1977. Т. 18, .Nli '1 С. 947—948. Библиогр.: 4 назв.
92. Topologizable groups //Siberian math. J. 1978. V. 18. P.. 672—673.
93. Предисловие редакторов перевода//Кейслер Г., Чэн Ч. Ч. Тео¬рии моделей: Пер. с англ. М., 1977. С. 5—6. [Совместно с Ю. Л. Ер- нюмым].
1978
94. О топологизадии счетных алгебр//Докл. АН СССР. 1978. Т. tM.'l, № 2. С. 284—286. Библиогр.: 7 назв.
95. On topologizing countable algebras//Soviet math. Dokl. 1978. V 19 P. 1346—1349.
96. О топологизируемости счетных алгебр//Математический ана- ли I и смежные вопросы математики. Новосибирск, 1978. С. 254—275. Пиблиогр.: 7 назв.
97. О топологизируемых группах: И//Сиб. мат. журн. 1978. Т. 19, .Mi I) С. 1201 —1203. Библиогр.: 4 назв.
98. Topologizable groups. II//Siberian math. J. 1979. V. 19. I', H1H 850.
1979
99. Вклад А. А. Ляпунова в развитие дескриптивной теории множеств//Ляпунов А. А. Вопросы теории множеств и теории функ-ций. А\,, 1979. С. 7—30. Библиогр.: 58 назв. [Совместно с В. Я. Ар- сгііпііі.ім и 3. И. Козловой].
100. К проблеме логики формирования научных теорий//Методологические проблемы математики. Новосибирск, 1979. С. 145—155. | Совместно с А. Л. Симановым].
1980
101. Разрешимость универсальной теории свободной полугруппы//Сиб. мат. журн. 1980. Т. 21, № 1. С. 228—230. Библиогр.: 4 назв. |Совместно с Ю. И. Хмелевским].
1981
102. A remark on the topologization of algebraic structures//Rev. NOIIIII, math, pures appl. 1981. V. 26. P. 617—618. [Jt. auths E. A. Pal- Jiillu, D. G. SeeseJ.
103. Моделей теория//Математическая энциклопедия. М., 1982. Т. 3. С. 766—769. Библиогр.: 14 назв. [Совместно с М. А. Тайцли» ным].
104. Неклассическая теория моделей//Математическая энцикло¬педия. М., 1982. Т. 3. С. 928—930. Библиогр.: 2 назв.
105. Базар Содномович Содномов: Қ 60-летию со дня рождений //Математика в школе. 1982, № 6. С. 76.
1984
106 Об одной проблеме Маканина Г. С.//7-Я Всесоюз. конф. по мат. логике, посвящ. 75-летию со дня рождения академика; А. И. Мальцева: Тез. докл. Новосибирск, 1984. С. 176. Библиогр. 2 назв.
ТРУДЫ, ИЗДАННЫЕ ПОД РЕДАКЦИЕЙ А. Д. ТАЙМАНОВА
107 Кейслер Г., Чэн Ч. Ч. Теория моделей/Пер. с англ. М.: Мир, 514 с. [Совместно с Ю. Л. Ершовым].
108 Поповиченко И. И. Теория операций над множествами. Кишинев: Штиинца, 1981. 185 с.
109 Куратовский К., Мостовский А. Теория множеств/Пер. с анг. М.: Мир, 1970. 416 с.
110 Робинсон А. Введение в теорию моделей и метаматематику алгебры/Пер. с англ. М.: Наука, 1967. 376 с.
111 Сакс Дж. Е. Теория насыщенных моделей/Пер. с англ. М.: Мир, 1976. 190 с.
112 Справочная книга по математической логике/Пер. с англ. М. Наука, 1983. Ч. 1. Теория моделей. 391 с. [Совместно с Ю. Л Ершовым, Е. А. Палютиным].
113 Феферман С. Числовые системы: Основания алгебры и анализа/Пер. с англ. М.: Наука, 1971. 440 с.
КАНДИДАТСКИЕ ДИССЕРТАЦИИ, ВЫПОЛНЕННЫЕ ПОД НАУЧНЫМ РУКОВОДСТВОМ А. Д. ТАЙМАНОВА
- Алмагамбетов Ж. А. К алгоритмическим проблемам теории моделей. Новосибирск, 1965.
- Байжанов Б. С. Спектральные вопросы тотально-трансцендентных теорий конечного ранга. Новосибирск, 1981.
- Байсалов Е. Р. Счетные модели суперстабильных теорий. Омск, 1991.
- Бекенов М. И. Свойства суперстабильных теорий. Новосибирск, 1984.
- Викентьев А. А. Теории с покрытиями и формульными подмножествами. Новосибирск, 1992.
- Дроботун Б. Н. О нумерациях- специальных моделей. Новосибирск, 1977.
- Еримбетов М. М. О некоторых вопросах счетных полных теорий, связанных с понятием ранга. Новосибирск, 1975.
- Мустафин Т. Г. Некоторые вопросы аксиоматизируемых классов моделей. Новосибирск, 1971.
- Нурмагамбетов Т. А. Почти омега-стабильные теории. Новосибирск, 1984.
- Нуртазин А. Т. Вычислимые классы и алгебраические критерии автоустойчивости. Новосибирск, 1974,
- Омаров А. И. О некоторых применениях фильтрованных произведений в теории моделей. Новосибирск, 1967.
- Омаров Б. И. Константные расширения и ранговые функции полных теорий. Новосибирск, 1983.
- Xисамиев Н. Г. Вопросы элементарной теории решеточно-упорядоченных алгебраических систем. Новосибирск, 1968.
- Шаяхметов Т. Ш. О неразрешимости элементарной теории некоторых алгебраических систем. Новосибирск, 1970.