RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Lifschitz Vladimir Aleksandrovich

Statistics Math-Net.Ru
Total publications: 15
Scientific articles: 13
Presentations: 1

Number of views:
This page:188
Abstract pages:2091
Full texts:653
References:75

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

Publications in Math-Net.Ru
1972
1. V. A. Lifschitz, “A locally analytic constructive function which is not analytic”, Dokl. Akad. Nauk SSSR, 202:6 (1972),  1265–1267  mathnet  mathscinet  zmath
2. V. A. Lifshits, V. P. Chernov, “A non-compact closed sphere in a constructive compact metric space”, Zap. Nauchn. Sem. LOMI, 32 (1972),  53–58  mathnet  mathscinet
3. V. A. Lifshits, “Metamathematical interpretation of the fan theorem”, Zap. Nauchn. Sem. LOMI, 32 (1972),  45–52  mathnet  mathscinet
1971
4. V. A. Lifshits, “On investigation of constructive functions by the fillings method”, Zap. Nauchn. Sem. LOMI, 20 (1971),  67–79  mathnet  mathscinet  zmath
1969
5. V. A. Lifshits, “On the set of zeroes of constructive power series in a real variable”, Zap. Nauchn. Sem. LOMI, 16 (1969),  114–125  mathnet  mathscinet  zmath
1968
6. V. A. Lifshits, “Specialization of the form of deduction in the precicate calculus with equality and function symbols. I”, Trudy Mat. Inst. Steklov., 98 (1968),  5–25  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 98 (1968), 1–23
7. V. A. Lifshits, “On constructive analytical functions of one real variable”, Zap. Nauchn. Sem. LOMI, 8 (1968),  121–131  mathnet  mathscinet  zmath
1967
8. V. A. Lifshits, “Constructive mathematical theories consistent with classical logic”, Trudy Mat. Inst. Steklov., 93 (1967),  113–122  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 93 (1967), 143–155
9. V. A. Lifshits, “On constructive groups”, Zap. Nauchn. Sem. LOMI, 4 (1967),  86–95  mathnet  mathscinet  zmath
10. V. A. Lifshits, “The decision problem for some constructive theories of equality”, Zap. Nauchn. Sem. LOMI, 4 (1967),  78–85  mathnet  mathscinet  zmath
11. V. A. Lifshits, “Deductive validity and reduction classes”, Zap. Nauchn. Sem. LOMI, 4 (1967),  69–77  mathnet  mathscinet  zmath
12. V. A. Lifshits, “Some reduction classes and undecidable theories”, Zap. Nauchn. Sem. LOMI, 4 (1967),  65–68  mathnet  mathscinet  zmath
13. V. A. Lifshits, “The normal form for deductions in the predicate calculus with equality and functional symbols”, Zap. Nauchn. Sem. LOMI, 4 (1967),  58–64  mathnet  mathscinet  zmath

2013
14. M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Uspekhi Mat. Nauk, 68:4(412) (2013),  173–176  mathnet  mathscinet  elib; Russian Math. Surveys, 68:4 (2013), 763–767  isi  elib  scopus
2001
15. M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Uspekhi Mat. Nauk, 56:3(339) (2001),  181–184  mathnet  mathscinet  zmath; Russian Math. Surveys, 56:3 (2001), 601–605  isi

Presentations in Math-Net.Ru
1. Stable models of logic programs
V. A. Lifschitz
Meetings of the St. Petersburg Mathematical Society
June 18, 2002

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