Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Lavrov, Igor Andreevich
(1937–2011)
Statistics Math-Net.Ru
Total publications: 18
Scientific articles: 14

Number of views:
This page:2665
Abstract pages:6188
Full texts:3272
References:138
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

https://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 Citations
2011
1. I. A. Lavrov, “Computably enumerable sets and related issues”, Algebra Logika, 50:6 (2011),  733–758  mathnet  mathscinet  zmath; Algebra and Logic, 50:6 (2012), 494–511  isi  scopus
2. I. A. Lavrov, “The Creation on Database on General Theory of Computability”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:1 (2011),  58–63  mathnet
1996
3. I. A. Lavrov, “On a property of creative sets”, Algebra Logika, 35:3 (1996),  294–307  mathnet  mathscinet 1
1979
4. I. A. Lavrov, “Computability of partial functions and enumerability of sets in Peano arithmetic”, Sibirsk. Mat. Zh., 20:6 (1979),  1269–1274  mathnet  mathscinet  zmath; Siberian Math. J., 20:6 (1979), 900–904  isi
1974
5. I. A. Lavrov, “Certain properties of retracts of Post numerations”, Algebra Logika, 13:6 (1974),  662–675  mathnet  mathscinet
1973
6. Yu. L. Ershov, I. A. Lavrov, “The upper semilattice $L(\gamma )$”, Algebra Logika, 12:2 (1973),  167–189  mathnet  mathscinet 5
1970
7. S. D. Denisov, I. A. Lavrov, “Complete numerations with an infinite number of special elements”, Algebra Logika, 9:5 (1970),  503–509  mathnet  mathscinet 1
1969
8. Yu. L. Ershov, I. A. Lavrov, “Computable enumerations. II”, Algebra Logika, 8:1 (1969),  65–71  mathnet  mathscinet 2
1968
9. I. A. Lavrov, “Answer to a question of P. R. Young”, Algebra Logika, 7:2 (1968),  48–54  mathnet  mathscinet
1967
10. I. A. Lavrov, “Utilization of arithmetic progressions of $k$ th order for construction of bases of an algebra of primitively-recursive functions”, Dokl. Akad. Nauk SSSR, 172:2 (1967),  279–282  mathnet  mathscinet  zmath
1966
11. I. A. Lavrov, E. A. Polyakov, “Bases of algebras of recursive functions”, Sibirsk. Mat. Zh., 7:5 (1966),  1059–1067  mathnet  mathscinet  zmath; Siberian Math. J., 7:5 (1966), 843–849
1965
12. Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, M. A. Taitslin, “Elementary theories”, Uspekhi Mat. Nauk, 20:4(124) (1965),  37–108  mathnet  mathscinet  zmath; Russian Math. Surveys, 20:4 (1965), 35–105 106
1963
13. I. A. Lavrov, “The effective non-separability of the set of identically true formulae and the set of finitely refutable formulae for certain elementary theories”, Algebra i Logika. Sem., 2:1 (1963),  5–18  mathnet  mathscinet 8
1962
14. I. A. Lavrov, “Undecidability of elementary theories of certain rings”, Algebra i Logika. Sem., 1:3 (1962),  39–45  mathnet  mathscinet
2011
15. 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, “Yurii Leonidovich Ershov (on his seventieth birthday)”, Uspekhi Mat. Nauk, 66:1(397) (2011),  201–204  mathnet  mathscinet  zmath  elib; Russian Math. Surveys, 66:1 (2011), 199–203  isi
2010
16. S. S. Goncharov, A. G. Kusraev, S. S. Kutateladze, I. A. Lavrov, V. D. Mazurov, A. S. Morozov, M. V. Semenova, “Yurii Leonidovich Ershov (on his seventieth birthday)”, Vladikavkaz. Mat. Zh., 12:2 (2010),  75–78  mathnet
2000
17. 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, “Yuri Leonidovich Ershov (on his 60th birthday)”, Uspekhi Mat. Nauk, 55:6(336) (2000),  173–182  mathnet  mathscinet  zmath; Russian Math. Surveys, 55:6 (2000), 1193–1204  isi
18. 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, “Yuriĭ Leonidovich Ershov (on the occasion of his sixtieth birthday)”, Vladikavkaz. Mat. Zh., 2:2 (2000),  3–9  mathnet  mathscinet  zmath

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024