Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  


Seminars "Proof Theory" and "Logic Online Seminar"
online via Zoom, Steklov Mathematical Institute, Moscow

Proof Theory seminar is a working seminar aimed, among others, at graduate and PhD students. The purpose of the seminar is to jointly look into the details of new or old but important results. Very often, talks extend to two consequtive meetings of the seminar (two academic hours each). The topics are not exclusively Proof Theory related, they include non-classical logics, modal logic and universal algebra, set theory, etc. The working language is mostly Russian, depending on the speaker and those in the audience.

Logic Online Seminar of Steklov Mathematical Institute features online talks presented by international speakers on a broad range of Logic related topics. Logic Online Seminar is hosted by the Department of Mathematical Logic of Steklov Mathematical Institute and Steklov International Mathematical Center. Logic Online Seminar has been established in 2014 and featured online talks by Sergei Artemov, Michael Rathjen, Stephen Simpson, Albert Visser, among others. Our working language is English. The seminar is endorsed by the Proof Society.

The seminars usually take place on Monday at 18:30 MSK, Room 530, Steklov Mathematical Institute, Gubkina str. 8, Moscow, Russia.

Join our mailing lists: Mathlogic-Moscow, mailing lists of several seminars on Mathematical Logic (including the Proof Theory seminar) at Steklov Mathematical Institute of RAS, Moscow M.V. Lomonosov State University, and National Research University Higher School of Economics.

Logic Online Seminar Moscow, join this group if you only want to receive notifications about online talks of the Logic Online Seminar and possibly other online talks in English.

Announcements

In view of quarantine measures in Moscow, since 23.03.2020 we switch to the Logic Online Seminar format. Talks will be presented online via Zoom platform.

Recent talks

06.04.2020 David Fernández-Duque (University of Ghent): Goodstein principles of intermediate strength

13.04.2020 Dexter Kozen (Cornell University): On Free ω-Continuous and Regular Ordered Algebras

20.04.2020 Stanislav O. Speranski (St. Petersburg State University & Steklov Mathematical Institute): Negation as a modality in a quantified setting

27.04.2020 Guram Bezhanishvili (New Mexico State University): Existence of measurable cardinals and modal logic

4.05.2020 Johann Makowsky (Technion, Haifa): Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday)

18.05.2020 Gabriel Nivasch (Ariel University, Israel): Fusible numbers and Peano Arithmetic

26-27.05.2020 Everyone is invited to attend S.I. Adian memorial conference.

22.06.2020: Daniyar Shamkanov (Steklov Mathematical Institute). On global neighbourhood completeness of provability logic GLP. (in Russian)

06.07.2020 Andreas Weiermann (University of Ghent): Giant and illusionary giant Goodstein principles

13.07.2020 David Bélanger (University of Ghent): A more uniform Friedberg-Muchnik theorem

12.10.2020 Ali Enayat (University of Gothenburg): Set theory with a proper class of indiscernibles

19.10.2020 Fedor Pakhomov (Steklov Mathematical Institute and University of Ghent): Iterated ω-model reflection and Π¹₂ proof-theoretic analysis.

26.10.2020 Stepan Kuznetsov (Steklov Mathematical Institute): Decidable fragments of the Lambek calculus with subexponentials

27.10.2020 S.I. Adian Seminar, 18:30 MSK (UTC+3), A.A. Razborov (University of Chicago and Steklov Mathematical Institute): SAT Solvers and Ordered Decision Strategies

02.11.2020 Anna Dmitrieva (ILLC, University of Amsterdam): Axiomatizing Origami planes

09.11.2020 Christian Wurm (HHU Düsseldorf): Language-theoretic models for the Full Lambek calculus

17-18.11.2020 Logical Perspectives Open Lectures: Yuri Gurevich, Anil Nerode, Barbara Partee.

23.11.2020 Guram Bezhanishvili (New Mexico State University): Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities

30.11.2020 Tadeusz Litak (Friedrich-Alexander Universität Erlangen-Nürnberg): Describable Nuclei, Negative Translations and Extension Stability

07.12.2020 Tadeusz Litak: Describable Nuclei, Negative Translations and Extension Stability (continuation)

14.12.2020 Albert Visser (Utrecht University): Cyclic Henkin Logic

21.12.2020 Albert Visser: Cyclic Henkin Logic (continuation)

18.01.2021 Rosalie Iemhoff (University of Utrecht): The role of uniform interpolation in structural proof theory

15.02.2021 Wei Chen (Huawei, Edinburgh): Automated Mathematical Theorem Proving

01.03.2021 Maxim Vishnikin (MSU): Basic categorial grammars with unique type assignments (in Russian)

15.03.2021 Wesley H. Holliday (University of California, Berkeley): Logics of Imprecise Comparative Probability

22.03.21 Joost J. Joosten (University of Barcelona): Quantified reflection calculus with one modality is decidable

12.04.21 Fedor N. Pakhomov (University of Ghent and Steklov Mathematical Institute): Generalized Fusible Numbers

24.05.21 I.B. Shapirovsky (IITP RAS and New Mexico State University) On finite model property and complexity of logics of sums of Kripke frames (in Russian)

7-11.06.2021 Logical Perspectives 2021 Conference, everyone is invited to attend. Register via the website.

Forthcoming talks

04.10.21 Victor L. Selivanov (IIS SB RAS and Novosibirsk State University) Primitive Recursive Ordered Fields and Some Applications

Abstract. We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals and apply them to several problems of algebra and analysis. In particular, we find a primitive recursive analogue of Ershov-Madison's theorem about the computable real closure, relate primitive recursive fields of reals to the field of primitive recursive reals, give sufficient conditions for primitive recursive root-finding and for computing spectral decompositions of matrices, which applies to computing solution operators of symmetric hyperbolic systems of partial differential equations.

The login information to join the Zoom meetings of Logic Online Seminar is available via the mailing lists above.

Financial support. The seminar is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2019-1614).

Website: https://www.youtube.com/playlist?list=PLUbD59ZHv1GQZzqUyqtjoYp5BxbOQw3d2
RSS: Forthcoming seminars

Seminar organizer
Beklemishev Lev Dmitrievich

Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center


Seminars "Proof Theory" and "Logic Online Seminar", Steklov Mathematical Institute, Moscow

May 24, 2021 (Mon)
1. О финитной аппроксимируемости и сложности логик сумм шкал Крипке
I. B. Shapirovsky
May 24, 2021 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
  

April 12, 2021 (Mon)
2. Generalized Fusible Numbers
F. N. Pakhomov
April 12, 2021 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
  

March 22, 2021 (Mon)
3. Quantified reflection calculus with one modality is decidable
Joost J. Joosten
March 22, 2021 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
  

March 15, 2021 (Mon)
4. Logics of Imprecise Comparative Probability
W. H. Holliday
March 15, 2021 19:00, Steklov Mathematical Institute, Moscow, online via Zoom
W. H. Holliday
  

February 15, 2021 (Mon)
5. Automated Mathematical Theorem Proving
Wei Chen
February 15, 2021 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Wei Chen
  

January 18, 2021 (Mon)
6. The role of uniform interpolation in structural proof theory
R. Iemhoff
January 18, 2021 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
R. Iemhoff
  

December 21, 2020 (Mon)
7. Cyclic Henkin Logic (continuation)
A. Visser
December 21, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 14, 2020 (Mon)
8. Cyclic Henkin Logic
A. Visser
December 14, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
A. Visser
  

December 7, 2020 (Mon)
9. Describable Nuclea, Negative Translations and Extension Stability (continuation)
Tadeusz Litak
December 7, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Tadeusz Litak
  

November 30, 2020 (Mon)
10. Describable Nuclea, Negative Translations and Extension Stability
Tadeusz Litak
November 30, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Tadeusz Litak
  

November 23, 2020 (Mon)
11. Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities
Guram Bezhanishvili
November 23, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Guram Bezhanishvili
  

November 9, 2020 (Mon)
12. Language-theoretic models for the Full Lambek calculus
Christian Wurm
November 9, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Christian Wurm
  

November 2, 2020 (Mon)
13. Axiomatizing Origami planes
Anna Dmitrieva
November 2, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Anna Dmitrieva
  

October 26, 2020 (Mon)
14. Decidable fragments of the Lambek calculus with subexponentials
S. L. Kuznetsov
October 26, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
S. L. Kuznetsov
  

October 19, 2020 (Mon)
15. Iterated $\omega$-model reflection and $\Pi^1_2$ proof-theoretic analysis
F. N. Pakhomov
October 19, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
F. N. Pakhomov
  

October 12, 2020 (Mon)
16. Set theory with a proper class of indiscernibles
A. Enayat
October 12, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
A. Enayat
  

July 13, 2020 (Mon)
17. A more uniform Friedberg-Muchnik theorem
David Belanger
July 13, 2020 18:30, Steklov Mathematical Institute, Moscow, online
David Belanger
  

July 6, 2020 (Mon)
18. Giant and illusionary giant Goodstein principles
Andreas Weiermann
July 6, 2020 17:30, Steklov Mathematical Institute, Moscow, online via Zoom
Andreas Weiermann
  

June 22, 2020 (Mon)
19. О глобальной окрестностной полноте логики доказуемости GLP
D. S. Shamkanov
June 22, 2020 17:30, Steklov Mathematical Institute, Moscow, online
  

May 18, 2020 (Mon)
20. Fusible numbers and Peano Arithmetic
Gabriel Nivasch
May 18, 2020 18:30, Steklov Mathematical Institute, Moscow, online
Gabriel Nivasch
  

May 4, 2020 (Mon)
21. Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday)
Johann Makowsky
May 4, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Johann Makowsky
  

April 27, 2020 (Mon)
22. Existence of measurable cardinals and modal logic
Guram Bezhanishvili
April 27, 2020 17:30, Steklov Mathematical Institute, Moscow, online
Guram Bezhanishvili
  

April 20, 2020 (Mon)
23. Negation as a modality in a quantified setting
S. O. Speranski
April 20, 2020 18:30, Steklov Mathematical Institute, Moscow, online
S. O. Speranski
  

April 13, 2020 (Mon)
24. On Free $\omega$-Continuous and Regular Ordered Algebras
Dexter Kozen
April 13, 2020 18:30, Steklov Mathematical Institute, Moscow, online
Dexter Kozen
  

April 6, 2020 (Mon)
25. Goodstein principles of intermediate strength
D. Fernández-Duque
April 6, 2020 18:30, Steklov Mathematical Institute, Moscow, online
D. Fernández-Duque
  

March 23, 2020 (Mon)
26. On the logical complexity of cyclic arithmetic
Anupam Das
March 23, 2020 18:30, Steklov Mathematical Institute, Moscow, online
Anupam Das
  

March 16, 2020 (Mon)
27. Предикатный вариант совместной логики задач и высказываний
A. A. Onoprienko
March 16, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
A. A. Onoprienko
  

March 2, 2020 (Mon)
28. О принципах редукции и отделимости в тихоновских пространствах.
D. I. Saveliev
March 2, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
D. I. Saveliev
  

February 17, 2020 (Mon)
29. From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri
February 17, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 16, 2019 (Mon)
30. Decidable and undecidable problems for modal definability and first-order definability
Philippe Balbiani
December 16, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Philippe Balbiani
  

December 9, 2019 (Mon)
31. On a neighborhood semantics of Lindström provability logic
D. S. Shamkanov
December 9, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
D. S. Shamkanov
  

December 2, 2019 (Mon)
32. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
December 2, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
A. A. Zapryagaev
  

November 25, 2019 (Mon)
33. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
November 25, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
A. A. Zapryagaev
  

November 11, 2019 (Mon)
34. Determined admissible sets
Juan Aguilera
November 11, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Juan Aguilera
  

October 28, 2019 (Mon)
35. Бар-индукция для классов в арифметике второго порядка
F. N. Pakhomov
October 28, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
F. N. Pakhomov
  

October 21, 2019 (Mon)
36. Бар-индукция для классов в арифметике второго порядка
F. N. Pakhomov
October 21, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
F. N. Pakhomov
  

October 14, 2019 (Mon)
37. Об открытых вопросах теории доказательств
L. D. Beklemishev
October 14, 2019, Steklov Mathematical Institute, Moscow, online via Zoom
L. D. Beklemishev

October 7, 2019 (Mon)
38. Локали, ядра и шкалы Драгалина. Лекция 2.
D. Rogozin
October 7, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
D. Rogozin
  

September 30, 2019 (Mon)
39. Локали, ядра и шкалы Драгалина
D. D. Rogozin
September 30, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
D. D. Rogozin
  

August 28, 2019 (Wed)
40. Локально конечные модальные алгебры и фильтрации моделей Крипке
I. B. Shapirovsky
August 28, 2019 17:00, Steklov Mathematical Institute, Moscow, online via Zoom

June 24, 2019 (Mon)
41. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
E. A. Kolmakov
June 24, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
E. A. Kolmakov
  

May 20, 2019 (Mon)
42. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
E. A. Kolmakov
May 20, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
E. A. Kolmakov
  

May 13, 2019 (Mon)
43. How strong are derivatives of normal functions?
Anton Freund
May 13, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Anton Freund
  

April 29, 2019 (Mon)
44. Итерированные определения истинности и исчисление рефлексий
L. D. Beklemishev
April 29, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
L. D. Beklemishev
  

April 22, 2019 (Mon)
45. Итерированные определения истинности и исчисление рефлексий
April 22, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
  

April 15, 2019 (Mon)
46. Итерации $\Pi^1_1$-рефлексии
F. N. Pakhomov
April 15, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
F. N. Pakhomov
  

April 8, 2019 (Mon)
47. Итерации $\Pi^1_1$-рефлексии
F. N. Pakhomov
April 8, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
F. N. Pakhomov
  

April 1, 2019 (Mon)
48. О первопорядковой выразимости выполнимости в подмоделях
D. I. Saveliev
April 1, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

March 25, 2019 (Mon)
49. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
V. B. Shehtman
March 25, 2019 20:55, Steklov Mathematical Institute, Moscow, online via Zoom
V. B. Shehtman
  

March 18, 2019 (Mon)
50. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
V. B. Shehtman
March 18, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
V. B. Shehtman
  

March 4, 2019 (Mon)
51. Модели исчисления Ламбека с субэкпоненциалами
Daniel Rogozin
March 4, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Daniel Rogozin
  

February 25, 2019 (Mon)
52. Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича
Kozhemiachenko Daniil
February 25, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Kozhemiachenko Daniil
  

February 18, 2019 (Mon)
53. Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких вопросах
D. I. Saveliev
February 18, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

February 11, 2019 (Mon)
54. О работе Й. Маковского "Can one design a geometry engine?"
Ann Dmitrieva
February 11, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 17, 2018 (Mon)
55. Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка
A. S. Gerasimov
December 17, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
A. S. Gerasimov
  

November 26, 2018 (Mon)
56. О новом методе ординального анализа теории множеств Крипке-Платека
F. N. Pakhomov
November 26, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
F. N. Pakhomov
  

November 12, 2018 (Mon)
57. О новом методе ординального анализа теории множеств Крипке-Платека
F. N. Pakhomov
November 12, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
F. N. Pakhomov
  

October 29, 2018 (Mon)
58. Неразрешимость логики решёток Клини с делениями
S. L. Kuznetsov
October 29, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
S. L. Kuznetsov
  

October 22, 2018 (Mon)
59. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
October 22, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Ralf Schindler
  

October 15, 2018 (Mon)
60. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
October 15, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Ralf Schindler
  

October 8, 2018 (Mon)
61. О модальных напарниках K4
M. V. Svyatlovskiy
October 8, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 1, 2018 (Mon)
62. Системы инцидентности на декартовых степенях алгебраических кривых
October 1, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
  

September 24, 2018 (Mon)
63. Системы инцидентности на декартовых степенях алгебраических кривых
Dmitry Sustretov
September 24, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
Dmitry Sustretov
  

September 10, 2018 (Mon)
64. Glivenko's theorem, finite height, and local finiteness
I. B. Shapirovsky
September 10, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

June 18, 2018 (Mon)
65. О субквадратичных функциях сложности выводов для односторонних систем Туэ
A. L. Talambutsa
June 18, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

June 14, 2018 (Thu)
66. Subexponentials in non-commutative linear logic
A. Scedrov
June 14, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

April 28, 2018 (Sat)
67. Об устранении сечения для модальной логики транзитивного замыкания
D. S. Shamkanov
April 28, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

April 23, 2018 (Mon)
68. Нефундированные выводы для логики Go
Yu. V. Savateev
April 23, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

April 9, 2018 (Mon)
69. Бесконечные ветви в разрешимых деревьях
S. F. Soprunov
April 9, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

March 26, 2018 (Mon)
70. Об аксиоме ограниченности в слабых теориях множеств
F. N. Pakhomov
March 26, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

March 5, 2018 (Mon)
71. Определимые элементы определимых множеств
V. G. Kanovei
March 5, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

February 26, 2018 (Mon)
72. Определимые элементы определимых множеств
V. G. Kanovei
February 26, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

February 12, 2018 (Mon)
73. О языках геометрии и понимании геометрических фактов
G. B. Shabat
February 12, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

February 5, 2018 (Mon)
74. О языках геометрии и понимании геометрических фактов
G. B. Shabat
February 5, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 18, 2017 (Mon)
75. О некоторых результатах о принципах рефлексии в арифметике
F. N. Pakhomov
December 18, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 30, 2017 (Mon)
76. Аксиоматизация доказуемой 1-доказуемости
E. A. Kolmakov
October 30, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 9, 2017 (Mon)
77. Об индукции в теориях итерированных определений истины
F. N. Pakhomov
October 9, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 2, 2017 (Mon)
78. Об индукции в теориях итерированных определений истины
F. N. Pakhomov
October 2, 2017 18:35, Steklov Mathematical Institute, Moscow, online via Zoom

July 10, 2017 (Mon)
79. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
I. B. Shapirovsky
July 10, 2017 16:30, Steklov Mathematical Institute, Moscow, online via Zoom

May 29, 2017 (Mon)
80. Формализм для некоторых свойств из первого курса топологии
M. R. Gavrilovich
May 29, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

May 15, 2017 (Mon)
81. О неизоморфизме алгебр Магари для PA и ZF
May 15, 2017 18:35, Steklov Mathematical Institute, Moscow, online via Zoom

April 24, 2017 (Mon)
82. The reverse mathematics of decidability results for monadic second order logic
Leszek Kolodziejczyk
April 24, 2017 18:45, Steklov Mathematical Institute, Moscow, online via Zoom

April 10, 2017 (Mon)
83. О вычислительных аспектах теории истины по Крипке
S. O. Speranski
April 10, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

April 3, 2017 (Mon)
84. Цепи из утверждений о медленной непротиворечивости
F. N. Pakhomov
April 3, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

March 13, 2017 (Mon)
85. Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
L. D. Beklemishev
March 13, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

March 6, 2017 (Mon)
86. Семантика металогики. (Часть 2)
S. A. Melikhov
March 6, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

February 27, 2017 (Mon)
87. Семантика металогики. (Часть 1)
S. A. Melikhov
February 27, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

February 20, 2017 (Mon)
88. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)
Kolmakov E.A.
February 20, 2017, Steklov Mathematical Institute, Moscow, online via Zoom

February 13, 2017 (Mon)
89. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 1)
Kolmakov E.A.
February 13, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 26, 2016 (Mon)
90. Об аксиоматизации строго позитивных фрагментов модальных логик
M. Zakharyaschev, S. P. Kikot'
December 26, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 19, 2016 (Mon)
91. О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
F. N. Pakhomov
December 19, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 5, 2016 (Mon)
92. Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера
Zapryagaev A. A.
December 5, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

November 28, 2016 (Mon)
93. О позитивной логике доказуемости с операторами консервативности
L. D. Beklemishev
November 28, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

November 21, 2016 (Mon)
94. О позитивной логике доказуемости с операторами консервативности
L. D. Beklemishev
November 21, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

November 7, 2016 (Mon)
95. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
November 7, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 31, 2016 (Mon)
96. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
October 31, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 17, 2016 (Mon)
97. Полиномиальный алгоритм распознавания выводимости в строго позитивной логике линейных порядков
Svyatlovsky M.
October 17, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 10, 2016 (Mon)
98. Строго позитивная логика конечных линейных порядков, продолжение
Svyatlovsky, M.
October 10, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 3, 2016 (Mon)
99. Строго позитивная логика конечных линейных порядков
Svyatlovsky M.
October 3, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

September 26, 2016 (Mon)
100. О новом доказательстве теоремы Соловея
F. N. Pakhomov
September 26, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

May 23, 2016 (Mon)
101. Constructive modal logic that is similar to provability logic GL
D. S. Shamkanov
May 23, 2016, Steklov Mathematical Institute, Moscow, online via Zoom

May 16, 2016 (Mon)
102. Формальная металогика логик первого порядка и её формальная семантика
S. A. Melikhov
May 16, 2016, Steklov Mathematical Institute, Moscow, online via Zoom

April 18, 2016 (Mon)
103. On automatic groups and their generalizations
A. L. Talambutsa
April 18, 2016, Steklov Mathematical Institute, Moscow, online via Zoom

April 4, 2016 (Mon)
104. On Feferman's second conjecture
Michael Rathjen
April 4, 2016, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina), Moscow

March 28, 2016 (Mon)
105. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 28, 2016, Steklov Mathematical Institute, Moscow, online via Zoom

March 21, 2016 (Mon)
106. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 21, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

March 14, 2016 (Mon)
107. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение)
L. D. Beklemishev
March 14, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

February 29, 2016 (Mon)
108. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016
L. D. Beklemishev
February 29, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

February 15, 2016 (Mon)
109. Биинтерпретируемость для расширений ZF
F. N. Pakhomov
February 15, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 28, 2015 (Mon)
110. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
December 28, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 14, 2015 (Mon)
111. Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Yu. V. Savateev
December 14, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

November 30, 2015 (Mon)
112. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2
A. A. Zapryagaev
November 30, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

November 23, 2015 (Mon)
113. Логика интерпретируемости. Часть 2
L. D. Beklemishev
November 23, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

November 16, 2015 (Mon)
114. Логика интерпретируемости. Часть 1
L. D. Beklemishev
November 16, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

November 9, 2015 (Mon)
115. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1
A. A. Zapryagaev
November 9, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 26, 2015 (Mon)
116. Итерации медленной непротиворечивости. Часть 2
F. N. Pakhomov
October 26, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 19, 2015 (Mon)
117. Итерации медленной непротиворечивости. Часть 1
F. N. Pakhomov
October 19, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

October 5, 2015 (Mon)
118. О независимых принципах в совместной логике задач и высказываний. Часть 2
S. A. Melikhov
October 5, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

September 28, 2015 (Mon)
119. О независимых принципах в совместной логике задач и высказываний. Часть 1
S. A. Melikhov
September 28, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

September 7, 2015 (Mon)
120. Некоторые новые результаты в монадической арифметике второго порядка
S. O. Speranski
September 7, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021