Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Lifschitz, Vladimir Aleksandrovich

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

Publications in Math-Net.Ru Citations
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 1
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 1
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 1
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 1

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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2024