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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

April 18, 2016
25. On automatic groups and their generalizations
A. L. Talambutsa
April 18, 2016, Moscow

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

March 28, 2016
27. The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 28, 2016, Moscow

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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