Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Беклемишев Лев Дмитриевич

Публикаций: 103 (77)
в MathSciNet: 75 (59)
в zbMATH: 60 (48)
в Web of Science: 56 (42)
в Scopus: 53 (44)
Цитированных статей: 43
Цитирований: 584
Лекций и докладов: 156

Статистика просмотров:
Эта страница:16755
Страницы публикаций:16189
Полные тексты:5980
Списки литературы:915
Беклемишев Лев Дмитриевич
академик РАН
доктор физико-математических наук (1998)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 17.09.1967
E-mail: ,
Сайт: https://www.mi.ras.ru/~bekl
Ключевые слова: математическая логика, теория доказательств, фрагменты формальной арифметики, логика доказуемости, модальная логика, теоремы Гёделя, неполнота, доказательство, вычислимость.
Коды УДК: 510.2, 510.23, 510.58, 510.6, 510.643, 510.65, 510.652, 512
Коды MSC: 03F45, 03F03, 03F40, 03F15, 03F20, 03F30, 03B45, 03B70

Основные темы научной работы

Доказана теорема о классификации пропозициональных логик доказуемости. Получена характеризация ограниченных правил индукции в арифметике в терминах итерированных схем рефлексии. Найдены классы доказуемо тотальных вычислимых функций для фрагментов арифметики с беспараметрической индукцией. В частности, беспараметрическая индукция для Π2-формул соответствует классу примитивно рекурсивных функций. Предложен подход к ординальной теории доказательств на основе понятия алгебры доказуемости.

Научная биография:

Окончил механико-математический факультет МГУ в 1989 г. (кафедра математической логики и теории алгоритмов). В 1989–92 гг. — аспирант, с 1992 г. — сотрудник МИАН им. В. А. Стеклова. Кандидатская диссертация — 1992 г. Название: Классификация пропозициональных логик доказуемости. Докторская диссертация — 1998 г. Название: Схемы рефлексии в формальной арифметике. В 2000–05 гг. сотрудник Утрехтского университета (Нидерланды).
Премия Московского математического общества для молодых ученых присуждена в 1994 г. за работу «О классификации пропозициональных логик доказуемости». Стипендия А. Гумбольдта (Германия) присуждена в 1998 г. В 2006 г. избран членом-корреспондентом РАН.

   
Основные публикации:
  1. Л. Д. Беклемишев, “О классификации пропозициональных логик доказуемости”, Изв. АН СССР, сер. матем., 53:5 (1989), 915–943  mathnet  mathscinet  zmath; English transl. Math. USSR-Izv., 35:2 (1990), 247–275  crossref  mathscinet  zmath
  2. L. D. Beklemishev, “Iterated local reflection versus iterated consistency”, Ann. Pure Appl. Logic, 75 (1995), 25–48  crossref  mathscinet  zmath
  3. L. D. Beklemishev, “A proof-theoretic analysis of collection”, Arch. Math. Logic, 37:5-6 (1998), 275–296  crossref  mathscinet  zmath
  4. L. D. Beklemishev, “Parameter-free induction and provably total computable functions”, Theoret. Comput. Sci., 224 (1999), 13–33  crossref  mathscinet  zmath
  5. Л. Д. Беклемишев, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, Успехи математических наук, 60:2 (2005), 3–78  mathnet  mathscinet  zmath; English transl. Russian Mathematical Surveys, 60:2 (2005), 197–268  crossref  mathscinet  zmath

https://www.mathnet.ru/rus/person17809
https://scholar.google.com/citations?user=QUJVc2UAAAAJ&hl=ru
https://zbmath.org/authors/?q=ai:beklemishev.lev-d
https://mathscinet.ams.org/mathscinet/MRAuthorID/251033
https://elibrary.ru/author_items.asp?authorid=7524
ИСТИНА https://istina.msu.ru/workers/2556926
https://orcid.org/0000-0002-2949-0600
https://www.webofscience.com/wos/author/record/F-7814-2013
https://www.scopus.com/authid/detail.url?authorId=6602096489
https://www.researchgate.net/profile/Lev_Beklemishev

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2025
1. Л. Д. Беклемишев, “О проблеме унификации для логики GLP”, Изв. РАН. Сер. матем., 89:1 (2025) (в печати)  mathnet
2. Lev D. Beklemishev, Fedor N. Pakhomov, “Automatic structures and the problem of natural well-orderings”, Model Theory, Computer Science, and Graph Polynomials: Festschrift in honor of Johann A. Makowsky, Trends in Mathematics, eds. K. Meyer, A. Rabinovich, E. Ravve, A. Villaveces, Birkhäuser, 2025, 1–19 (to appear); arXiv: 2407.10198

   2024
3. Lev D. Beklemishev, Yunsong Wang, Periodic frames, 2024 , 32 pp., arXiv: https://arxiv.org/abs/2407.10190
4. Lev Beklemishev, Anna Dmitrieva, Johann A. Makowsky, “Axiomatizing Origami Planes”, Dick de Jongh on Intuitionistic and Provability Logics, Outst. Contrib. Log., 28, Springer, Cham, 2024, 353–377  mathnet  crossref;
5. А. Н. Абызов, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, И. Ш. Калимуллин, В. Л. Селиванов, А. Л. Семенов, А. А. Туганбаев, М. Х. Файзрахманов, “Марат Мирзаевич Арсланов (к восьмидесятилетию со дня рождения)”, УМН, 79:2(476) (2024), 189–193  mathnet  crossref  mathscinet  isi; A. N. Abyzov, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, I. Sh. Kalimullin, V. L. Selivanov, A. L. Semenov, A. Tuganbaev, M. Kh. Faizrahmanov, “Marat Mirzaevich Arslanov (on his eightieth birthday)”, Russian Math. Surveys, 79:2 (2024), 369–373  crossref  mathscinet  isi  scopus

   2023
6. С. Н. Артемов, Л. Д. Беклемишев, Л. Я. Боркин, А. М. Вершик, Э. А. Гирш, Е. Я. Данцин, И. А. Ибрагимов, Е. В. Кальменс, В. Я. Крейнович, Д. А. Кубенский, А. А. Лодкин, Ю. В. Матиясевич, Б. А. Новиков, В. П. Оревков, А. Л. Семенов, А. О. Слисенко, А. Х. Шень, “Григорий Самуилович Цейтин (некролог)”, УМН, 78:3(471) (2023), 170–176  mathnet  crossref  mathscinet  adsnasa  isi; S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Russian Math. Surveys, 78:3 (2023), 555–561  crossref  mathscinet  isi

   2022
7. Л. Д. Беклемишев, “Спектры консервативности и модель Йоостена–Фернандеса”, Докл. РАН. Матем., информ., проц. упр., 505 (2022), 5–10  mathnet  crossref  mathscinet  elib; L. D. Beklemishev, “Conservativity spectra and Joosten–Fernández model”, Dokl. Math., 106:1 (2022), 213–217  crossref  mathscinet
8. Lev D. Beklemishev, Fedor N. Pakhomov, “Reflection algebras and conservation results for theories of iterated truth”, Ann. Pure Appl. Logic, 173:5 (2022), 103093 , 41 pp.  mathnet  crossref  mathscinet; 8

   2021
9. В. С. Атабекян, Л. Д. Беклемишев, В. С. Губа, И. Г. Лысёнок, А. А. Разборов, А. Л. Семенов, “Вопросы алгебры и математической логики. Научное наследие С. И. Адяна”, УМН, 76:1(457) (2021), 3–30  mathnet  crossref  mathscinet  zmath  adsnasa  isi; V. S. Atabekyan, L. D. Beklemishev, V. S. Guba, I. G. Lysenok, A. A. Razborov, A. L. Semenov, “Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian”, Russian Math. Surveys, 76:1 (2021), 1–27  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus
10. В. С. Атабекян, Л. Д. Беклемишев, В. М. Бухштабер, С. С. Гончаров, В. С. Губа, Ю. Л. Ершов, В. В. Козлов, И. Г. Лысёнок, С. П. Новиков, Ю. С. Осипов, М. Р. Пентус, В. В. Подольский, А. А. Разборов, В. А. Садовничий, А. Л. Семенов, А. Л. Таламбуца, Д. В. Трещев, Л. Н. Шеврин, “Сергей Иванович Адян (некролог)”, УМН, 76:1(457) (2021), 191–194  mathnet  crossref  mathscinet  zmath  adsnasa  isi; V. S. Atabekyan, L. D. Beklemishev, V. M. Buchstaber, S. S. Goncharov, V. S. Guba, Yu. L. Ershov, V. V. Kozlov, I. G. Lysenok, S. P. Novikov, Yu. S. Osipov, M. R. Pentus, V. V. Podolskii, A. A. Razborov, V. A. Sadovnichii, A. L. Semenov, A. L. Talambutsa, D. V. Treschev, L. N. Shevrin, “Sergei Ivanovich Adian (obituary)”, Russian Math. Surveys, 76:1 (2021), 177–181  crossref  mathscinet  zmath  adsnasa  isi
11. Л. Д. Беклемишев, “Интервью с академиком Л. Д. Беклемишевым”, Матем. просв., 28, МЦНМО, М., 2021, 9–14  mathnet

   2020
12. L. Beklemishev, A. Dmitrieva, J. Makowsky, Axiomatizing Origami planes, 2020 , 25 pp., arXiv: 2012.03250
13. Л. Д. Беклемишев, А. В. Васильев, Е. П. Вдовин, С. С. Гончаров, В. В. Козлов, П. С. Колесников, В. Д. Мазуров, Ю. В. Матиясевич, А. С. Морозов, А. Н. Паршин, В. Г. Пузаренко, М. В. Швидефски, “Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)”, УМН, 75:3(453) (2020), 191–194  mathnet  crossref  mathscinet  mathscinet  zmath  adsnasa  isi; L. D. Beklemishev, A. V. Vasil'ev, E. P. Vdovin, S. S. Goncharov, V. V. Kozlov, P. S. Kolesnikov, V. D. Mazurov, Yu. V. Matiyasevich, A. S. Morozov, A. N. Parshin, V. G. Puzarenko, M. V. Schwidefsky, “Yurii Leonidovich Ershov (on his 80th birthday)”, Russian Math. Surveys, 75:3 (2020), 581–585  crossref  mathscinet  mathscinet  zmath  adsnasa  isi

   2019
14. Lev D. Beklemishev, Fedor N. Pakhomov, Reflection algebras and conservation results for theories of iterated truth, 2019 , 48 pp., arXiv: 1908.10302
15. E. A. Kolmakov, L. D. Beklemishev, “Axiomatization of provable $n$-provability”, J. Symb. Log., 84:2 (2019), 849–869  mathnet  crossref  mathscinet  isi  scopus 3
16. С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019), 165–180  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753  crossref  mathscinet  zmath  adsnasa  isi 1
17. В. А. Александров, Л. Д. Беклемишев, В. М. Бухштабер, А. Ю. Веснин, А. А. Гайфуллин, Н. П. Долбилин, Н. Ю. Ероховец, М. Д. Ковалев, В. С. Макаров, С. П. Новиков, Д. О. Орлов, А. Н. Паршин, И. Х. Сабитов, Д. В. Трещев, О. К. Шейнман, Е. В. Щепин, “Михаил Иванович Штогрин (к восьмидесятилетию со дня рождения)”, УМН, 74:6(450) (2019), 194–197  mathnet  crossref  mathscinet  zmath  adsnasa  isi; V. A. Alexandrov, L. D. Beklemishev, V. M. Buchstaber, A. Yu. Vesnin, A. A. Gaifullin, N. P. Dolbilin, N. Yu. Erokhovets, M. D. Kovalev, V. S. Makarov, S. P. Novikov, D. O. Orlov, A. N. Parshin, I. Kh. Sabitov, D. V. Treschev, O. K. Sheinman, E. V. Shchepin, “Mikhail Ivanovich Shtogrin (on his 80th birthday)”, Russian Math. Surveys, 74:6 (2019), 1159–1162  crossref  mathscinet  zmath  adsnasa  isi
18. Л.Д. Беклемишев, “Математика и логика”, Математическая составляющая, ред. Н.Н. Андреев, С.П. Коновалов и Н.А. Панюнин, 2019, 242–261 book.etudes.ru/toc/mathnlogic/

   2018
19. Lev Beklemishev, “A note on strictly positive logics and word rewriting systems”, Larisa Maximova on Implication, Interpolation, and Definability, Outst. Contrib. Log., 15, eds. Sergei Odintsov, Springer, Berlin, Heidelberg, 2018, 61–70  mathnet  crossref  mathscinet  isi  scopus 6
20. Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4(442) (2018), 3–52  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613  crossref  mathscinet  zmath  zmath  adsnasa  isi  scopus 6
21. Lev D. Beklemishev, “A universal algebra for the variable-free fragment of $RC^\nabla$”, Logical Foundations of Computer Science, International Symposium, LFCS 2018, Lecture Notes in Comput. Sci., 10703, Springer, Berlin, Heidelberg, 2018, 91–106  mathnet  crossref  mathscinet  zmath  isi  scopus 4
22. Gerald Berger, L. D. Beklemishev, Hans Tompits, “A many-sorted variant of Japaridze's polymodal provability logic”, Log. J. IGPL, 26:5 (2018), 505–538  mathnet  crossref  mathscinet  isi  scopus
23. L. D. Beklemishev, A universal Kripke frame for the variable-free fragment of $RC^\nabla$, 2018 , 5 pp., arXiv: 1804.02641
24. Е. А. Колмаков, Л. Д. Беклемишев, “Аксиоматизация доказуемой $n$-доказуемости”, Докл. РАН, 483:3 (2018), 244–248  mathnet  crossref  zmath  isi  elib; E. A. Kolmakov, L. D. Beklemishev, “Axiomatizing provable $n$-provability”, Dokl. Math., 98:3 (2018), 582–585  crossref  mathscinet  zmath  isi  scopus

   2017
25. Lev D. Beklemishev, Reflection calculus and conservativity spectra, 2017 , 28 pp., arXiv: 1703.09314
26. Л. Д. Беклемишев, “О свойстве редукции для $GLP$-алгебр”, Докл. РАН, 472:4 (2017), 378–382  mathnet  crossref  mathscinet  isi  elib; L. D. Beklemishev, “On the Reduction Property for GLP-Algebras”, Dokl. Math., 95:1 (2017), 50–54  crossref  mathscinet  isi  scopus 1
27. Lev D. Beklemishev, “On the reflection calculus with partial conservativity operators”, Lecture Notes in Comput. Sci., 10388, 2017, 48–67  mathnet  crossref  mathscinet  zmath  isi  scopus 6
28. Lev Beklemishev, “Guest Editorial: Computer Science Symposium in Russia”, Theory Comput. Syst., 61:2 (2017), 462–463 https://link.springer.com/content/pdf/10.1007  crossref  mathscinet  zmath  adsnasa  isi  scopus

   2016
29. L. D. Beklemishev, “Proof theoretic analysis by iterated reflection”, Turing's revolution, Part II, Birkhäuser/Springer, Cham, 2016, 225–270  crossref  mathscinet  scopus 3
30. Lev Beklemishev, Tommaso Flaminio, “Franco Montagna's work on provability logic and many-valued logic”, Studia Logica, 104:1 (2016), 1–46  mathnet  crossref  mathscinet  zmath  isi  elib  scopus
31. L. D. Beklemishev, Notes on a reduction property for GLP-algebras, 2016 , 8 pp., arXiv: 1606.00290
32. Lev Beklemishev, Daniyar Shamkanov, “Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics”, Liber Amicorum Alberti: A tribute to Albert Visser, Tributes, 30, eds. Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten, College Publications, London, 2016, 15–29 url, arXiv: 1602.05728  mathscinet  zmath
33. Gerald Berger, Lev D. Beklemishev, Hans Tompits, A Many-Sorted Variant of Japaridze's Polymodal Provability Logic, 2016 , 15 pp., arXiv: 1601.02857
34. Lev Beklemishev, “Notes on a reduction property of GLP-algebras”, 11th International Conference on Advances in Modal Logic, Short Papers (Budapest, 30 August – 2 September, 2016), 2016, 7–13
35. Advances in Modal Logic, v. 11, eds. Lev Beklemishev, Stephane Demri, Andras Mate, College Publications, London, 2016 , xii+570 pp.  mathscinet  zmath

   2015
36. L. D. Beklemishev, A note on strictly positive logics and word rewriting systems, 2015 , 8 pp., arXiv: 1509.00666
37. Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015), 3–20  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190  crossref  mathscinet  zmath  isi  elib  scopus 4
38. L. D. Beklemishev, D. V. Musatov (eds.), Computer Science – Theory and Applications, 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015, Proceedings, Lecture Notes in Computer Science, 9139, Springer, 2015 , xx+443 pp.  crossref  mathscinet  zmath  scopus 1

   2014
39. L. D. Beklemishev, D. Fernández-Duque, J. J. Joosten, “On provability logics with linearly ordered modalities”, Studia Logica, 102:3 (2014), 541–566 , arXiv: 1210.4809  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 15
40. L. Beklemishev, “Positive provability logic for uniform reflection principles”, Ann. Pure Appl. Logic, 165:1 (2014), 82–105  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 15
41. L. Beklemishev, Y. Gurevich, “Propositional primal logic with disjunction”, J. Logic Comput., 24:1 (2014), 257–282  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 13
42. L. Beklemishev, D. Gabelaia, “Topological interpretations of provability logic”, Leo Esakia on duality in modal and intuitionistic logics, Outstanding Contributions to Logic, 4, eds. G. Bezhanishvili, Springer, 2014, 257–290 , arXiv: 1210.7317  crossref  mathscinet  zmath  scopus 12
43. Lev Beklemishev, Ruy De Queiroz, Andre Scedrov, “Editors' foreword”, Journal of Computer and System Sciences, 80:6, Special Issue: 18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011) (2014), 1037  crossref  mathscinet  zmath  isi

   2013
44. L. Beklemishev, D. Gabelaia, “Topological completeness of the provability logic GLP”, Ann. Pure Appl. Logic, 164:12 (2013), 1201–1223 , arXiv: 1106.5693  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 15
45. Л. Д. Беклемишев, “Позитивные логики доказуемости”, Международная конференция “Мальцевские чтения”. Тезисы докладов (Новосибирск, 11–15 ноября 2013 г.), ФГБУН Институт математики им. С.Л. Соболева СО РАН; Новосибирский государственный университет, Новосибирск, 2013, 10 www.math.nsc.ru/conference/malmeet/13/maltsev13.pdf

   2012
46. L. D. Beklemishev, “Calibrating provability logic: from modal logic to reflection calculus”, Advances in Modal Logic, 9, eds. T. Bolander, T. Braüner, S. Ghilardi, L. Moss, College Publications, London, 2012, 89–94  mathscinet  zmath  elib
47. L. Beklemishev, “DKAL: A Distributed Knowledge Authorization Language and Its Logic of Information”, Computer Science – Theory and Applications. 7th International Computer Science Symposium in Russia, CSR 2012 (Nizhny Novgorod, Russia, July 3–7, 2012), Lecture Notes in Computer Science, 7353, eds. E. Hirsch, J. Karhumäki, A. Lepistö, M. Prilutskii, Springer, 2012, XIII–XIV  crossref  mathscinet 1
48. L. Beklemishev, G. Bezhanishvili, D. Mundici, Y. Venema, “Foreword [Special issue dedicated to the memory of Leo Esakia]”, Studia Logica, 100:1-2 (2012), 1–7  crossref  mathscinet  zmath  isi  scopus 1

   2011
49. L. Beklemishev, Y. Gurevich, Propositional primal logic with disjunction, Microsoft Research Technical Report MSR-TR-2011-35, Redmond, 2011 , 31 pp. http://research.microsoft.com/apps/pubs/default.aspx?id=146631
50. Л. Д. Беклемишев, “Упрощëнное доказательство теоремы об арифметической полноте для логики доказуемости GLP”, Тр. МИАН, 274, 2011, 32–40  mathnet  mathscinet  zmath  isi  elib; L. D. Beklemishev, “A simplified proof of arithmetical completeness theorem for provability logic GLP”, Proc. Steklov Inst. Math., 274:1 (2011), 25–33  crossref  mathscinet  zmath  isi  elib  scopus 10
51. L. Beklemishev, “Ordinal completeness of bimodal provability logic GLB”, Logic, language, and computation, 8th International Tbilisi Symposium TbiLLC 2009, Lecture Notes in Comput. Sci., 6618, eds. N. Bezhanishvili et al., Springer, Heidelberg, 2011, 1–15  crossref  mathscinet  zmath  isi  scopus 3
52. Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, V. M. Buchstaber, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, A. A. Razborov, A. L. Semenov, “Sergei Ivanovich Adian (on his eightieth birthday)”, Russian Math. Surveys, 66:1 (2011), 197–198  crossref  mathscinet  zmath  adsnasa  isi
53. L. Beklemishev, R. de Queiroz (eds.), Logic, language, information, and computation, 18th International Workshop, WoLLIC 2011 (Philadelphia, PA, USA, May 18–20, 2011), Proceedings, Lecture Notes in Comput. Sci., 6642, Springer, 2011 , x+311 pp.  crossref  zmath 1
54. Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, ред. Л. Д. Беклемишев, Е. Ф. Мищенко, МАИК «Наука/Интерпериодика», М., 2011 , 351 с.  mathnet
55. Л. Д. Беклемишев, “Предисловие”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 7–9  mathnet  mathscinet; L. D. Beklemishev, “Foreword”, Proc. Steklov Inst. Math., 274 (2011), 1–3  crossref  mathscinet  elib  scopus  scopus
56. S. Adian, L. Beklemishev, A. Visser, “Proof and Computation”, J. Logic Computation, 21:4 (2011), 541–542  crossref  mathscinet  isi  scopus

   2010
57. Л. Д. Беклемишев, “Теоремы Гëделя о неполноте и границы их применимости. I”, УМН, 65:5(395) (2010), 61–106  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, “Gödel incompleteness theorems and the limits of their applicability. I”, Russian Math. Surveys, 65:5 (2010), 857–899  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 10
58. L. D. Beklemishev, “Kripke semantics for provability logic GLP”, Ann. Pure Appl. Logic, 161:6 (2010), 756–774  crossref  mathscinet  zmath  isi  elib  scopus 21
59. L. Beklemishev, V. Goranko, V. Shehtman (eds.), Advances in Modal Logic, 8, College Publications, London, 2010 , ix+505 pp.  mathscinet
60. L. Beklemishev, G. Bezhanishvili, T. Icard, “On topological models of GLP”, Ways of proof theory, Ontos Mathematical Logic, 2, eds. R. Schindler, Ontos Verlag, Frankfurt, 2010, 133–153  mathscinet
61. L. Beklemishev, “On the Craig interpolation and the fixed point properties of GLP”, Proofs, categories and computations, Tributes, 13, eds. S. Feferman et al., College Publications, London, 2010, 49–60  mathscinet  zmath

   2007
62. L. Beklemishev, “Review of “Gödel's Theorem: an incomplete guide to its use and abuse” by Torkel Franzén”, Bulletin of Symbolic Logic, 13:2 (2007), 241–243  crossref

   2006
63. L. D. Beklemishev, “The Worm principle”, Logic Colloquium '02 (Münster, 2002), Lect. Notes Log., 27, Assoc. Symbol. Logic, La Jolla, CA, 2006, 75–95  mathscinet  zmath  isi
64. L. Beklemishev, A. Visser, “Problems in the logic of provability”, Mathematical problems from applied logic. I, Int. Math. Ser. (N. Y.), 4, Springer, New York, NY, 2006, 77–136  crossref  mathscinet  zmath 14
65. L. Beklemishev, “Representing Worms as a term rewriting system”, Logic, combinatorics and independence results, Oberwolfach Report, 52/2006, eds. A. Bovykin, L. Carlucci, A. Weiermann, Mathematisches Forschungsinstitut Oberwolfach, 2006, 7–9  mathscinet
66. Л. Д. Беклемишев, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, М. Р. Пентус, А. А. Разборов, А. Л. Семëнов, В. А. Успенский, “Сергей Иванович Адян (к 75-летию со дня рождения)”, УМН, 61:3(369) (2006), 179–191  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588  crossref  mathscinet  zmath  adsnasa  isi 1
67. L. Beklemishev, “Review of “David Hilbert and the axiomatization of physics (1898–-1918)” by Leo Corry”, Studies In History and Philosophy of Science, Part B: Studies In History and Philosophy of Modern Physics, 37:2 (2006), 388–390  crossref  mathscinet  adsnasa  isi

   2005
68. L. D. Beklemishev, A. Visser, “On the limit existence principles in elementary arithmetic and $\Sigma^0_n$-consequences of theories”, Ann. Pure Appl. Logic, 136:1-2 (2005), 56–74  crossref  mathscinet  zmath  isi  elib  scopus 10
69. L. D. Beklemishev, J. J. Joosten, M. Vervoort, “A finitary treatment of the closed fragment of Japaridze's provability logic”, J. Logic Comput., 15:4 (2005), 447–463  crossref  mathscinet  zmath  isi  elib  scopus 21
70. Л. Д. Беклемишев, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60:2(362) (2005), 3–78  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; L. D. Beklemishev, “Reflection principles and provability algebras in formal arithmetic”, Russian Math. Surveys, 60:2 (2005), 197–268  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus 77
71. S. I. Adian, M. Baaz, L. D. Beklemishev, “Editorial”, J. Logic Computation, 15:4 (2005), 409  crossref  mathscinet  isi  scopus

   2004
72. L. D. Beklemishev, “Provability algebras and proof-theoretic ordinals. I”, Ann. Pure Appl. Logic, 128:1-3 (2004), 103–123  crossref  mathscinet  zmath  isi  elib  scopus 61

   2003
73. L. D. Beklemishev, “Proof-theoretic analysis by iterated reflection”, Arch. Math. Logic, 42:6 (2003), 515–552  crossref  mathscinet  zmath  isi  elib  scopus 44
74. L. D. Beklemishev, “On the induction schema for decidable predicates”, J. Symbolic Logic, 68:1 (2003), 17–34  crossref  mathscinet  zmath  isi  elib  scopus 8
75. Л. Д. Беклемишев, “Бескванторная индукция и принцип наименьшего числа”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Тр. МИАН, 242, Наука, М., 2003, 59–76  mathnet  mathscinet  zmath; L. D. Beklemishev, “Quantifier-Free Induction Schema and the Least Element Principle”, Proc. Steklov Inst. Math., 242 (2003), 50–66  mathscinet  zmath

   2002
76. A. L. Rastsvetaev, L. D. Beklemishev, “On the query complexity of finding a local maximum point”, Inform. Process. Lett., 84:6 (2002), 327–332  crossref  mathscinet  zmath  isi  elib  scopus 2

   2001
77. L. Beklemishev, “Review of “On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness” by U. Kohlenbach”, Bulletin of Symbolic Logic, 7:1 (2001), 75–77  crossref

   2000
78. L. Beklemishev, “Another pathological well-ordering”, Logic Colloquium '98 (Prague, 1998), Lect. Notes Log., 13, Assoc. Symbol. Logic, Urbana, IL, 2000, 105–108  crossref  mathscinet  zmath  isi 5

   1999
79. L. D. Beklemishev, “Open least element principle and bounded query computation”, Computer science logic (Madrid, 1999), Lecture Notes in Comput. Sci., 1683, Springer, Berlin, 1999, 389–404  crossref  mathscinet  zmath  isi  elib  scopus 2
80. L. D. Beklemishev, “Classification of propositional provability logics”, Provability, complexity, grammars, Amer. Math. Soc. Transl. Ser. 2, 192, Amer. Math. Soc., Providence, RI, 1999, 1–56  mathscinet  zmath
81. L. Beklemishev, M. Pentus, N. Vereshchagin, Provability, complexity, grammars, Amer. Math. Soc. Transl. Ser. 2, 192, Amer. Math. Soc., Providence, RI, 1999 , x+172 pp.  mathscinet  zmath
82. L. D. Beklemishev, “Parameter free induction and provably total computable functions”, Theoret. Comput. Sci., 224:1-2 (1999), 13–33  crossref  mathscinet  zmath  isi  elib  scopus 21

   1998
83. L. D. Beklemishev, “A proof-theoretic analysis of collection”, Arch. Math. Logic, 37:5-6 (1998), 275–296  crossref  mathscinet  zmath  isi  elib  scopus 23
84. Л. Д. Беклемишев, Схемы рефлексии в формальной арифметике, Дисс. … докт. физ.-матем. наук, Математический институт им. В.А. Стеклова, Москва, 1998 , 149 с.
85. L. Beklemishev, “Review of “Aspects of Incompleteness” by P. Lindström”, The Journal of Symbolic Logic, 63:4 (1998), 1606–1608  crossref

   1997
86. L. Beklemishev, “Notes on local reflection principles”, Theoria, 63:3 (1997), 139–146  crossref  mathscinet  scopus 10
87. L. D. Beklemishev, “Parameter free induction and reflection”, Computational logic and proof theory (Vienna, 1997), Lecture Notes in Comput. Sci., 1289, Springer, Berlin, 1997, 103–113  crossref  mathscinet  zmath  scopus 3
88. L. D. Beklemishev, “Induction rules, reflection principles, and provably recursive functions”, Ann. Pure Appl. Logic, 85:3 (1997), 193–242  crossref  mathscinet  zmath  isi  elib  scopus 40

   1996
89. L. Beklemishev, “Remarks on Magari algebras of $\mathrm{PA}$ and $\mathrm{I}\Delta_0+\mathrm{EXP}$”, Logic and algebra (Pontignano, 1994), Lecture Notes in Pure and Appl. Math., 180, Marcel Dekker, New York, 1996, 317–325  mathscinet  zmath  isi
90. L. D. Beklemishev, “Bimodal logics for extensions of arithmetical theories”, J. Symbolic Logic, 61:1 (1996), 91–124  crossref  mathscinet  zmath  isi  elib  scopus 9
91. L. Beklemishev, “Review of “Diagonalization and Self-reference” by R. Smullyan”, The Journal of Symbolic Logic, 61:3 (1996), 1052–1055  crossref

   1995
92. L. Beklemishev, “Iterated local reflection versus iterated consistency”, Ann. Pure Appl. Logic, 75:1-2 (1995), 25–48  crossref  mathscinet  zmath  isi  elib  scopus 19
93. Л. Д. Беклемишев, “Об ограниченном правиле индукции и итерированных схемах рефлексии над кальмаровской элементарной арифметикой”, Теоретические и прикладные аспекты математических исследований, ред. О. Б. Лупанов, МГУ, Москва, 1995, 36–39

   1994
94. L. D. Beklemishev, “On bimodal logics of provability”, Ann. Pure Appl. Logic, 68:2 (1994), 115–159  crossref  mathscinet  zmath  isi  elib  scopus 13

   1993
95. S. N. Artemov, L. D. Beklemishev, “On propositional quantifiers in provability logic”, Notre Dame J. Formal Logic, 34:3 (1993), 401–419  crossref  mathscinet  zmath  scopus 14
96. L. D. Beklemishev, “On the complexity of arithmetical interpretations of modal formulae”, Arch. Math. Logic, 32:3 (1993), 229–238  crossref  mathscinet  zmath  isi  elib  scopus 5
97. L. Beklemishev, “Review of papers by D. de Jongh, F. Montagna, and A. Carbone”, The Journal of Symbolic Logic, 58 (1993), 715–717  scopus

   1992
98. Л. Д. Беклемишев, “Независимые нумерации теорий и рекурсивных прогрессий”, Сиб. матем. журн., 33:5 (1992), 22–46  mathnet  mathscinet  zmath  isi; L. D. Beklemishev, “Independent enumerations of theories and recursive progressions”, Siberian Math. J., 33:5 (1992), 760–783  crossref  mathscinet  zmath  isi  isi  scopus 1
99. Л. Д. Беклемишев, Классификация пропозициональных логик доказуемости, Дисс. … канд. физ.-матем. наук, Математический институт им. В.А. Стеклова РАН, Москва, 1992

   1991
100. L. D. Beklemishev, “Provability logics for natural Turing progressions of arithmetical theories”, Studia Logica, 50:1 (1991), 107–128  crossref  mathscinet  elib  scopus 11

   1989
101. Л. Д. Беклемишев, “О классификации пропозициональных логик доказуемости”, Изв. АН СССР. Сер. матем., 53:5 (1989), 915–943  mathnet  mathscinet  zmath  isi; L. D. Beklemishev, “On the classification of propositional provability logics”, Math. USSR-Izv., 35:2 (1990), 247–275  crossref  mathscinet  zmath  isi  scopus 9
102. Л. Д. Беклемишев, “Логика доказуемости без интерполяционного свойства Крейга”, Матем. заметки, 45:6 (1989), 12–22  mathnet  mathscinet  zmath  isi; L. D. Beklemishev, “Provability logic without Craig's interpolation property”, Math. Notes, 45:6 (1989), 437–450  crossref  mathscinet  zmath  isi  scopus 1

   1987
103. Л. Д. Беклемишев, “Нормализация выводов и интерполяция для некоторых логик доказуемости”, УМН, 42:6(258) (1987), 179–180  mathnet  mathscinet  zmath  adsnasa  isi; L. D. Beklemishev, “Normalization of deductions and interpolation for some logics of provability”, Russian Math. Surveys, 42:6 (1987), 223–224  crossref  mathscinet  zmath  adsnasa  isi  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. Логика и топология: родственные связи. Семинар 4
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2024
26 июля 2024 г. 12:45   
2. Логика и топология: родственные связи. Семинар 3
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2024
25 июля 2024 г. 09:30   
3. Логика и топология: родственные связи. Семинар 2
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2024
23 июля 2024 г. 15:30   
4. Логика и топология: родственные связи. Семинар 1
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2024
22 июля 2024 г. 09:30   
5. Лекция 14. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
21 мая 2024 г. 16:00   
6. Отдел математической логики
Л. Д. Беклемишев
МИАН-90
15 мая 2024 г. 10:00   
7. Лекция 13. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
14 мая 2024 г. 16:00   
8. Лекция 12. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
7 мая 2024 г. 16:00   
9. Лекция 11. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
23 апреля 2024 г. 16:00   
10. Лекция 10. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
16 апреля 2024 г. 16:00   
11. Лекция 9. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
9 апреля 2024 г. 16:00   
12. Лекция 8. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
2 апреля 2024 г. 16:00   
13. Лекция 7. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
26 марта 2024 г. 16:00   
14. Лекция 6. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
19 марта 2024 г. 16:00   
15. Лекция 5. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
12 марта 2024 г. 16:00   
16. Лекция 4. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
5 марта 2024 г. 16:00   
17. Лекция 3. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
27 февраля 2024 г. 16:00
18. Лекция 2. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
20 февраля 2024 г. 16:00   
19. Лекция 1. Введение в теорию моделей
Л. Д. Беклемишев
Курс Л. Д. Беклемишева "Введение в теорию моделей"
13 февраля 2024 г. 16:00   
20. Лекция 13. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
12 декабря 2023 г. 16:45   
21. Лекция 12. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
5 декабря 2023 г. 16:45   
22. Лекция 11. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
21 ноября 2023 г. 16:45   
23. Лекция 10. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
14 ноября 2023 г. 16:45   
24. Лекция 9. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
7 ноября 2023 г. 16:45   
25. Лекция 8. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
31 октября 2023 г. 16:45   
26. Лекция 7. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
24 октября 2023 г. 16:45   
27. Лекция 6. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
17 октября 2023 г. 16:45   
28. Лекция 5. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
10 октября 2023 г. 16:45   
29. Лекция 4. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
3 октября 2023 г. 16:45   
30. General topological frames for polymodal provability logic based on periodic sets of ordinals
L. D. Beklemishev, Yunsong Wang
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
2 октября 2023 г. 18:30   
31. Лекция 3. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
26 сентября 2023 г. 16:45   
32. Лекция 2. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
19 сентября 2023 г. 16:45   
33. Лекция 1. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
12 сентября 2023 г. 16:45   
34. Гёдель и антигёдель: о граничных условиях теорем Гёделя о неполноте
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2023
27 июля 2023 г. 17:15   
35. Быстрорастущие функции и недоказуемые комбинаторные утверждения
Л. Д. Беклемишев
Конференция «Колмогоров-120. МИАН»
26 апреля 2023 г. 13:20   
36. Reflection algebras and conservativity spectra of theories
L. D. Beklemishev
Beijing–Moscow Mathematics Colloquium
7 апреля 2023 г. 12:00
37. Алгебры рефлексии для предикативных расширений арифметики Пеано
Л. Д. Беклемишев
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
16 февраля 2023 г. 16:00   
38. Лекция 13. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
13 декабря 2022 г. 14:45   
39. Алгебры рефлексии для предикативных расширений арифметики Пеано
Л. Д. Беклемишев, Ф. Н. Пахомов
Научная сессия МИАН, посвященная подведению итогов 2022 года
23 ноября 2022 г. 11:00   
40. Лекция 11. Доказуемость и формальная арифметика
Л. Д. Беклемишев
Доказуемость и формальная арифметика
22 ноября 2022 г. 14:45   
41. Лекция 10. Доказуемость и формальная арифметика
Л. Д. Беклемишев
Доказуемость и формальная арифметика
15 ноября 2022 г. 14:45   
42. Лекция 8. Доказуемость и формальная арифметика
Л. Д. Беклемишев
Доказуемость и формальная арифметика
1 ноября 2022 г. 14:45   
43. Лекция 7. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
25 октября 2022 г. 14:45   
44. Лекция 6. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
18 октября 2022 г. 14:45   
45. Лекция 5. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
11 октября 2022 г. 14:45   
46. Лекция 4. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
4 октября 2022 г. 14:45   
47. Лекция 3. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
27 сентября 2022 г. 14:45   
48. Лекция 2. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
20 сентября 2022 г. 14:45   
49. Лекция 1. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
13 сентября 2022 г. 14:45   
50. Беседы об основаниях математики. Беседа 2
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2022
27 июля 2022 г. 18:45   
51. Беседы об основаниях математики. Беседа 1
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2022
26 июля 2022 г. 18:45   
52. Reading Kreisel: what we do (not) understand
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
28 марта 2022 г. 18:30   
53. Conservativity spectra and generalized Ignatiev model
L. D. Beklemishev
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
14 марта 2022 г. 18:30   
54. Лекция 1. Неклассические логики
Л. Д. Беклемишев
Неклассические логики
8 февраля 2022 г. 14:45   
55. Лекция 14. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
14 декабря 2021 г. 14:45   
56. Лекция 13. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
7 декабря 2021 г. 14:45   
57. Лекция 12. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
30 ноября 2021 г. 14:45   
58. Лекция 11. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
23 ноября 2021 г. 14:45   
59. Лекция 10. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
16 ноября 2021 г. 14:45   
60. Лекция 9. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
9 ноября 2021 г. 14:45   
61. Лекция 8. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
2 ноября 2021 г. 14:45   
62. Лекция 7. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
26 октября 2021 г. 14:45   
63. Лекция 6. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
19 октября 2021 г. 14:45   
64. Лекция 5. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
12 октября 2021 г. 14:45
65. Лекция 4. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
5 октября 2021 г. 14:45   
66. Лекция 3. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
28 сентября 2021 г. 14:45   
67. Лекция 2. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
21 сентября 2021 г. 14:45   
68. Лекция 1. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
14 сентября 2021 г. 14:45   
69. Модели и интерпретации. Семинар
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2021
29 июля 2021 г. 09:30   
70. Модели и интерпретации. Лекция
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2021
27 июля 2021 г. 09:30   
71. Лекция 14. Аспекты теоремы о неполноте
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
22 декабря 2020 г. 14:30   
72. Лекция 13. Доказуемость как модальность
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
15 декабря 2020 г. 14:30   
73. Лекция 12. Формализация синтаксиса в арифметике
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
8 декабря 2020 г. 14:30   
74. Лекция 11. Доказуемо рекурсивные функции
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
1 декабря 2020 г. 14:30   
75. Лекция 10. Неподвижная точка Россера
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
24 ноября 2020 г. 14:30   
76. Лекция 9. Теорема Лёба и вторая теорема Гёделя о неполноте
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
17 ноября 2020 г. 14:30   
77. Лекция 8. Лемма о диагонализации
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
10 ноября 2020 г. 14:30   
78. Лекция 7. Представимость функций
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
3 ноября 2020 г. 14:30   
79. Лекция 6. Теорема Гёделя-Россера
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
27 октября 2020 г. 14:30   
80. Лекция 5. Первая теорема Гёделя о неполноте
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
20 октября 2020 г. 14:30   
81. Лекция 4. Определимость перечислимых предикатов арифметическими $\Sigma_1$-формулами
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
13 октября 2020 г. 14:30   
82. Лекция 3.Определимость в языке арифметики
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
6 октября 2020 г. 14:30   
83. Лекция 2. Слабые фрагменты арифметики Пеано и их модели
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
29 сентября 2020 г. 14:30   
84. Лекция 1. Язык и аксиомы арифметики Пеано
Л. Д. Беклемишев
Спецкурс "Доказуемость и формальная арифметика"
сентябрь 2020 г. 14:30   
85. Вступительное слово
Л. Д. Беклемишев
Мемориальная конференция памяти С. И. Адяна
26 мая 2020 г. 14:55
86. Лекция 21. Применения функциональной интерпретации. Интерпретация отсутствием контрпримера. Модели системы Т
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
12 мая 2020 г. 16:30   
87. Лекция 20. Гёделевская система Т. Интерпретация формальной арифметики в Т (продолжение)
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
28 апреля 2020 г. 16:30   
88. Лекция 19. Гёделевская система $Т$. Функциональная интерпретация интуиционистской арифметики в $Т$
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
21 апреля 2020 г.   
89. Лекция 18. Интуиционистская арифметика
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
14 апреля 2020 г. 16:30   
90. Лекция 17. Примитивно рекурсивная арифметика
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
7 апреля 2020 г.   
91. Лекция 16. Негативная интерпретация классической логики в интуиционистской
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
26 марта 2020 г. 16:00   
92. Лекция 15. Интуиционистское исчисление предикатов. Гильбертовский и генценовский формат. Теорема об устранении сечения. Дизъюнктивное и экзистенциальное свойства интуиционистской логики.
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
23 марта 2020 г. 16:30   
93. Лекция 13. Слабо экстенсиональные лямбда-алгебры. Модель Плоткина $\mathcal{P}\omega$.
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
2 марта 2020 г. 16:30   
94. Лекция 12. Комбинаторные алгебры, лямбда-алгебры.
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
17 февраля 2020 г. 16:30   
95. Лекция 11. Модели лямбда-исчисления
Л. Д. Беклемишев, С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
10 февраля 2020 г. 16:30   
96. Лекция 10. Комбинаторная логика
Л. Д. Беклемишев
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
9 декабря 2019 г. 16:30   
97. Об открытых вопросах теории доказательств
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
14 октября 2019 г.
98. Лекция 1.Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении
Л. Д. Беклемишев, С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
30 сентября 2019 г.   
99. Итерированные определения истинности и исчисление рефлексий
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
29 апреля 2019 г. 18:30   
100. Лекция 16. Соотношение между принципом Червя и доказуемо-вычислимыми функциями PA.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
4 марта 2019 г. 16:30   
101. Лекция 15. Теоретико-доказательственный анализ $\mathsf{PA}$ с помощью схем рефлексии.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
25 февраля 2019 г. 16:30   
102. Ординалы и спектры консервативности арифметических теорий
Л. Д. Беклемишев
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
21 февраля 2019 г. 16:00   
103. Лекция 14. Лемма о редукции для схем рефлексии.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
18 февраля 2019 г. 16:30   
104. Лекция 13. Доказуемо вычислимые функции $\mathsf{PA}$, принцип Червя, схемы рефлексии.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
11 февраля 2019 г. 16:30   
105. Лекция 9. Иерархия Веблена.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
26 ноября 2018 г. 16:30   
106. Исчисление для схем рефлексии и спектры консервативности
Л. Д. Беклемишев
Научная сессия МИАН, посвященная подведению итогов 2018 года
21 ноября 2018 г. 14:00   
107. Лекция 8. Ординалы. Канторовская система ординальных обозначений для ординала $\varepsilon_0$.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
19 ноября 2018 г. 16:30   
108. Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 2).
Ф. Н. Пахомов, Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
12 ноября 2018 г. 16:30   
109. О спектрах консервативности арифметических теорий
Л. Д. Беклемишев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
6 ноября 2018 г. 18:30
110. Как теория доказательств пришла к своим ординалам
Л. Д. Беклемишев
Межкафедральный семинар МФТИ по дискретной математике
17 октября 2018 г. 18:30
111. Лекция 4. Исчисление секвенций в формате Тейта и теорема о полноте для него.
Л. Д. Беклемишев, Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
15 октября 2018 г. 16:30   
112. Лекция 3. Доказуемо вычислимые функции теории $\mathsf{EA}$.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
8 октября 2018 г. 16:30   
113. Лекция 2. Арифметка элементарных функций $\mathsf{EA}$.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
1 октября 2018 г. 16:30   
114. Лекция 1. Программа Гильберта и основания математики. Элементарные по Кальмару функции.
Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
24 сентября 2018 г. 16:30   
115. Доказуемо рекурсивные функции, занятие 4
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2018
25 июля 2018 г. 11:15   
116. Доказуемо рекурсивные функции, занятие 3
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2018
24 июля 2018 г. 15:30   
117. Доказуемо рекурсивные функции, занятие 2
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2018
22 июля 2018 г. 11:15   
118. Доказуемо рекурсивные функции, занятие 1
Л. Д. Беклемишев
Летняя школа «Современная математика» имени Виталия Арнольда, 2018
21 июля 2018 г. 17:15   
119. Об универсальной модели Крипке для позитивной логики доказуемости с операторами, выражающими консервативность
Л. Д. Беклемишев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
24 октября 2017 г. 18:30
120. Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
13 марта 2017 г. 18:30
121. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
28 ноября 2016 г. 18:30
122. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
21 ноября 2016 г. 18:30
123. О позитивной логике доказуемости с операторами, выражающими консервативность
Л. Д. Беклемишев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
1 ноября 2016 г. 18:30
124. Строго позитивные фрагменты модальных и дескрипционных логик
Лев Беклемишев
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
20 сентября 2016 г. 18:10   
125. Доказуемость и модальная логика. Занятие 4
Л. Д. Беклемишев
Летняя школа «Современная математика», 2016
27 июля 2016 г. 11:15   
126. Доказуемость и модальная логика. Занятие 3
Л. Д. Беклемишев
Летняя школа «Современная математика», 2016
26 июля 2016 г. 15:30   
127. Доказуемость и модальная логика. Занятие 2
Л. Д. Беклемишев
Летняя школа «Современная математика», 2016
24 июля 2016 г. 11:15   
128. Доказуемость и модальная логика. Занятие 1
Л. Д. Беклемишев
Летняя школа «Современная математика», 2016
22 июля 2016 г. 11:15   
129. Positive provability logic and reflection calculus
Л. Д. Беклемишев
Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна
19 июля 2016 г. 11:00   
130. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение)
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
14 марта 2016 г. 18:30
131. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
29 февраля 2016 г. 18:30
132. Логика интерпретируемости. Часть 2
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
23 ноября 2015 г. 18:30
133. Логика интерпретируемости. Часть 1
Л. Д. Беклемишев
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
16 ноября 2015 г. 18:30
134. Интерпретации моделей и логических теорий
Л. Д. Беклемишев
Межкафедральный семинар МФТИ по дискретной математике
21 октября 2015 г.
135. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко; продолжение)
Л. Д. Беклемишев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
19 мая 2015 г. 18:30
136. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко)
Л. Д. Беклемишев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
12 мая 2015 г. 18:30
137. Позитивная логика для схем рефлексии в арифметике
Л. Д. Беклемишев
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
22 января 2015 г. 16:00   
138. Позитивная логика для схем рефлексии в арифметике
Л. Д. Беклемишев
Научная сессия МИАН, посвященная подведению итогов 2014 года
12 ноября 2014 г. 12:00   
139. Доказуемость и разреженная топология
Л. Д. Беклемишев
Межкафедральный семинар МФТИ по дискретной математике
22 октября 2014 г.
140. Элементарная геометрия с точки зрения логики. Лекция 3
Л. Д. Беклемишев
Летняя школа «Современная математика», 2014
23 июля 2014 г. 17:00   
141. Элементарная геометрия с точки зрения логики. Лекция 2
Л. Д. Беклемишев
Летняя школа «Современная математика», 2014
21 июля 2014 г. 11:15   
142. Элементарная геометрия с точки зрения логики. Лекция 1
Л. Д. Беклемишев
Летняя школа «Современная математика», 2014
20 июля 2014 г. 17:00   
143. О позитивных логиках доказуемости
Л. Д. Беклемишев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
10 декабря 2013 г. 18:30
144. Доказуемо рекурсивные функции
Л. Д. Беклемишев
Общеинститутский семинар «Коллоквиум МИАН»
5 декабря 2013 г. 16:00   
145. Что такое логика доказуемости?
Л. Д. Беклемишев
Летняя школа «Современная математика», 2013
21 июля 2013 г. 12:45   
146. Прогрессии Тьюринга
Л. Д. Беклемишев
Межкафедральный семинар МФТИ по дискретной математике
17 апреля 2013 г. 18:30   
147. Об арифметически полном исчислении для равномерных схем рефлексии
Л. Д. Беклемишев
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
19 марта 2013 г. 18:30
148. Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 4
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
26 июля 2012 г. 15:30   
149. Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 3
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
25 июля 2012 г. 15:30   
150. Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 2
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
24 июля 2012 г. 11:15   
151. Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 1
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
22 июля 2012 г. 17:00   
152. Быстрорастущие функции («быстрее, выше, сильнее»). Вводная лекция
Л. Д. Беклемишев
Летняя школа «Современная математика», 2012
21 июля 2012 г. 11:15   
153. Алгебры доказуемости
Л. Д. Беклемишев
Заседания Московского математического общества
28 февраля 2012 г. 18:30
154. Алгебры доказуемости
Л. Д. Беклемишев
Семинар «Глобус» (записи с 2011 года)
16 февраля 2012 г. 15:40   
155. Алгебра доказуемости и разреженная топология
Л. Д. Беклемишев
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
17 декабря 2009 г. 12:50   
156. Алгебры доказуемости и фрагменты арифметики
Л. Д. Беклемишев
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
19 октября 2006 г. 16:00   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024