Lev D. Beklemishev
- Professor:Faculty of Mathematics / Joint Department with the Steklov Mathematical Institute (RAS)
- Lev D. Beklemishev has been at HSE University since 2011.
Education, Degrees and Academic Titles
- 2019Member of the Russian Academy of Sciences
- 2006Corresponding Member of the Russian Academy of Sciences
- 1998
Doctor of Sciences*
- 1992
Candidate of Sciences* (PhD)
- 1989
Degree
Lomonosov Moscow State University
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
Research interests
Mathematical logic, proof theory, formal arithmetic, provability logic, modal logic
Courses (2021/2022)
- Research Seminar (Postgraduate course’s programme; 3 year, 2 semester)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 3 year, 3, 4 module)Rus
- Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
- Past Courses
Courses (2020/2021)
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 3, 4 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Courses (2019/2020)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Courses (2018/2019)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 4 module)Rus
- Mathematics Practical Training (Bachelor’s programme; Faculty of Mathematics; 1 year, 1-4 module)Rus
- Research Seminar (Postgraduate course’s programme; 2 year, 1 semester)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Courses (2017/2018)
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 2 year, 4 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
- Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Editorial board membership
2020: Member of the Editorial Board, Journal of Symbolic Logic.
2008: Member of the Editorial Board, Archive for Mathematical Logic.
2008: Member of the Editorial Board, Известия Российской академии наук. Серия математическая.
Conferences
- 2017
Journées sur les Arithmétiques Faibles 36 (Санкт-Петербург). Presentation: Reflection calculus and conservativity spectra
Workshop on Logic, Language, Information and Computation (Лондон). Presentation: On the Reflection Calculus with Partial Conservativity Operators
Mathematical Logic: Proof Theory and Constructive Mathematics. Oberwolfach workshop (Oberwolfach). Presentation: "On provable 1-provability" (joint work with E. Kolmakov)
Publications41
- Preprint Beklemishev L. D., Dmitrieva A., Makowsky J. Axiomatizing Origami Planes / Cornell University. Series arXiv "math". 2021.
- Article Беклемишев Л. Д., Атабекян В. С., Губа В. С., Семенов А. Л., Разборов А. А., Лысенок И. Г. Вопросы алгебры и математической логики. Научное наследие С. И. Адяна // Успехи математических наук. 2021. Т. 76. № 1. С. 3-30. doi
- Article Kolmakov E., Beklemishev L. D. Axiomatization of provable n-provability // Journal of Symbolic Logic. 2019. Vol. Volume 84. No. Issue 2. P. 849-869. doi
- Article Адян С. И., Андреев Н. Н., Беклемишев Л. Д., Гончаров С. С., Ершов Ю. Л., Матиясевич Ю. В., Осипов Ю. С., Пентус М. Р., Плунгян В. А., Рахилина Е. В., Садовничий В. А., Семёнов А. Л., Татевосов С. Г., Тихомиров В. М., Шень А. Х. Владимир Андреевич Успенский (27.11.1930–27.06.2018) // Успехи математических наук. 2019. Т. 74. № 4(448). С. 165-180. doi
- Chapter Beklemishev L. D. A Note on Strictly Positive Logics and Word Rewriting Systems, in: Larisa Maksimova on Implication, Interpolation, and Definability. Cham : Springer, 2018. doi P. 61-70. doi
- Article Berger G., Beklemishev L. D., Tompits H. A many-sorted variant of Japaridze's polymodal provability logic // Logic Journal of the IGPL. 2018. Vol. 26. No. 5. P. 505-538. doi
- Article Beklemishev L. D., Kolmakov E. Axiomatizing Provable n-Provability // Doklady Mathematics. 2018. Vol. 98. No. 3. P. 582-585. doi
- Article Беклемишев Л. Д. Исчисление для схем рефлексии и спектры консервативности // Успехи математических наук. 2018. Т. 74. № 4. С. 3-52. doi
- Article Beklemishev L. D. On the Reduction Property for GLP-Algebras / Пер. с рус. // Doklady Mathematics. 2017. Vol. 95. No. 1. P. 50-54. doi
- Chapter Beklemishev L. D. On the Reflection Calculus with Partial Conservativity Operators, in: Logic, Language, Information, and Computation. WoLLIC 2017. Lecture Notes in Computer Science Vol. 10388: Lecture Notes in Computer Science. Berlin : Springer, 2017. doi P. 48-67. doi
- Preprint Beklemishev L. D. Reflection calculus and conservativity spectra / Cornell University. Series arXiv "math". 2017.
- Article Беклемишев Л. Д. О свойстве редукции для GLP-алгебр // Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2017. Т. 472. № 4. С. 378-382. doi
- Book Advances in Modal Logic / Ed. by L. D. Beklemishev, S. Demri, A. Mate. Vol. 11. L. : College Publications, 2016.
- Book Advances in Modal Logic / Ed. by L. D. Beklemishev, S. Demri, A. Máté. Vol. 11. College Publications, 2016.
- Article L. Beklemishev, Flaminio T. Franco Montagna’s Work on Provability Logic and Many-valued Logic // Studia Logica. 2016. Vol. 104. No. 1. P. 1-46. doi
- Preprint Berger G., Beklemishev L. D., Tompits H. Gerald Berger, Lev D. Beklemishev, Hans Tompits. A many-sorted variant of Japaridze's polymodal provability logic, Jan 2016, 15 pp., ArXiv: 1601.02857. / Cornell University. Series math "arxiv.org". 2016. No. 1601.02857.
- Preprint Lev Beklemishev, Shamkanov D. Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016. / Cornell University. Series math "arxiv.org". 2016. No. 1602.05728.
- Chapter Beklemishev L. D., Shamkanov D. S. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, in: Liber Amicorum Alberti. A Tribute to Albert Visser. L. : College Publications, 2016. P. 15-29.
- Preprint Beklemishev L. D. L. D. Beklemishev, A note on strictly positive logics and word rewriting systems, June 2015, ArXiv: 1509.00666. / Cornell University. Series math "arxiv.org". 2015. No. 1509.00666.
- Chapter Beklemishev L. D. Proof-theoretic analysis by iterated reflection, in: Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015. Basel : Birkhauser/Springer, 2015. doi P. 225-270. doi
- Article Беклемишев Л. Д., Оноприенко А. А. О некоторых медленно сходящихся системах преобразований термов // Математический сборник. 2015. Т. 206. № 9. С. 3-20. doi
- Article Беклемишев Л. Д., Оноприенко А. А. О некоторых медленно сходящихся системах преобразований термов // Математический сборник. 2015. № 9. С. 3-20. doi
- Article Beklemishev L. D., Fernandez-Duque D., Joosten J. J. On provability logics with linearly ordered modalities // Studia Logica. 2014. Vol. 102. No. 3. P. 541-566. doi
- Article Lev D. Beklemishev. Positive provability logic for uniform reflection principles // Annals of Pure and Applied Logic. 2014. Vol. 165. No. 1. P. 82-105. doi
- Article Beklemishev L. D., Gurevich Y. Propositional primal logic with disjunction // Journal of Logic and Computation. 2014. Vol. 24. No. 1. P. 257-282. doi
- Preprint Beklemishev L. D. Positive provability logic for uniform reflection principles / Cornell University. Series math "arxiv.org". 2013. No. arXiv:1304.4396.
- Article Beklemishev L. D., Gabelaia D. Topological completeness of the provability logic GLP // Annals of Pure and Applied Logic. 2013. Vol. 164. No. 12. P. 1201-1223. doi
- Chapter Beklemishev L. D. Calibrating Provability Logic: From Modal Logic to Re ection Calculus, in: Advances in Modal Logic Issue 9. L. : College Publications, 2012. P. 89-94.
- Preprint Beklemishev L. D., Fernandez D., Joosten J. On provability logics with linearly ordered modalities / Cornell University. Series math "arxiv.org". 2012.
- Preprint Beklemishev L. D., Gabelaia D. Topological interpretations of provability logic. / Cornell University. Series math "arxiv.org". 2012. No. ArXiv:1210.7317 .
- Book Beklemishev L. D., Queiroz R. d. Logic, Language, Information, and Computation/2011 Vol. 6642. NY : Springer, 2011.
- Preprint Beklemishev L. D., Gurevich Y. Propositional primal logic with disjunction / Microsoft Research. Series MSR-TR "Microsoft Research Technical Report". 2011. No. 2011-35.
- Book Special Issue: Logical Models of Reasoning and Computation / Ed. by S. Adian, L. D. Beklemishev, A. Visser. Vol. 21 (4). Oxford: Oxford University Press. Journal of Logic and Computation, 2011.
- Book Алгоритмические вопросы алгебры и логики. К 80-летию со дня рождения академика С.И. Адяна / Под общ. ред.: Е. Ф. Мищенко, Л. Д. Беклемишев. Т. 274. М. : МАИК, 2011.
- Article Беклемишев Л. Д. Упрощенное доказательство теоремы об арифметической полноте для логики доказуемости GLP // Труды Математического института им. В.А. Стеклова РАН. 2011. Т. 247
- Article Beklemishev L. D. Kripke semanics for provability logic GLP // Annals of Pure and Applied Logic. 2010. Vol. 161. No. 6. P. 756-774.
- Article Беклемишев Л. Д. Теоремы Гёделя о неполноте и границы их применимости // Успехи математических наук. 2010. № 5 . С. 61-104.
- Chapter Beklemishev L. D. Ordinal completeness of bimodal provability logic GLB, in: Logic, Language, and Computation/2009. Tbilisi : Springer, 2009. P. 1-15.
- Article Beklemishev L. D. Representing Worms as a term rewriting system // Oberwolfach Reports. 2006. No. 52. P. 7-9.
Formal Philosophy 2022
On 31 October – 3 November 2022 , the International Conference "Formal Philosophy – 2022" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy.
‘A Good Thing about Mathematical Thinking Is That It Knocks Some Sense into Your Brain’
HSE University maintains active cooperation with the Academy of Science institutes, which open joint departments at the university and provide their best experts for teaching and research. HSE News Service talked to Deputy Directors of the RAS Steklov Mathematical Institute (MIRAS) — RAS member Lev Beklemishev andSergey Gorchinskiy — about the development of mathematics in the modern world, career opportunities for graduates in mathematics, and the specifics of researchers’ work with students.
First International Recipient of DSc Degree in Mathematics From HSE University
Edmond W.H. Lee, a full professor at the Department of Mathematics, Nova Southeastern University, USA, has recently defended his Doctor of Sciences (DSc) thesis at the Dissertation Council in Mathematics, HSE University. The DSc in Russia is a higher doctoral degree that can be earned after the PhD. Professor Lee’s defence was held over Zoom, with the candidate and his dissertation committee members participating remotely from 5 cities in Brazil, Israel, Russia, and the USA. Lee became the first international recipient of a DSc degree in Mathematics from HSE University.
Eight HSE Faculty Members Elected Full and Corresponding Members to the Russian Academy of Sciences
After holding elections at a general meeting on November 14-15, the Russian Academy of Sciences (RAS) has announced its new full and corresponding members. Among those announced, eight new appointees are HSE faculty members.
HSE University Brings Major Conference in Philosophical Logic to Russia for the First Time
On October 2-4, HSE University hosted the international conference Trends in Logic 19. Current Issues in Philosophical Logic for the first time in Russia. The conference, which attracted a number of prominent Russian and international scholars, was organized jointly by the journal Studia Logica and the HSE International Laboratory for Logic, Linguistics and Formal Philosophy.
13th International Conference on Concept Lattices and Their Applications
On July 18-22 the 13th International Conference on Concept Lattices and Their Applications was held at HSE. The conference has been organized since 2002. This year it was held in Russia for the first time. The event was organized by the International Laboratory for Intelligent Systems and Structural Analysis and the School of Data Analysis and Artificial Intelligence of HSE Faculty of Computer Science.
10th International Computer Science Symposium in Russia
On July 13th-17th 2015, the 10th International Computer Science Symposium in Russia took place. The largest conference on theoretical informatics in Russia was organized by Irkutsk State University, the Higher School of Economics and Yandex. Vladimir Podolskii, Associate Professor at the Big Data and Information Retrieval School took part in the event as guest speaker. Maxim Babenko, Head of the Joint Department with Yandex also delivered a report during the event.