RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


Seminar of the Department of Mathematical Logic "Proof Theory"
Moscow


RSS: Forthcoming seminars

Seminar Chairman
Beklemishev Lev Dmitrievich

Organizations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


Seminar of the Department of Mathematical Logic "Proof Theory", Moscow

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

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

October 22, 2018 (Mon)
3. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
October 22, 2018 18:30, Moscow
Ralf Schindler
  

October 15, 2018 (Mon)
4. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
October 15, 2018 18:30, Moscow
Ralf Schindler
  

October 8, 2018 (Mon)
5. О модальных напарниках K4
M. V. Svyatlovskiy
October 8, 2018 18:30, Moscow

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

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

September 10, 2018 (Mon)
8. Glivenko's theorem, finite height, and local finiteness
I. B. Shapirovsky
September 10, 2018 18:30, Moscow

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

June 14, 2018 (Thu)
10. Subexponentials in non-commutative linear logic
A. Scedrov
June 14, 2018 18:30, Moscow

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

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

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

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

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

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

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

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

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

October 30, 2017 (Mon)
20. Аксиоматизация доказуемой 1-доказуемости
E. A. Kolmakov
October 30, 2017 18:30, Moscow

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

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

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

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

May 15, 2017 (Mon)
25. О неизоморфизме алгебр Магари для PA и ZF
May 15, 2017 18:35, Moscow

April 24, 2017 (Mon)
26. The reverse mathematics of decidability results for monadic second order logic
Leszek Kolodziejczyk
April 24, 2017 18:45, Moscow

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

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

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

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

February 27, 2017 (Mon)
31. Семантика металогики. (Часть 1)
S. A. Melikhov
February 27, 2017 18:30, Moscow

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

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

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

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

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

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

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

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

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

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

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

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

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

May 23, 2016 (Mon)
45. Constructive modal logic that is similar to provability logic GL
D. S. Shamkanov
May 23, 2016, Moscow

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

April 18, 2016 (Mon)
47. On automatic groups and their generalizations
A. L. Talambutsa
April 18, 2016, Moscow

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

March 28, 2016 (Mon)
49. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 28, 2016, Moscow

March 21, 2016 (Mon)
50. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 21, 2016 18:30, Moscow

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

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

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

December 28, 2015 (Mon)
54. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
December 28, 2015 18:30, Moscow

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

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

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

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

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

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

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

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

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

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