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.
I. A. Lavrov, L. L. Maksimov, Zadachi po teorii mnozhestv, matematicheskoi logike i teorii algoritmov, Fizmatlit, M., 2001
Elementary theories Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, M. A. Taitslin Uspekhi Mat. Nauk, 20:4(124) (1965), 37–108
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