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)

6.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.

Forthcoming talks

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

Abstract: The extension of the Lambek calculus with the exponential modality (that is, non-commutative intuitionistic linear logic), is undecidable [Lincoln et al. 1992]. Moreover, the same happens for any subexponential modality, under which the non-local contraction rule is allowed [Kanovich et al. 2019]. However, if the subexponential modality is allowed to be applied only to variables, then the system becomes decidable [Kanovich et al. 2016] and belongs to the NP class, as the original Lambek calculus does. We prove decidability for broader fragments, in which we allow formulae of implication depth 1 under subexponential. (If one allows formulae of depth 2, the system is already undecidable.) We consider such fragments for two versions of subexponential: the exponential, which allows all structural rules, and the relevant modality, which allows contraction and permutation, but not weakening. The latter is motivated by linguistic applications.

Joint work with Boris Karlov and Evgenia Fofanova.

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

Abstract: SAT solvers have become standard tools in many application domains. The techniques dominating the landscape of practical SAT solving today are collectively called `Conflict-Driven Clause Learning' (CDCL) and their tight connections to proof complexity and the resolution proof system in particular make them very amenable to mathematical analysis.

We will start by reviewing the most important features of CDCL-based solvers, such as decision strategy, learning scheme and restart policy. Time permitting, we will talk about the effect the choice of decision strategy may have on the performance of the solvers. Somewhat surprisingly, the answer crucially depends on a priori unrelated feature, learning scheme.

Based on joint work with Nathan Mull and Shuo Pang.

02.11.2020 TBA

09.11.2020 TBA

17.11.2020 Logical Perspectives Open Lectures: Yuri Gurevich, Anil Nerode, Barbara Partee.

23.11.2020 Guram Bezhanishvili (New Mexico State University)

07.12.2020 Rosalie Iemhoff

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

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

Seminar Chair
Beklemishev Lev Dmitrievich

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


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

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

October 19, 2020 (Mon)
2. 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)
3. 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)
4. A more uniform Friedberg-Muchnik theorem
David Belanger
July 13, 2020 18:30, Steklov Mathematical Institute, Moscow, online
David Belanger
  

July 6, 2020 (Mon)
5. 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)
6. О глобальной окрестностной полноте логики доказуемости GLP
D. S. Shamkanov
June 22, 2020 17:30, Steklov Mathematical Institute, Moscow, online
  

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

May 4, 2020 (Mon)
8. 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)
9. 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)
10. 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)
11. 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)
12. 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)
13. 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)
14. Предикатный вариант совместной логики задач и высказываний
A. A. Onoprienko
March 16, 2020 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
A. A. Onoprienko
  

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

February 17, 2020 (Mon)
16. 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)
17. 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)
18. 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)
19. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
December 2, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
A. A. Zapryagaev
  

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

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

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

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

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

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

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

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

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

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

May 13, 2019 (Mon)
30. 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)
31. Итерированные определения истинности и исчисление рефлексий
L. D. Beklemishev
April 29, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom
L. D. Beklemishev
  

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

April 15, 2019 (Mon)
33. Итерации $\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)
34. Итерации $\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)
35. О первопорядковой выразимости выполнимости в подмоделях
D. I. Saveliev
April 1, 2019 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

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

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

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

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

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

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

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

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

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

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

October 22, 2018 (Mon)
46. "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)
47. "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)
48. О модальных напарниках K4
M. V. Svyatlovskiy
October 8, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

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

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

September 10, 2018 (Mon)
51. 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)
52. О субквадратичных функциях сложности выводов для односторонних систем Туэ
A. L. Talambutsa
June 18, 2018 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

April 24, 2017 (Mon)
69. 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)
70. О вычислительных аспектах теории истины по Крипке
S. O. Speranski
April 10, 2017 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

May 23, 2016 (Mon)
88. 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)
89. Формальная металогика логик первого порядка и её формальная семантика
S. A. Melikhov
May 16, 2016, Steklov Mathematical Institute, Moscow, online via Zoom

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

April 4, 2016 (Mon)
91. 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)
92. 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)
93. 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)
94. О недавних результатах по теории 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)
95. О недавних результатах по теории 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)
96. Биинтерпретируемость для расширений ZF
F. N. Pakhomov
February 15, 2016 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

December 28, 2015 (Mon)
97. 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)
98. Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Yu. V. Savateev
December 14, 2015 18:30, Steklov Mathematical Institute, Moscow, online via Zoom

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

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

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

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

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

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

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

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

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