RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB


Seminars "Proof Theory" and "Logic Online Seminar"
Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina), 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

Forthcoming talks

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

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

July 6, 2020 (Mon)
2. Giant and illusionary giant Goodstein principles
Andreas Weiermann
July 6, 2020 17:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Andreas Weiermann
  

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

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

May 4, 2020 (Mon)
5. 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, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Johann Makowsky
  

April 27, 2020 (Mon)
6. 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)
7. 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)
8. 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)
9. 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)
10. 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)
11. Предикатный вариант совместной логики задач и высказываний
A. A. Onoprienko
March 16, 2020 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
A. A. Onoprienko
  

March 2, 2020 (Mon)
12. О принципах редукции и отделимости в тихоновских пространствах.
D. I. Saveliev
March 2, 2020 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
D. I. Saveliev
  

February 17, 2020 (Mon)
13. From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri
February 17, 2020 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

December 16, 2019 (Mon)
14. Decidable and undecidable problems for modal definability and first-order definability
Philippe Balbiani
December 16, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Philippe Balbiani
  

December 9, 2019 (Mon)
15. On a neighborhood semantics of Lindström provability logic
D. S. Shamkanov
December 9, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
D. S. Shamkanov
  

December 2, 2019 (Mon)
16. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
December 2, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
A. A. Zapryagaev
  

November 25, 2019 (Mon)
17. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
November 25, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
A. A. Zapryagaev
  

November 11, 2019 (Mon)
18. Determined admissible sets
Juan Aguilera
November 11, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Juan Aguilera
  

October 28, 2019 (Mon)
19. Бар-индукция для классов в арифметике второго порядка
F. N. Pakhomov
October 28, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
F. N. Pakhomov
  

October 21, 2019 (Mon)
20. Бар-индукция для классов в арифметике второго порядка
F. N. Pakhomov
October 21, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
F. N. Pakhomov
  

October 14, 2019 (Mon)
21. Об открытых вопросах теории доказательств
L. D. Beklemishev
October 14, 2019, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
L. D. Beklemishev

October 7, 2019 (Mon)
22. Локали, ядра и шкалы Драгалина. Лекция 2.
D. Rogozin
October 7, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
D. Rogozin
  

September 30, 2019 (Mon)
23. Локали, ядра и шкалы Драгалина
D. D. Rogozin
September 30, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
D. D. Rogozin
  

August 28, 2019 (Wed)
24. Локально конечные модальные алгебры и фильтрации моделей Крипке
I. B. Shapirovsky
August 28, 2019 17:00, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

June 24, 2019 (Mon)
25. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
E. A. Kolmakov
June 24, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
E. A. Kolmakov
  

May 20, 2019 (Mon)
26. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
E. A. Kolmakov
May 20, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
E. A. Kolmakov
  

May 13, 2019 (Mon)
27. How strong are derivatives of normal functions?
Anton Freund
May 13, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Anton Freund
  

April 29, 2019 (Mon)
28. Итерированные определения истинности и исчисление рефлексий
L. D. Beklemishev
April 29, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
L. D. Beklemishev
  

April 22, 2019 (Mon)
29. Итерированные определения истинности и исчисление рефлексий
April 22, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
  

April 15, 2019 (Mon)
30. Итерации $\Pi^1_1$-рефлексии
F. N. Pakhomov
April 15, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
F. N. Pakhomov
  

April 8, 2019 (Mon)
31. Итерации $\Pi^1_1$-рефлексии
F. N. Pakhomov
April 8, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
F. N. Pakhomov
  

April 1, 2019 (Mon)
32. О первопорядковой выразимости выполнимости в подмоделях
D. I. Saveliev
April 1, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

March 25, 2019 (Mon)
33. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
V. B. Shehtman
March 25, 2019 20:55, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
V. B. Shehtman
  

March 18, 2019 (Mon)
34. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
V. B. Shehtman
March 18, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
V. B. Shehtman
  

March 4, 2019 (Mon)
35. Модели исчисления Ламбека с субэкпоненциалами
Daniel Rogozin
March 4, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Daniel Rogozin
  

February 25, 2019 (Mon)
36. Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича
Kozhemiachenko Daniil
February 25, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Kozhemiachenko Daniil
  

February 18, 2019 (Mon)
37. Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких вопросах
D. I. Saveliev
February 18, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

February 11, 2019 (Mon)
38. О работе Й. Маковского "Can one design a geometry engine?"
Ann Dmitrieva
February 11, 2019 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

December 17, 2018 (Mon)
39. Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка
A. S. Gerasimov
December 17, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
A. S. Gerasimov
  

November 26, 2018 (Mon)
40. О новом методе ординального анализа теории множеств Крипке-Платека
F. N. Pakhomov
November 26, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
F. N. Pakhomov
  

November 12, 2018 (Mon)
41. О новом методе ординального анализа теории множеств Крипке-Платека
F. N. Pakhomov
November 12, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
F. N. Pakhomov
  

October 29, 2018 (Mon)
42. Неразрешимость логики решёток Клини с делениями
S. L. Kuznetsov
October 29, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
S. L. Kuznetsov
  

October 22, 2018 (Mon)
43. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
October 22, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Ralf Schindler
  

October 15, 2018 (Mon)
44. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
October 15, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Ralf Schindler
  

October 8, 2018 (Mon)
45. О модальных напарниках K4
M. V. Svyatlovskiy
October 8, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 1, 2018 (Mon)
46. Системы инцидентности на декартовых степенях алгебраических кривых
October 1, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
  

September 24, 2018 (Mon)
47. Системы инцидентности на декартовых степенях алгебраических кривых
Dmitry Sustretov
September 24, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
Dmitry Sustretov
  

September 10, 2018 (Mon)
48. Glivenko's theorem, finite height, and local finiteness
I. B. Shapirovsky
September 10, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

June 18, 2018 (Mon)
49. О субквадратичных функциях сложности выводов для односторонних систем Туэ
A. L. Talambutsa
June 18, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

June 14, 2018 (Thu)
50. Subexponentials in non-commutative linear logic
A. Scedrov
June 14, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

April 28, 2018 (Sat)
51. Об устранении сечения для модальной логики транзитивного замыкания
D. S. Shamkanov
April 28, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

April 23, 2018 (Mon)
52. Нефундированные выводы для логики Go
Yu. V. Savateev
April 23, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

April 9, 2018 (Mon)
53. Бесконечные ветви в разрешимых деревьях
S. F. Soprunov
April 9, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

March 26, 2018 (Mon)
54. Об аксиоме ограниченности в слабых теориях множеств
F. N. Pakhomov
March 26, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

March 5, 2018 (Mon)
55. Определимые элементы определимых множеств
V. G. Kanovei
March 5, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

February 26, 2018 (Mon)
56. Определимые элементы определимых множеств
V. G. Kanovei
February 26, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

February 12, 2018 (Mon)
57. О языках геометрии и понимании геометрических фактов
G. B. Shabat
February 12, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

February 5, 2018 (Mon)
58. О языках геометрии и понимании геометрических фактов
G. B. Shabat
February 5, 2018 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

December 18, 2017 (Mon)
59. О некоторых результатах о принципах рефлексии в арифметике
F. N. Pakhomov
December 18, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 30, 2017 (Mon)
60. Аксиоматизация доказуемой 1-доказуемости
E. A. Kolmakov
October 30, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 9, 2017 (Mon)
61. Об индукции в теориях итерированных определений истины
F. N. Pakhomov
October 9, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 2, 2017 (Mon)
62. Об индукции в теориях итерированных определений истины
F. N. Pakhomov
October 2, 2017 18:35, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

July 10, 2017 (Mon)
63. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
I. B. Shapirovsky
July 10, 2017 16:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

May 29, 2017 (Mon)
64. Формализм для некоторых свойств из первого курса топологии
M. R. Gavrilovich
May 29, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

May 15, 2017 (Mon)
65. О неизоморфизме алгебр Магари для PA и ZF
May 15, 2017 18:35, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

April 24, 2017 (Mon)
66. The reverse mathematics of decidability results for monadic second order logic
Leszek Kolodziejczyk
April 24, 2017 18:45, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

April 10, 2017 (Mon)
67. О вычислительных аспектах теории истины по Крипке
S. O. Speranski
April 10, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

April 3, 2017 (Mon)
68. Цепи из утверждений о медленной непротиворечивости
F. N. Pakhomov
April 3, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

March 13, 2017 (Mon)
69. Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
L. D. Beklemishev
March 13, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

March 6, 2017 (Mon)
70. Семантика металогики. (Часть 2)
S. A. Melikhov
March 6, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

February 27, 2017 (Mon)
71. Семантика металогики. (Часть 1)
S. A. Melikhov
February 27, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

February 20, 2017 (Mon)
72. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)
Kolmakov E.A.
February 20, 2017, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

February 13, 2017 (Mon)
73. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 1)
Kolmakov E.A.
February 13, 2017 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

December 26, 2016 (Mon)
74. Об аксиоматизации строго позитивных фрагментов модальных логик
M. Zakharyaschev, S. P. Kikot'
December 26, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

December 19, 2016 (Mon)
75. О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
F. N. Pakhomov
December 19, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

December 5, 2016 (Mon)
76. Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера
Zapryagaev A. A.
December 5, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

November 28, 2016 (Mon)
77. О позитивной логике доказуемости с операторами консервативности
L. D. Beklemishev
November 28, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

November 21, 2016 (Mon)
78. О позитивной логике доказуемости с операторами консервативности
L. D. Beklemishev
November 21, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

November 7, 2016 (Mon)
79. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
November 7, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 31, 2016 (Mon)
80. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
D. I. Saveliev
October 31, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 17, 2016 (Mon)
81. Полиномиальный алгоритм распознавания выводимости в строго позитивной логике линейных порядков
Svyatlovsky M.
October 17, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 10, 2016 (Mon)
82. Строго позитивная логика конечных линейных порядков, продолжение
Svyatlovsky, M.
October 10, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 3, 2016 (Mon)
83. Строго позитивная логика конечных линейных порядков
Svyatlovsky M.
October 3, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

September 26, 2016 (Mon)
84. О новом доказательстве теоремы Соловея
F. N. Pakhomov
September 26, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

May 23, 2016 (Mon)
85. Constructive modal logic that is similar to provability logic GL
D. S. Shamkanov
May 23, 2016, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

May 16, 2016 (Mon)
86. Формальная металогика логик первого порядка и её формальная семантика
S. A. Melikhov
May 16, 2016, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

April 18, 2016 (Mon)
87. On automatic groups and their generalizations
A. L. Talambutsa
April 18, 2016, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

April 4, 2016 (Mon)
88. 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)
89. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 28, 2016, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

March 21, 2016 (Mon)
90. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 21, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

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

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

February 15, 2016 (Mon)
93. Биинтерпретируемость для расширений ZF
F. N. Pakhomov
February 15, 2016 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

December 28, 2015 (Mon)
94. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
December 28, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

December 14, 2015 (Mon)
95. Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Yu. V. Savateev
December 14, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

November 30, 2015 (Mon)
96. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2
A. A. Zapryagaev
November 30, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

November 23, 2015 (Mon)
97. Логика интерпретируемости. Часть 2
L. D. Beklemishev
November 23, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

November 16, 2015 (Mon)
98. Логика интерпретируемости. Часть 1
L. D. Beklemishev
November 16, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

November 9, 2015 (Mon)
99. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1
A. A. Zapryagaev
November 9, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 26, 2015 (Mon)
100. Итерации медленной непротиворечивости. Часть 2
F. N. Pakhomov
October 26, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 19, 2015 (Mon)
101. Итерации медленной непротиворечивости. Часть 1
F. N. Pakhomov
October 19, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

October 5, 2015 (Mon)
102. О независимых принципах в совместной логике задач и высказываний. Часть 2
S. A. Melikhov
October 5, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

September 28, 2015 (Mon)
103. О независимых принципах в совместной логике задач и высказываний. Часть 1
S. A. Melikhov
September 28, 2015 18:30, Steklov Mathematical Institute, Moscow, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)

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