Beklemishev Lev Dmitrievich

Presentations in Math-Net.Ru

1. Lecture 14. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   May 21, 2024 16:00   
2. Lecture 13. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   May 14, 2024 16:00   
3. Lecture 12. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   May 7, 2024 16:00   
4. Lecture 11. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   April 23, 2024 16:00   
5. Lecture 10. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   April 16, 2024 16:00   
6. Lecture 9. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   April 9, 2024 16:00   
7. Lecture 8. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   April 2, 2024 16:00   
8. Lecture 7. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   March 26, 2024 16:00   
9. Lecture 6. Introduction to Model Theory
   L. D. Beklemishev
   Course by L. D. Beklemishev "Introduction to Model Theory"
   March 19, 2024 16:00   
10. Lecture 5. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    March 12, 2024 16:00   
11. Lecture 4. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    March 5, 2024 16:00   
12. Lecture 3. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    February 27, 2024 16:00
13. Lecture 2. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    February 20, 2024 16:00   
14. Lecture 1. Introduction to Model Theory
    L. D. Beklemishev
    Course by L. D. Beklemishev "Introduction to Model Theory"
    February 13, 2024 16:00   
15. 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   
16. 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   
17. 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   
18. 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   
19. 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   
20. 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   
21. 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   
22. 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   
23. 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   
24. 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   
25. 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   
26. 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   
27. 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   
28. 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   
29. Reflection algebras and conservativity spectra of theories
    L. D. Beklemishev
    Beijing–Moscow Mathematics Colloquium
    April 7, 2023 12:00
30. Reflection Algebras for Predicative Extensions of Peano Arithmetic
    L. D. Beklemishev
    Steklov Mathematical Institute Seminar
    February 16, 2023 16:00   
31. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 13, 2022 14:45   
32. Lecture 11. Provability and Formal Arithmetic
    L. D. Beklemishev
    Provability and Formal Arithmetic
    November 22, 2022 14:45   
33. Lecture 10. Provability and Formal Arithmetic
    L. D. Beklemishev
    Provability and Formal Arithmetic
    November 15, 2022 14:45   
34. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev
    Provability and Formal Arithmetic
    November 1, 2022 14:45   
35. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 25, 2022 14:45   
36. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 18, 2022 14:45   
37. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 11, 2022 14:45   
38. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 4, 2022 14:45   
39. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 27, 2022 14:45   
40. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 20, 2022 14:45   
41. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 13, 2022 14:45   
42. Conservativity spectra and generalized Ignatiev model
    L. D. Beklemishev
    Seminars "Proof Theory" and "Logic Online Seminar"
    March 14, 2022 18:30   
43. Lecture 1. Nonclassical Logics
    L. D. Beklemishev
    Nonclassical Logics
    February 8, 2022 14:45   
44. Lecture 14. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 14, 2021 14:45   
45. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 7, 2021 14:45   
46. Lecture 12. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 30, 2021 14:45   
47. Lecture 11. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 23, 2021 14:45   
48. Lecture 10. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 16, 2021 14:45   
49. Lecture 9. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 9, 2021 14:45   
50. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 2, 2021 14:45   
51. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 26, 2021 14:45   
52. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 19, 2021 14:45   
53. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 12, 2021 14:45
54. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 5, 2021 14:45   
55. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 28, 2021 14:45   
56. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 21, 2021 14:45   
57. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 14, 2021 14:45   
58. Introductory words
    L. D. Beklemishev
    S. I. Adian Memorial Conference
    May 26, 2020 14:55
59. 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   
60. Ordinals and conservativity spectra of arithmetical theories
    L. D. Beklemishev
    Steklov Mathematical Institute Seminar
    February 21, 2019 16:00   
61. Strictly positive fragments of modal and description logic
    L. D. Beklemishev
    Colloquium of the Faculty of Computer Science
    September 20, 2016 18:10   
62. Positive logic for reflection principles in arithmetic
    L. D. Beklemishev
    Steklov Mathematical Institute Seminar
    January 22, 2015 16:00   
63. 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   
64. Probably recursive functions
    L. D. Beklemishev
    Colloquium of Steklov Mathematical Institute of Russian Academy of Sciences
    December 5, 2013 16:00   
65. 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
66. Fast-growing functions (“Faster, higher, stronger”). Lecture 4
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 26, 2012 15:30   
67. Fast-growing functions (“Faster, higher, stronger”). Lecture 3
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 25, 2012 15:30   
68. Fast-growing functions (“Faster, higher, stronger”). Lecture 2
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 24, 2012 11:15   
69. Fast-growing functions (“Faster, higher, stronger”). Lecture 1
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 22, 2012 17:00   
70. Fast-growing functions (“Faster, higher, stronger”). Introductory lecture
    L. D. Beklemishev
    Summer School "Contemporary Mathematics", 2012
    July 21, 2012 11:15   
71. Provability algebras
    L. D. Beklemishev
    Globus Seminar
    February 16, 2012 15:40   
72. Provability algebra and sparse topology
    L. D. Beklemishev
    Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
    December 17, 2009 12:50   
73. Provability algebras and fragments of arithmetic
    L. D. Beklemishev
    Steklov Mathematical Institute Seminar
    October 19, 2006 16:00