RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Lavrov Igor Andreevich
(1937–2011)

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

Number of views:
This page:712
Abstract pages:3043
Full texts:1097
References:72
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

Subject:

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).

Biography

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

http://www.mathnet.ru/eng/person9179
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/201408

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

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