About A. D. Taimanov
Key dates of life and activity of the Academy of Sciences of the Kazakh SSR academician, A. D. Taimanov
Asan Dabsovich Taimanov was born in Urda district of West Kazakhstan region, on 25 October (7 November) 1917.
1927 – 1932. Orphanage in Urda village, school of kolkhoz youth, pedagogical institute named after A. S. Pushkin.
1933 – 1936. Student of the Ural State Pedagogical Institute named after A. S. Pushkin.
1936 – 1938. Assistant of the Department of Mathematics of the Ural State Pedagogical Institute named after A. S. Pushkin; student of the correspondence department of the Faculty of Mathematics and Mechanics of the Lomonosov Moscow State University.
1938 – 1941. Postgraduate student of the Moscow Pedagogical Institute named after V. I. Lenin.
1941 – 1945. Service in the Soviet Army.
1945. He was awarded medals “For the Capture of Königsberg” and “For the Victory over Germany in the Great Patriotic War 1941–1945”.
1945 – 1947. Postgraduate student of the Moscow Pedagogical Institute named after V. I. Lenin.
1947. Defense of a thesis for the scientific degree of Candidate of Physical and Mathematical Sciences on the theme “On quasicomponents of disconnected sets”.
1947 – 1954. Head of the Department of Mathematics of the Kyzylorda Pedagogical Institute named after N. V. Gogol.
1951. By the decision of the Higher Attestation Commission approved in the rank of a docent in the “Mathematics” department.
1954 – 1956. Docent of the Shuya Pedagogical Institute.
1956 – 1960. Docent of the Ivanovo Textile Institute named after M. V. Frunze.
1960. By the decision of the Presidium of the USSR Academy of Sciences approven in the rank of a Senior Research Fellow on the “Abstract algebra” specialty.
1960 – 1968. Senior Research Fellow of the Institute of Mathematics of the Siberian Branch of the USSR Academy of Sciences.
1961. Defense of a thesis for the scientific degree of Doctor of Physical and Mathematical Sciences on theme “Some questions on mappings spreading”
1961 – 1962. Docent of the Department of Algebra of the Novosibirsk State University.
1962. Was elected as a full member of the Academy of Sciences of the Kazakh SSR.
By the decision of the Higher Attestation Commission approved in the rank of Professor of the “Geometry and Topology” Department.
1962 – 1968. Head of the Department of Geometry of the Novosibirsk State University, member of joint academic senate on physical-mathematical and technical sciences of the Siberian Branch of the USSR Academy of Sciences, member of academic senate of Novosibirsk State University, of the Institute of Mathematics of the Siberian Branch of the USSR Academy of Sciences.
1963. Seconded to Poland for familiarization with the work of research centers in Warsaw, Torun and Wroclaw, and for establishing of scientific contacts.
1965. Joined the ranks of CPSU.
1966. Participated in the International Congress of Mathematicians in Moscow.
1967. Was awarded the Order of the Red Banner of Labour for achievements in developments in science.
1968. Elected as a member of the Presidium of the Scientific and Methodological Council of the Ministry of Education of the USSR.
1968 – 1970. Academician-Secretary of the Department of Physics and Mathematics of the Academy of Sciences of the Kazakh SSR, Head of the Department of Mathematical Logic of the Kazakh State University named after S. M. Kirov, Director of the Institute of Mathematics and Mechanics of the Academy of Sciences of the Kazakh SSR.
1970. Was awarded the Medal "In Commemoration of the 100th Anniversary of the Birth of Vladimir Ilyich Lenin".
Senior Research Fellow of the Institute of Mathematics of the Siberian Branch of the USSR Academy of Sciences.
Seconded to France to participate in work of the International Congress of Mathematicians in Nice.
1972. Seconded to the Federal Republic of Germany to participate in work of the model theory conference in Oberwolfach.
1973. Seconded to Poland for lecturing in the International Mathematical Centre named after Hahn-Banach.
1974. Seconded to the German Democratic Republic for lecturing in the university named after Arndt.
1976. Seconded to the Federal Republic of Germany to report on the model conference in Oberwolfach.
1978. Was awarded the honorary sign of the USSR Ministry of Education, “Excellence in enlightenment of USSR”.
1979. Seconded to the Federal Republic of Germany to participate with a report in the work of the VI International Congress of Logic, Methodology and Philosophy.
1983. Was awarded the Medal for Battle Merit.
1984. Seconded to the German Democratic Republic for lecturing in the University of Greifswald named after Arndt.
1985. Was awarded the Order of the Patriotic War of 1st Class.
1986. Was awarded the Order of the Red Banner of Labour.
A brief sketch of scientific, educational and social activities of academician of the Academy of Sciences of the Kazakh SSR A.D. Taimanov.
One of the leading mathematicians of the USSR, received fundamental results for a number of mathematical disciplines, holder of two orders: the Labor Red Banner and the Order of the Patriotic War of 1 degree, the founder of the Kazakh school of mathematical logic, academician of the Academy of Sciences of the Kazakh SSR Asan Dabsovich Taimanov was born October 25, 1917 in a family of poor Kazakh-herdsman in Urda region of West Kazakhstan (now the Ural) region.
Coeval of Soviet power, A.D. Taimanov grew and matured together with her. His fate is a prime example of the heights which talented goal-oriented man in conditions of Soviet reality can reach.
Since 1927 AD Taimanov was brought up in a children's home in the villages Urda and Smolihine(now Frunze), where he studied in a peasant youth school (then the collective farm youth school) converted to pedagogical school. In 1933 he enrolled at the Ural State Pedagogical Institute named after Pushkin, after which was enrolled as an assistant of the department of mathematics, and at the same time passing an examination on the correspondence department of Mechanics and Mathematics Faculty of Moscow State University named after M.V. Lomonosov.
In 1938, after the third year Taimanov entered the graduate school of Moscow State Pedagogical Institute named after Lenin, where he was greatly influenced by an outstanding scientist and a major teacher, corresponding member of the Academy of Sciences of the USSR A.Y. Khinchin.
During the period of study in graduate school Taimanov participated in various scientific seminars, which were held under the leadership of such prominent scientists as A.A. Lyapunov, Keldysh, P.S. Aleksandrov, V.V. Stepanov, M.V. Bebutov, Gantmaher and others.
The Great Patriotic War interrupted the hard and interesting work. By joining the people's militia in July 1941, A.D. Taimanov participated in the battles of Moscow, for Belarus and Lithuania, and ended the war in Prussia. In 1945, demobilized from the army, AD Taimanov continued his studies at Moscow State Pedagogical Institute graduate named after Lenin and under the guidance P.S. Novikova, L.V. Keldysh, and Lyapunov resumed classes on the descriptive theory of sets and set-theoretic topology. In 1945, demobilized from the army, AD Taimanov continued his studies at Moscow State Pedagogical Institute graduate. Lenin and under the guidance P.S.Novikova, LV Keldysh, and Lyapunov resumed classes on the descriptive theory of sets and set-theoretic topology. He obtained a number of fundamental results in set-theoretic topology, which formed the basis for his doctoral dissertation. Academician Aleksandrov called thesis of AD Taimanov outstanding.
During these years in Kazakhstan, which was experiencing an acute shortage of highly qualified personnel, network of new institutions of higher education created. Asan Dabsovich, get a start in life from Kazakh Komsomol of 40th years, from 1947 to 1954 working as a teacher in the Kyzyl-Orda Pedagogical Institute named after Gogol. Here he organized a permanent scientific seminar on mathematics for students and teachers, introduced the practice of mathematical competitions and evenings. In 1951 he organized city and regional mathematics Olympiads the first in the republic.
During this period, Taimanov conducted deep series of studies in the descriptive theory of sets and set-theoretic topology. Final results on the Hausdorff problem of preserving classes of B-sets under open mappings. Taimanov theorem among other corollaries have emerged as well-known theorem of P.S. Alexandrov and L.V. Keldysh.
In his article "On closed mappings" fundamental advance was made by a solution of known problem of Alexandrov-Weinstein on the preservation of classes of B-sets under closed mappings. Slightly enhanced in 1976 by the French mathematician Saint-Raymond and further generalized by the Moldavian mathematician Choban theorem named Taimanov - Saint- Raymond - Choban is considered a classic in descriptive set theory.
During the same years A.D. Taimanov derived another classical theorem relating to the set-theoretic topology. Studying the possibility of extending to the closure of a continuous mapping of a part of a completely regular space into another completely regular space, he introduced the notion of a uniformly continuous mapping and showed that these mappings possess the possibility of such an extension. From this result as a corollary the many well-known theorem of domestic and foreign mathematicians deduced: Y.M. Smirnova, E. Cech, Eilenberg, Steenrod, Vulikh, and others
Becoming interested in the theory of functions, A.D. Taimanov in the article "On a problem of N.N. Luzin" describes a new class of continuous functions, the theory of which was later developed in schools Y.F. Trophimchuk and E.P. Dolzhenko.
In 1954 A.D. Taimanov invited to Shuya Pedagogical Institute. Where, together with DA Raikov, organized a seminar on functional analysis and theory of functions. In 1956, he, being a delegate to the All-Union Mathematical Congress, became acquainted with the report of Academician A.I. Maltsev on model theory - a new and topical direction of mathematical logic. This acquaintance identified further scientific activity of Asan Dabsanovich. Working on the problem of elementary equivalence of models, he opened a kind of inductive process, allowing to analyze the connection between the internal structure of models and entry of defining axioms. In this process induction goes on changes of quantifiers, i.e. by projective classes construction of formulas. Such an application of the ideas of descriptive set theory to logic led to the discovery of the elementary equivalence criteria of two models, called by A.I. Maltsev as "method of throwing". With this method, A.D. Taimanov managed to solve a number of mathematical problems and get characteristics of definability and Diophantine predicates in axiomatizable classes of models, as well as to prove the solvability of some elementary theories.
Found regardless of Fraisse the method of "throwing" has now become a classic in mathematical logic. In the scientific literature it is known as the method of Fraisse-Taimanov-Ehrenfeucht. From 1960 to 1968 A.D. Taimanov worked in the Institute of Mathematics of SB AS USSR and the Novosibirsk State University, where he paid great attention to the training of scientific personnel. Here he organized seminar on the study of scientific papers on the theory of models, one of results was a review article "Elementary Theory", written by A.D. Taimanov together with Yu.Ershov, I.A. Lavrov and M. Taitslin. Subsequently, the article has been translated into English and remained the simplest manual for many years for beginners to learn the theory of models. A.D. Taimanov - one of the founders of the Soviet school on the theory of models, which currently holds a leading position in the world.
In the 60s academician Maltsev first introduced in the program of NSU course in mathematical logic. Further methodological improvement of the course carried out by Asan Dabsovich Taimanov.
In 1960 Asan Dabsovich together with academician A. I. Maltsev developed a program for the training of scientific personnel in mathematics for Kazakhstan.
In 1962 A. D. Taimanov was elected as a full member of the Academy of Sciences of the Kazakh SSR, and by the decision of the Higher Attestation Commission was approved in the rank of Professor of the “Geometry and Topology” Department. At that time he devoted lot of attention to training of qualified mathematics personnel for Kazakhstan. In June 1963, by the suggestion of K. I. Satpayev with participation of G. I. Marchuk, M. M. Lavrentiev, O. A. Zhautykov, and A. D. Taimanov, a decision on personnel training in applied areas of mathematics was made.
In 1968, by invitation of the Academy of Sciences of the Kazakh SSR, A. D. Taimanov moves to Alma-Ata, where he was elected as an Academician-Secretary of the Department of Physics and Mathematics of the Academy of Sciences of the Kazakh SSR, and was appointed to be Director of the Institute of Mathematics and Mechanics. He gives a lot of energy and effort for development of mathematical science in Kazakhstan. On his initiative, National Physics and Mathematics School, Department of Algebra and Mathematical Logic in KazNU, laboratory of algebra and mathematical logic, and a number of applied mathematics laboratories in the Institute of Mathematics and Mechanics were opened.
In 1970, continuing to supervise the algebra and mathematical logic laboratory in the Institute of Mathematics of the Academy of Science of KazSSR and the reopened Department of Algebra and Mathematical Logic of the Karaganda State University, he returned to the Institute of Mathematics of the Siberian Branch of the Academy of Sciences of the USSR.
In Novosibirsk, A. D. Taimanov continued to be actively engaged in scientific and pedagogical activity. To this period refers his researches on topological algebras. He supervises post-graduate students from Kazakhstan. As the motto of this his work the following proverb can be considered: “student is not a container you have to fill but a torch you have to light up”.
Together with scientific, A. D. Taimanov conducts a social work: he was elected as a member of the Presidium of the Scientific and Methodological Council of the Ministry of Education of the USSR and of a number of research councils.
Asan Dabsovich Taimanov represented the Soviet Union on the international congresses on mathematics in Nice, logic, methodology and philosophy of science in Hanover, participated in a number of international model theory conferences, was a member of the organizing committee of almost all All-Union conferences on mathematical logic. He gives a lot of effort to promoting the Soviet mathematical science abroad. In the period between 1973 and 1984 he traveled three times to give lectures at foreign universities.
For his merits to Soviet science, scientific-pedagogical and scientific-organizational activity, A. D. Taimanov was awarded the Orders of the Red Banner of Labour and the honorary sign of the USSR Ministry of Education, “Excellence in enlightenment of USSR”.
Academician of the
Academy of Sciences
of Kazakh SSR,
U. M. Sultangazin
Literature about life and works of Academy of Sciences of the Kazakh SSR academician, A. D. Taimanov
1. Asan Dabsovich Taimanov: for the 50th anniversary of birth // Sibirskii Matematicheskii Zhurnal. 1967. Vol. 8, № 6. P. 1211 – 1213. (in Russian)
2*. Asan Dabsovich Taimanov: / USSR Academy of Sciences. Siberian Branch of the Institute of Mathematics. Novosibirsk, 1979. (in Russian)
3*. Henriksen Isbell. Theory of rings of continuous functions. (in Russian)
4. Ding New Tiong. Pre-closed mappings and the theorem of A. D. Taimanov // Doklady Akademii Nauk SSSR. 1963. Vol. 152, № 3. P. 525 – 528. (in Russian)
5. Cohn P. M. Universal algebra / Translation from English; Edited by A. G. Kurosh. Moscow: Mir, 1968. 351 p. (in Russian)
6. Kuratowski K. Topology: In two volumes / Translation from English. Moscow: Mir, 1966, 1969. Vol. 1, 2. (in Russian)
7. Mathematics in the USSR: 1958 – 1967. In two volumes / Executive editors S. V. Fomin, G. E. Shilov, . Moscow: Mir, 1970. Vol. 2: Bibliography, Issue 2. 1580 p. (in Russian)
8. Mathematics in the USSSR during forty years: 1917 – 1957. In two volumes / Edited by A. G. Kurosh and others. Moskow: Fizmatgiz, 1959. Vol. 2: Bibliography. 819 p. (in Russian)
9*. Engelking R. Introduction to general topology / Translation from English. (in Russian)
______________
* The work is not viewed de visu.
Chronological index of works
1949
1. On quasicomponents of disconnected sets // Matematicheskii Sbornik. 1949. Vol. 25, № 3. P. 367 – 386. (in Russian)
1950
2. On rigid bases of δs-operations // Izvestiya Akademii nauk SSSR: Seriya matematicheskaja. 1950. Vol. 14, № 5. P. 443 – 448. (in Russian)
1952
3. On quasicomponents of disconnected sets. II // Matematicheskii Sbornik. 1952. Vol. 30, № 3. P. 465 – 482. (in Russian)
4. On extension of continuous mappings of topological spaces // Matematicheskii Sbornik. 1952. Vol. 31, № 2. P. 459 – 463. (in Russian)
1953
5. On quasicomponents of non-closed sets // Uspekhi Matematicheskikh Nauk. 1953. Vol. 8, Issue 2. P. 162 – 163. (in Russian)
6. On multiple separability of closed sets // Izvestiya Akademii nauk SSSR: Seriya matematicheskaja. 1953. Vol. 17, № 1. P. 51 – 62. (in Russian)
7. On one N. N. Luzin’s problem // Uspekhi Matematicheskikh Nauk. 1953. Vol. 8, Issue 5. P. 169 – 171. (in Russian)
1955
8. Remark on the article of V. S. Fedorov “Works of N. N. Luzin on the theory of functions of complex variable” // Uspekhi Matematicheskikh Nauk. 1955. Vol. 10, Issue 1. P. 167 – 168. (in Russian)
9. On closed mappings. I // Matematicheskii Sbornik. 1955. Vol. 36, № 2. P. 349 – 352. (in Russian)
10. On open bases of Borel sets // Matematicheskii Sbornik. 1955. Vol. 37, № 2. P. 293 – 300. (in Russian)
11. On universal sets // Matematicheskii Sbornik. 1955. Vol. 37, № 1. P. 117 – 120. (in Russian)
1956
12. On distribution of continuous maps into open // Proceedings of the 3rd All-Union mathematical congress. Moskow, 1956. Vol. 2. P. 135 – 136.
1958
13. On a class of models, closed with respect to direct product // Uspekhi Matematicheskikh Nauk. 1958. Vol. 13, Issue 3. P. 231 – 232. (in Russian)
14. Extension of mappings of compacts // Izvestija vysshih uchebnyh zavedenij. Matematika.1958. № 3. P. 198-202. (in Russian)
1959
15. On closed images of B-sets // 2nd All-Union topological conference: Book of Abstracts. Tbilisi, 1959. P. 44-45. (in Russian)
16. On a class of models, closed with respect to direct product // Uspekhi Matematicheskikh Nauk. 1959. Vol. 14, Issue 5. P. 202 – 203. (in Russian)
17. On a class of models, closed with respect to direct product // Doklady Akademii Nauk SSSR. 1959. Vol. 127, № 6. P. 1173 – 117. (in Russian)
1960
18. Closed multi-valued images of B-sets // Trudy Tbilisskogo matematicheskogo instituta. 1960. Vol. 27. P. 53 – 56. (in Russian)
19. On closed mappings. II // Matematicheskii Sbornik. 1960. Vol. 52, № 1. P. 579– 588. (in Russian)
20. On closed mappings // Uspekhi Matematicheskikh Nauk. 1960. Vol. 15, Issue 5. P. 187 – 190. (in Russian)
21. On closed mappings // American Mathematical Society Translations: Series 2. 1963. Vol. 30. P. 291 – 294.
22. On a class of models, closed with respect to direct product // Izvestiya Akademii nauk SSSR: Seriya matematicheskaja. 1960. Vol. 24, № 4. P. 493 – 510. (in Russian)
23. On a class of models, closed with respect to direct product // American Mathematical Society Translations: Series 2. 1966. Vol. 59. P. 1 – 22.
24. On one theorem of V. Ponomarev // Doklady Akademii Nauk SSSR. 1960. Vol. 135, № 2. P. 247 – 248. [Together with A. V. Arhangelskii] (in Russian)
25. Extension of monotone mappings to monotone mappings of bicompacts // Doklady Akademii Nauk SSSR. 1960. Vol. 135, № 1. P. 23 – 25. (in Russian)
26. Extension of monotone mappings to monotone mappings of compact spaces // Soviet mathematics. Doklady. 1961. Vol. 1. P. 1236 – 1238.
1961
27. Some questions of maps distribution: author's abstract of dissertation of Doctor of Sciences (physics and mathematics). Novosibirsk, 1961. 18 p. (in Russian)
28. Characterization of axiomatizable classes of models. I // Izvestiya Akademii nauk SSSR: Seriya matematicheskaja. 1961. Vol. 25, № 4. P. 601 – 620. (in Russian)
29. Characterization of axiomatizable classes of models. II // Izvestiya Akademii nauk SSSR: Seriya matematicheskaja. 1961. Vol. 25, № 6. P. 755 – 764. (in Russian)
30. Characterization of finitely axiomatazible classes of models // Doklady Akademii Nauk SSSR. 1961. Vol. 138, № 1. P. 67 – 69. (in Russian)
31. Characterization of finitely axiomatazible classes of models // Soviet mathematics. Doklady. 1961. Vol. 2. P. 552 – 554.
32. Characterization of finitely axiomatazible classes of models // Sibirskii Matematicheskii Zhurnal. 1961. Vol. 2, № 5. P. 759 – 766. (in Russian)
1962
33. Limit of a uniformly convergent sequence of compact mappings of a metric space on a locally compact space is a closed mapping // Sibirskii Matematicheskii Zhurnal. 1962. Vol. 3, № 2. P. 310 – 311. (in Russian)
34. Characterization of axiomatazible classes of models // Algebra and Logic. 1962. Vol. 1, Issue 4. P. 5 – 31. (in Russian)
35. The characteristic of elementary classes of models // International congress of mathematicians, Stockholm, 1962: Abstracts of short communications. 1962. P. 3.19 – 3.20.
1963
36. On a theorem of Beth and Kochen // Algebra and Logic. 1963. Vol. 1, Issue 6. P. 4 – 16. (in Russian)
37. Open preimages of a sphere // Izvestija Akademii nauk Kazahskoj SSR. Serija fiziko-matematicheskih nauk. 1963, Issue 3: Matematika i mehanika. P. 8-12. (in Russian)
38. Solvability of the elementary theory of spheres inclusion // Algebra and Logic. 1963. Vol. 2, Issue 3. P. 23 – 27. (in Russian)
1964
39. Characterization of axiomatizable classes of models // Proceedings of the 4th All-Union mathematical congress. Leningrad, 1961. Leningrad, 1964. Vol. 2. P. 32 – 35. (in Russian)
40. Reviewers: Rasiowa H., Sikorski R. The mathematics of metamathematics. Warszawa: PWN, 1963. 519 p. // Novye knigi za rubezhom. Serija A. 1964, № 9. P. 5 – 8. [Joint author D. A. Zakharov].
41. Reviewers: Robinson A. Introduction to model theory and to the metamathematics of algebra. Amsterdam: North Holland. 1963. 284 p. // Novye knigi za rubezhom. Serija A. 1963, № 5. P. 11 – 12. [Joint author D. A. Zakharov].
1965
42. Elementary theories // Uspekhi Matematicheskikh Nauk. 1965. Vol. 20, Issue 4. P. 37 – 108. [Joint authors Yu. L. Ershov, I. A. Lavrov. M. A. Taiclin]. (in Russian)
43. Elementary theories // Russian mathematical surveys. 1965. Vol. 20. № 4. P 35 – 105. [Joint authors Yu. L. Ershov, I. A. Lavrov. M. A. Taiclin].
44. Robinson A. Latest achievements in model theory: Translation from English // Matematicheskaja logika i ejo primenenie. Moscow, 1965. P. 65 – 89. [Joint author V. P. Kobkov]. (in Russian)
45. Riviewer: Quine W. O. Set theory and its logic. Cambridge: Belknap press of Harvard university press. 1963. 359 p. / Novye knigi za rubezhom. Serija A. 1965, № 7. P. 5 – 7. [Joint author D. A. Zakharov].
1966
46. Corrections to the paper of A. D. Taimanov “On a class of models, closed with respect to direct product” // Izvestiya Akademii nauk SSSR: Seriya matematicheskaja. 1966. Vol. 30, № 1. P. 247. (in Russian)
47. On Horn formulas // Izvestiya Akademii nauk SSSR: Seriya matematicheskaja. 1966. Vol. 30, № 3. P. 523 – 524. (in Russian)
48. On Horn formulas // American Mathematical Society Translations: Series 2. 1970. Vol. 94. P. 105 – 106.
49. Review: Colloquium on the foundation of mathematics, mathematical machines and their applications, Tihany, 1962. Budapest: Akadémiai Kiado, 1965. 317 p. // Novye knigi za rubezhom. Serija A. 1966, № 11. P. 11 – 13. [Joint author D. A. Zakharov].
50. Reviewer: Morse A. P. A theory of sets. New York: Acad. Press, 1965. 130 p. // Novye knigi za rubezhom. Serija A. 1966, № 11. P. 24 – 25. [Joint author V. O. Krasavchikov].
1967
51. Automorphisms of an algebra with one monary operation in the signature // Algebra and Logic. 1967. Vol. 1, Issue 5. P. 21 – 31. (in Russian)
52. Remark on an Ehrenfeucht–Mostowski theorem // Algebra and Logic. 1967. Vol. 1, Issue 3. P. 101 – 103. (in Russian)
53. On systems with a solvable universal theory // Algebra and Logic. 1967. Vol. 1, Issue 5. P. 33 – 43. (in Russian)
54. Editor's preface // Robinson A. ntroduction to Model Theory and to the Metamathematics of Algebra: Translation from English. Moskow, 1967. P. 8 – 13. (in Russian)
55. Reviewers: Kuratowski K., Mostowski A. Theoria mnogosci. Wyd. 2. roszs. Warsawa: PWN, 1966. 375 p. // Novye knigi za rubezhom. Serija A. 1967, № 6. P. 6 – 8. [Joint author M. I. Kratko].
1968
56. Academician S. L. Sobolev: for the 60th anniversary of birth // Vestnik Akademii nauk Kazahskoj SSR. 1968. № 9. P. 62 – 66. [Joint authors K. P. Persidskii, O. A. Zhautykov, E. I. Kim and T. I. Amanov]. (in Russian)
57. Anatoly Ivanovich Maltsev: obituary // Uspekhi Matematicheskikh Nauk. 1968. Vol. 23, Issue 3. P. 159 – 170. [Joint authors P. S. Aleksandrov, Yu. L. Ershov] (in Russian)
58. Anatolii Ivanovich Mal’tsev // Russian mathematical surveys. 1968. Vol. 23, № 3. P. 157 – 168. [Joint authors P. S. Aleksandrov, Yu. L. Ershov].
1970
59. Countable models of χ1-categorical but not χ0-categorical theories // Algebra and logic. 1970. V. 9, N 5. pp. 559-565. [Jt. Auths T.G. Mustafin]. (In Russian)
60.Countable models of χ1-categorical but not χ0-categorical theories // Algebra and logic. 1970. V. 9, N 5. pp. 338-341. [Jt. Auths T.G. Mustafin].
61. From the translation editor // K. Kuratowski, A. Mostovsky. Set Theory / translation from English. M., 1970. pp. 5-6. (In Russian)
1971
62. Academician Mikhail Lavrentiev: the 70th anniversary // Bulletin of the Kazakh SSR. 1971, №3. pp. 75-77. [In cooperation with O.A.Zhautykov and T.I. Amanova]. (In Russian)
63. Foreword by Editor // Feferman C. Numeric System: Foundations of Algebra and Analysis / translation from English M., 1971, pp 7-8. (In Russian)
1972
64. On the extension of linear operators // VI All-Union Topological Conference: Theses Tbilisi, 1972. pp 114-115. (In Russian)
65. Michael M. theorem on selectors and distribution operations // Ibid. pp 75-76 (In Russian)
1973
66. Memories of AI Maltsev // Selected problems of algebra and logic. Novosibirsk, 1973, pp 305-307. (In Russian)
67. On certain papers related to descriptive set theory and topology // Proc. Steklov Inst. Math. 1973. V. 133. pp.203-213 (In Russian)
68. On certain papers related to descriptive set theory and topology // Proc. Steklov Inst. Math. 1973. V. 133. pp.205-215
69. The extension of linear operators // Proc. Steklov Inst. Math. 1973. V.133. pp.214-220. (In Russian)
70.The extension of linear operators // Proc. Steklov Inst. Math. 1973. V.133. pp.216-222.
71. An example of a semigroup which admits only the discrete topology // 3rd Tiraspol Symposium on general topology and its applications: Theses Chisinau, 1973. pp 114. (In Russian)
72. An example of a semigroup which admits only the discrete topology // Algebra and logic. 1973. V. 12, N 1. pp. 114-116. (In Russian)
73. An example of a semigroup which admits only the discrete topology // Algebra and logic. 1974. V. 12, N 1. pp. 64-65.
1974
74. For elementary theory of topological algebras // Fundamental mathematics 1974. V.81, №4. pp.331-342 (In Russian)
75. Mathematical logic: Conference Novosibirsk // Bulletin of the Academy of Sciences of the USSR. 1974. № 11. pp 96-97. (In Russian)
76 Model theory // BSE. 3rd edition M., 1974. T. 16. pp 390-391. (In Russian)
77. Model theory // Cybernetic encyclopedia. Kiev, 1974. Vol.2 (In Russian)
78. First-class results. A broad front of research: [Third All-Union Conference on mathematical logic] // For Science in Siberia. 1974 19 June. (In Russian)
1975
79. axiomatic method // mathematics and cybernetics in the economics. Second Edition, Revised. and ext. M., 1975. pp 23-25. (In Russian)
80. Mathematical logic // Mathematics and Cybernetics in the economics. Second Edition, Revised. and ext. M., 1975. pp 241-247. (In Russian)
81. On topologization of commutative Semigroups //Math. notes. 1975. V. 17. P. 745-748. (In Russian)
82*. On topologization of commutative Semigroups //Math. notes. 1975. V. 17. P. 443-444.
83. Relation // mathematics and cybernetics in the economy. Second Edition, Revised. and ext. M., 1975. pp 412-413. (In Russian)
84. Order relation// Ibid. pp 413-415. (In Russian)
85. The equivalence relation // Ibid. pp 415-416. (In Russian)
86. The theory of algorithms // Ibid. pp 563-564 [jointly with I.A.Lavrov] (In Russian)
1976
87. On an algorithmic number theory problem // Bulletin of the Kazakh SSR. 1976. №9. pp 61-62. (In Russian)
88. Foreword // Sacks JE Theory saturated models. translation from English M., 1976: 5-8. (In Russian)
1977
89. Axiomatizable class // mathematical encyclopedia. M., 1977. Vol.1. pp 103-104. (In Russian)
90.Computable function // Ibid. pp 818-821. (In Russian)
91. On the topologization of countable classic algebras // 14 All-Union Algebraic Conference: Thesis-Report Novosibirsk, 1977. Part 2. P. 124-125. (In Russian)
92. On topologizable groups// Siberian math. 1978. V.18, P.947-948. (In Russian)
93. On topologizable groups// Siberian math. 1978. V.18, P.672-673.
94. Foreword by translation editors // Keisler G., Cheng CC Model theory: translation from English M. 1977 pp.5-6 [Jointly with J.D. Ershov] (In Russian)
1978
95. On topologizing countable algebras // Reports of the Academy of Sciences. 1978. V. 243. №2 pp 284-286 (In Russian)
96. On topologizing countable algebras // Soviet math. talk. 1978. V. 19. pp 1346-1349 (In Russian)
97. On topologizable countable algebras // Mathematical analysis and adjacent problems of mathematics. Novosibirsk, 1978. Pp. 254-275
99. On topologizable groups. II // Siberian math. J. 1979. V. 19. N 5. Pp. 1201-1203 (In Russian)
99. On topologizable groups. II // Siberian math. J. 1979. V. 19. Pp. 848-850
1979
100. The contribution of A. Lyapunov in the development of descriptive set theory // A. Lyapunov Questions set theory and the theory of functions. M., 1979, pp 7-30. [Jointly with VJ Arsenin and ZI Gantry]. (In Russian)
101. On the problem of the logic of the formation of scientific theories // Methodological problems of mathematics. Novosibirsk, 1979, pp 145-155. [Jointly with AL Simanova] (In Russian)
1980
102. The solvability of the universal theory of a free semigroup // Siberian Math. Journal. 1980. Volume 21, №1. pp 228-230. [jointly with Y.I. Chmielewski] (In Russian)
1981
103. A remark on the topologization of algebraic structures // Rev. Roum. Math. pures appl. 1981. V. 26 pp. 617-618. [Jt. Auths E.A. Paljutin, D.G. Seese]
1982
104. Model theory // mathematical encyclopedia. M. 1982 Vol.3. pp 766-769. [Jointly with MA Taitslin] (In Russian)
105. Non-classical model theory. // Mathematical encyclopedia. M., 1982. pp 928-930 V.3. (In Russian)
106. Bazar Sodomonovich Sodomonov: On the 60th anniversary of his birth. // Mathematics at school. 1982, №6. P.76. (In Russian)
1984
107. On a problem of Makanin G.S. // 7-th All-Union Conference on mathematical logic, devoted to the 75th anniversary of the birth of Academician AI Maltsev: Novosibirsk thesis report, 1984, pp 176 (In Russian)
WORKS PUBLISHED EDITED BY A.D. TAIMANOV
108.C.C. Chang, H.J. Keisler G// Model theory / translation from English M.: “Mir” 1977 614 pages. [Jointly with J.D. Ershov]
109. I.I. Popovichenko// Theory of operations on sets. Kishinev Shtiintsa, 1981. 185 p.
110. K. Kuratowski, A. Mostovsky // Set theory / translation from English M .: Mir, 1970. 416 p.
111. A. Robinson// Introduction to model theory and the mathematics of algebra / translation from English M .: Science (Nauka), 1967. 376 p.
112. Gerald E. Sacks// Saturated model theory / translation from English M .: Mir. 1976. 190 p.
113. Handbook of Mathematical Logic / translation from English M. Science (Nauka), 1983. Part 1. Model theory. 391 p. [Jointly with JL Ershov, EA Palyutin].
114. Solomon Feferman// Number systems: Foundations of Algebra and Analysis / translation from English M .:Science (Nauka), 1971. 440 p.
CANDIDATE THESES PERFORMED UNDER THE SCIENTIFIC GUIDANCE OF A.D.TAIMANOV
- Almagambetov J.A. For algorithmic problems of model theory. Novosibirsk 1965.
- Baizhanov B.S. Spectral questions, of totally transcendent theories of finite rank. Novosibirsk 1981
- Baisalov E. R. Countable Models of Superstable Theories. Omsk 1991
- Bekenov M.I. Properties of superstable theories. Novosibirsk 1984.
- Drobotun B.N. Numbering of special models. Novosibirsk 1977.
- Erimbetov M.M. On some questions of countable complete theories related to the concept of rank. Novosibirsk, 1975.
- Mustafin T.G. Some problems of axiomatizable classes of models. Novosibirsk 1971.
- Nurmagambetov T.A. Almost ω-stable theories. Novosibirsk 1984.
- Nurtazin T.A. Computable classes and algebraic criteria of autostability. Novosibirsk 1974.
- Omarov A.I. Some applications of filtered products in model theory. Novosibirsk 1974
- Omarov B.I. Constant expansions and rank functions of complete theories. Novosibirsk 1983.
- Hisamiev N.G. Questions of elementary theory of lattice-ordered algebraic systems. Novosibirsk 1983.
- Shayahmetov T.S. On the unsolvability of elementary theory of some algebraic systems. Novosibirsk, 1970
- Vikent'ev A.A. Theories with Covers and Definable Subsets. Novosibirsk, 1992