Lavrov Igor Andreevich

Statistics Math-Net.Ru
Total publications: 8
Scientific articles: 4

Number of views:
This page:712
Abstract pages:3043
Full texts:1097
Associate professor
Candidate of physico-mathematical sciences (1963)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 24.05.1937
Keywords: mathematical logic, algorithm theory, computability and recursion theory.
UDC: 510, 519.9, 510.5
MSC: 03-XX, 03Fxx, 08-XX, 03Dxx


It was proved unsolvebility of a lot elementary theories which can be interpreted very easily in the other theories. Some problems in theory of numberings were solved. Some useful characteristics for computable numberings. It were found some new properties of creative sets. The author ( jointly with L. Maksimova).


Graduated from Faculty of Mathematics and Physics of Ivanovo state pedagogical institute in 1959. Ph.D. thesis was defended in 1970. A list of my works contains more about 50 titles.

Main publications:
  1. I. A. Lavrov, L. L. Maksimov, Zadachi po teorii mnozhestv, matematicheskoi logike i teorii algoritmov, Fizmatlit, M., 2001  mathscinet
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1. Computably enumerable sets and related issues
I. A. Lavrov
Algebra Logika, 50:6 (2011),  733–758
2. The Creation on Database on General Theory of Computability
I. A. Lavrov
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:1 (2011),  58–63
3. Utilization of arithmetic progressions of $k$ th order for construction of bases of an algebra of primitively-recursive functions
I. A. Lavrov
Dokl. Akad. Nauk SSSR, 172:2 (1967),  279–282
4. Elementary theories
Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, M. A. Taitslin
Uspekhi Mat. Nauk, 20:4(124) (1965),  37–108

5. Yurii Leonidovich Ershov (on his seventieth birthday)
A. A. Borovkov, S. K. Godunov, S. S. Goncharov, A. N. Konovalov, I. A. Lavrov, V. D. Mazurov, L. L. Maksimova, A. A. Mal'tsev, B. G. Mikhailenko, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, Yu. G. Reshetnyak
Uspekhi Mat. Nauk, 66:1(397) (2011),  201–204
6. Yurii Leonidovich Ershov (on his seventieth birthday)
S. S. Goncharov, A. G. Kusraev, S. S. Kutateladze, I. A. Lavrov, V. D. Mazurov, A. S. Morozov, M. V. Semenova
Vladikavkaz. Mat. Zh., 12:2 (2010),  75–78
7. Yuri Leonidovich Ershov (on his 60th birthday)
S. S. Goncharov, I. A. Lavrov, V. D. Mazurov, A. A. Mal'tsev, A. S. Morozov, A. A. Nikitin, E. A. Palyutin, D. M. Smirnov
Uspekhi Mat. Nauk, 55:6(336) (2000),  173–182
8. Yuriĭ Leonidovich Ershov (on the occasion of his sixtieth birthday)
S. S. Goncharov, I. A. Lavrov, V. D. Mazurov, A. A. Mal'tsev, A. A. Nikitin, A. S. Morozov, E. A. Palyutin, D. M. Smirnov
Vladikavkaz. Mat. Zh., 2:2 (2000),  3–9

Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018