Beklemishev Lev Dmitrievich

Presentations in Math-Net.Ru

1. Lecture 12. Non-Standard Models of Arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   December 16, 2025 16:00   
2. Lecture 11. Non-Standard Models of Arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   December 9, 2025 16:00   
3. Lecture 10. Non-Standard Models of Arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   December 2, 2025 16:00   
4. Lecture 9. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   November 25, 2025 16:00   
5. Lecture 8. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   November 18, 2025 16:00   
6. Lecture 7. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   November 11, 2025 16:00   
7. Lecture 6. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   October 28, 2025 16:00   
8. Lecture 5. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   October 21, 2025 16:00   
9. Lecture 4. Non-standard models of arithmetic
   L. D. Beklemishev, S. O. Speranski
   Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
   October 7, 2025 16:00   
10. Lecture 3. Non-standard models of arithmetic
    L. D. Beklemishev, S. O. Speranski
    Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
    September 30, 2025 16:00   
11. Lecture 2. Non-standard models of arithmetic
    L. D. Beklemishev, S. O. Speranski
    Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
    September 23, 2025 16:00   
12. Lecture 1. Non-standard models of arithmetic
    L. D. Beklemishev, S. O. Speranski
    Course by L. D. Beklemishev and S. O. Speranski "Non-Standard Models of Arithmetic"
    September 16, 2025 16:00   
13. Lecture 11. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    May 21, 2025 16:00   
14. Lecture 10. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    May 14, 2025 16:00   
15. Lecture 9. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    April 23, 2025 18:45   
16. Lecture 8. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    April 16, 2025 16:00   
17. Fragments of arithmetic and cyclic proofs
    L. D. Beklemishev
    Seminars "Proof Theory" and "Logic Online Seminar"
    April 14, 2025 16:00   
18. Lecture 7. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    April 9, 2025 16:00   
19. Lecture 6. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    April 2, 2025 16:30   
20. Lecture 5. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    March 12, 2025 16:00
21. Lecture 4. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    March 5, 2025 16:00   
22. Lecture 3. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    February 26, 2025 16:00   
23. Lecture 2. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    February 19, 2025 16:00   
24. Lecture 1. Introduction to Model Theory. Part II
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory. Part II"
    February 12, 2025 16:00   
25. Lecture 14. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    May 21, 2024 16:00   
26. Lecture 13. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    May 14, 2024 16:00   
27. Lecture 12. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    May 7, 2024 16:00   
28. Lecture 11. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    April 23, 2024 16:00   
29. Lecture 10. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    April 16, 2024 16:00   
30. Lecture 9. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    April 9, 2024 16:00   
31. Lecture 8. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    April 2, 2024 16:00   
32. Lecture 7. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    March 26, 2024 16:00   
33. Lecture 6. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    March 19, 2024 16:00   
34. Lecture 5. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    March 12, 2024 16:00   
35. Lecture 4. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    March 5, 2024 16:00   
36. Lecture 3. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    February 27, 2024 16:00
37. Lecture 2. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    February 20, 2024 16:00   
38. Lecture 1. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    February 13, 2024 16:00   
39. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    December 12, 2023 16:45   
40. Lecture 12. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    December 5, 2023 16:45   
41. Lecture 11. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    November 21, 2023 16:45   
42. Lecture 10. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    November 14, 2023 16:45   
43. Lecture 9. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    November 7, 2023 16:45   
44. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 31, 2023 16:45   
45. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 24, 2023 16:45   
46. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 17, 2023 16:45   
47. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 10, 2023 16:45   
48. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 3, 2023 16:45   
49. General topological frames for polymodal provability logic based on periodic sets of ordinals
    L. D. Beklemishev, Yunsong Wang
    Seminars "Proof Theory" and "Logic Online Seminar"
    October 2, 2023 18:30   
50. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 26, 2023 16:45   
51. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 19, 2023 16:45   
52. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 12, 2023 16:45   
53. Reflection algebras and conservativity spectra of theories
    L. D. Beklemishev
    Beijing–Moscow Mathematics Colloquium
    April 7, 2023 12:00
54. Reflection Algebras for Predicative Extensions of Peano Arithmetic
    L. D. Beklemishev
    Steklov Mathematical Institute Seminar
    February 16, 2023 16:00   
55. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 13, 2022 14:45   
56. Lecture 11. Provability and Formal Arithmetic
    L. D. Beklemishev
    Provability and Formal Arithmetic
    November 22, 2022 14:45   
57. Lecture 10. Provability and Formal Arithmetic
    L. D. Beklemishev
    Provability and Formal Arithmetic
    November 15, 2022 14:45   
58. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev
    Provability and Formal Arithmetic
    November 1, 2022 14:45   
59. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 25, 2022 14:45   
60. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 18, 2022 14:45   
61. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 11, 2022 14:45   
62. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 4, 2022 14:45   
63. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 27, 2022 14:45   
64. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 20, 2022 14:45   
65. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 13, 2022 14:45   
66. Conservativity spectra and generalized Ignatiev model
    L. D. Beklemishev
    Seminars "Proof Theory" and "Logic Online Seminar"
    March 14, 2022 18:30   
67. Lecture 1. Nonclassical Logics
    L. D. Beklemishev
    Nonclassical Logics
    February 8, 2022 14:45   
68. Lecture 14. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 14, 2021 14:45   
69. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 7, 2021 14:45   
70. Lecture 12. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 30, 2021 14:45   
71. Lecture 11. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 23, 2021 14:45   
72. Lecture 10. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 16, 2021 14:45   
73. Lecture 9. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 9, 2021 14:45   
74. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 2, 2021 14:45   
75. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 26, 2021 14:45   
76. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 19, 2021 14:45   
77. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 12, 2021 14:45
78. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 5, 2021 14:45   
79. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 28, 2021 14:45   
80. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 21, 2021 14:45   
81. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 14, 2021 14:45   
82. Introductory words
    L. D. Beklemishev
    S. I. Adian Memorial Conference
    May 26, 2020 14:55
83. Lecture 21. Applications of functional interpretation. Interpretation by absence of counterexample. T system models
    L. D. Beklemishev
    L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
    May 12, 2020 16:30   
84. Ordinals and conservativity spectra of arithmetical theories
    L. D. Beklemishev
    Steklov Mathematical Institute Seminar
    February 21, 2019 16:00   
85. Strictly positive fragments of modal and description logic
    L. D. Beklemishev
    Colloquium of the Faculty of Computer Science
    September 20, 2016 18:10   
86. Positive logic for reflection principles in arithmetic
    L. D. Beklemishev
    Steklov Mathematical Institute Seminar
    January 22, 2015 16:00   
87. Positive logic for reflection principles in arithmetic
    L. D. Beklemishev
    Scientific session of the Steklov Mathematical Institute dedicated to the results of 2014
    November 12, 2014 12:00   
88. Probably recursive functions
    L. D. Beklemishev
    Colloquium of Steklov Mathematical Institute of Russian Academy of Sciences
    December 5, 2013 16:00   
89. On an arithmetically complete calculus for uniform reflection schemata
    L. D. Beklemishev
    "Algorithmic problems in algebra and logic" (S.I.Adian seminar)
    March 19, 2013 18:30
90. Fast-growing functions (“Faster, higher, stronger”). Lecture 4
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 26, 2012 15:30   
91. Fast-growing functions (“Faster, higher, stronger”). Lecture 3
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 25, 2012 15:30   
92. Fast-growing functions (“Faster, higher, stronger”). Lecture 2
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 24, 2012 11:15   
93. Fast-growing functions (“Faster, higher, stronger”). Lecture 1
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 22, 2012 17:00   
94. Fast-growing functions (“Faster, higher, stronger”). Introductory lecture
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 21, 2012 11:15   
95. Provability algebras
    L. D. Beklemishev
    Globus Seminar
    February 16, 2012 15:40   
96. Provability algebra and sparse topology
    L. D. Beklemishev
    Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
    December 17, 2009 12:50   
97. Provability algebras and fragments of arithmetic
    L. D. Beklemishev
    Steklov Mathematical Institute Seminar
    October 19, 2006 16:00