RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
MSU, auditorium 16-04, Moscow


RSS: Forthcoming seminars

Seminar Chairman
Adian Sergei Ivanovich

Organizations
Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic", Moscow

November 21, 2017
1. О корнях многочленов в мин-плюс алгебре
V. V. Podolskii
November 21, 2017 18:30, Moscow, MSU, auditorium 16-04

November 14, 2017
2. Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации
S. L. Kuznetsov
November 14, 2017 18:30, Moscow, MSU, auditorium 16-04

October 24, 2017
3. Об универсальной модели Крипке для позитивной логики доказуемости с операторами, выражающими консервативность
L. D. Beklemishev
October 24, 2017 18:30, Moscow, MSU, auditorium 16-04

October 10, 2017
4. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Yu. V. Savateev, D. S. Shamkanov
October 10, 2017 18:30, Moscow, MSU, auditorium 16-04

October 3, 2017
5. Об интерпретациях арифметики Пресбургера в самой себе
A. Zapryagaev, F. N. Pakhomov
October 3, 2017 18:30, Moscow, MSU, auditorium 16-04

May 16, 2017
6. Исчисления Ламбека с обогащением сигнатуры операцией итерации
S. L. Kuznetsov
May 16, 2017 18:30, Moscow, MSU, auditorium 16-04

April 25, 2017
7. О количестве слов данной длины, не содержащих $\alpha$-степеней - II
A. L. Talambutsa
April 25, 2017 18:30, Moscow, MSU, auditorium 16-04

April 18, 2017
8. О количестве слов данной длины, не содержащих $\alpha$-степеней - I
A. L. Talambutsa
April 18, 2017 18:30, Moscow, MSU, auditorium 16-04

March 14, 2017
9. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
D. S. Shamkanov
March 14, 2017 18:30, Moscow, MSU, auditorium 16-04

March 7, 2017
10. On the embedding preordering of universal algebras
D. I. Saveliev
March 7, 2017 18:30, Moscow, MSU, auditorium 16-04

February 28, 2017
11. О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом
F. N. Pakhomov
February 28, 2017 18:30, Moscow, MSU, auditorium 16-04

December 13, 2016
12. О невозможности одновременной оптимизации различных мер сложности пропозициональных доказательств
A. A. Razborov
December 13, 2016 18:30, Moscow, MSU, auditorium 16-04

December 6, 2016
13. О числе наборов элементов группы, обладающих данным свойством
A. A. Klyachko
December 6, 2016 18:30, Moscow, MSU, auditorium 16-04

November 22, 2016
14. О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики
D. S. Shamkanov
November 22, 2016 18:30, Moscow, MSU, auditorium 16-04

November 15, 2016
15. Новое доказательство теоремы Соловея об арифметической полноте логики GL
F. N. Pakhomov
November 15, 2016 18:30, Moscow, MSU, auditorium 16-04

November 8, 2016
16. Семантика квазидоказуемости для полных по Крипке расширений логики GL
F. N. Pakhomov
November 8, 2016 18:30, Moscow, MSU, auditorium 16-04

November 1, 2016
17. О позитивной логике доказуемости с операторами, выражающими консервативность
L. D. Beklemishev
November 1, 2016 18:30, Moscow, MSU, auditorium 16-04

October 18, 2016
18. Критерий обхода графа Кэли конечно-порождённой группы системой взаимодействующих конечных автоматов
A. Ya. Kanel-Belov
October 18, 2016 18:30, Moscow, MSU, auditorium 16-04

October 4, 2016
19. Построение конечно-определённой полугруппы с дробным порядком полиномиального роста
I. A. Ivanov-Pogodaev
October 4, 2016 18:30, Moscow, MSU, auditorium 16-04

April 19, 2016
20. Системы ординальных обозначений в иерархии Кукаля
F. N. Pakhomov
April 19, 2016 18:30, Moscow, MSU, auditorium 16-04

April 5, 2016
21. Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы
S. L. Kuznetsov
April 5, 2016 18:30, Moscow, MSU, auditorium 16-04

March 29, 2016
22. Формальная арифметика на базе логики без правила сокращения
D. S. Shamkanov
March 29, 2016 18:30, Moscow, MSU, auditorium 16-04

March 22, 2016
23. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - III
A. L. Talambutsa
March 22, 2016 18:30, Moscow, MSU, auditorium 16-04

March 15, 2016
24. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - II
A. L. Talambutsa
March 15, 2016 18:30, Moscow, MSU, auditorium 16-04

March 1, 2016
25. Теорема С.И. Адяна о вложении полугрупп в группы с теми же определяющими соотношениями - I
A. L. Talambutsa
March 1, 2016 18:30, Moscow, MSU, auditorium 16-04

December 8, 2015
26. Лексикографические произведения и суммы модальных логик
I. B. Shapirovsky
December 8, 2015 18:30, Moscow, MSU, auditorium 16-04

December 1, 2015
27. Оценки длин преобразований запросов к снабженным логической теорией базам данных
V. V. Podolskii
December 1, 2015 18:30, Moscow, MSU, auditorium 16-04

November 10, 2015
28. О минимальных леводистрибутивных группоидах
D. I. Saveliev
November 10, 2015 18:30, Moscow, MSU, auditorium 16-04

November 3, 2015
29. Квадраты Сегерберга модальных логик и реляционные алгебры
V. B. Shehtman
November 3, 2015 18:30, Moscow, MSU, auditorium 16-04

October 27, 2015
30. О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано
F. N. Pakhomov
October 27, 2015 18:30, Moscow, MSU, auditorium 16-04

October 20, 2015
31. О двух модальных расширениях исчисления Ламбека
S. L. Kuznetsov
October 20, 2015 18:30, Moscow, MSU, auditorium 16-04

October 13, 2015
32. О показателях экспоненциального роста HNN-расширений абелевых групп
A. L. Talambutsa
October 13, 2015 18:30, Moscow, MSU, auditorium 16-04

October 6, 2015
33. Алгоритмическая статистика
N. K. Vereshchagin
October 6, 2015 18:30, Moscow, MSU, auditorium 16-04

May 19, 2015
34. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко; продолжение)
L. D. Beklemishev
May 19, 2015 18:30, Moscow, MSU, auditorium 16-04

May 12, 2015
35. О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко)
L. D. Beklemishev
May 12, 2015 18:30, Moscow, MSU, auditorium 16-04

April 28, 2015
36. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
S. L. Kuznetsov
April 28, 2015 18:30, Moscow, MSU, auditorium 16-04

April 14, 2015
37. О существовании бесконечных конечно определённых ниль-полугрупп (По совместной работе с И.А. Ивановым-Погодаевым)
A. Ya. Kanel-Belov
April 14, 2015 18:30, Moscow, MSU, auditorium 16-04

April 7, 2015
38. Эффективный алгоритм для решения проблемы распознавания равенства в пространстве классов квазиморфизмов свободной группы
A. L. Talambutsa
April 7, 2015 18:30, Moscow, MSU, auditorium 16-04

March 24, 2015
39. Modal Logics Enriched with Transitive Closure Modality
E. E. Zolin
March 24, 2015 18:30, Moscow, MSU, auditorium 16-04

March 3, 2015
40. Decidability of the elementary theory of the free GLP-algebra generated by constants.
F. N. Pakhomov
March 3, 2015 18:30, Moscow, MSU, auditorium 16-04

February 24, 2015
41. On the decidability of elementary theories of some ordinal notation systems based on the logic GLP
F. N. Pakhomov
February 24, 2015 18:30, Moscow, MSU, auditorium 16-04

December 2, 2014
42. О выразимых в логике первого порядка свойствах случайных графов
M. E. Zhukovskii
December 2, 2014 18:30, Moscow, MSU, auditorium 16-04

November 25, 2014
43. On the proof theory of modal logic extended with the least fixed-point operator (Part 2)
D. S. Shamkanov
November 25, 2014 18:30, Moscow, MSU, auditorium 16-04

November 18, 2014
44. On the proof theory of modal logic extended with the least fixed-point operator
D. S. Shamkanov
November 18, 2014 18:30, Moscow, MSU, auditorium 16-04

November 11, 2014
45. On the analog of Hilbert's Nullstellensatz for polynomials in algebraic system $(\mathbb{R}, \min, +)$
V. V. Podolskii
November 11, 2014 18:30, Moscow, MSU, auditorium 16-04

October 14, 2014
46. On a sufficient condition for the finite approximability of modal logics
I. B. Shapirovskii
October 14, 2014 18:30, Moscow, MSU, auditorium 16-04

April 29, 2014
47. About the relation between Church Thesis and Uniformity Principle in Intuitionistic Set Theory
V. Kh. Khakhanyan
April 29, 2014 18:30, Moscow, MSU, auditorium 16-04

April 22, 2014
48. Full description of the relations between Brooks quasimorphisms in free groups
A. L. Talambutsa
April 22, 2014 18:30, Moscow, MSU, auditorium 16-04

March 25, 2014
49. Conjoinability relation in discontinuous Lambek calculus
A. A. Sorokin
March 25, 2014 18:30, Moscow, MSU, auditorium 16-04

March 18, 2014
50. The Longest Common Subword Problem
T. A. Starikovskaya
March 18, 2014 18:30, Moscow, MSU, auditorium 16-04

March 11, 2014
51. Layerwise computable mappings and Lovasz local lemma
A. Kh. Shen'
March 11, 2014 18:30, Moscow, MSU, auditorium 16-04

March 4, 2014
52. A joint logic of problems and propositions
S. A. Melikhov
March 4, 2014 18:30, Moscow, MSU, auditorium 16-04

February 25, 2014
53. A joint logic of problems and propositions
S. A. Melikhov
February 25, 2014 18:30, Moscow, MSU, auditorium 16-04

December 10, 2013
54. О позитивных логиках доказуемости
L. D. Beklemishev
December 10, 2013 18:30, Moscow, MSU, auditorium 16-04

November 19, 2013
55. On the rank of the intersection of free subgroups in fundamental groups of graphs of groups
A. O. Zakharov
November 19, 2013 18:30, Moscow, MSU, auditorium 16-04

November 12, 2013
56. О хопфовости $n$-периодических произведений групп
S. I. Adian, Varuzhan Atabekyan
November 12, 2013 18:30, Moscow, MSU, auditorium 16-04

November 5, 2013
57. On the rank of the intersection of free subgroups in amalgamated free products of groups
A. O. Zakharov
November 5, 2013 18:30, Moscow, MSU, auditorium 16-04

October 29, 2013
58. Об одной модификации понятия реализуемости Майхилла для интуиционистской теории множеств
Smelyanskiy D.M.
October 29, 2013 18:30, Moscow, MSU, auditorium 16-04

October 22, 2013
59. On ultrafilter extensions of linearly ordered sets
D. I. Saveliev
October 22, 2013 18:30, Moscow, MSU, auditorium 16-04

October 15, 2013
60. $\mathit{NP}$-completeness of a class of quadratic equations in free metabelian groups
I. G. Lysenok
October 15, 2013 18:30, Moscow, MSU, auditorium 16-04

October 8, 2013
61. Conjunctive grammars and the Lambek calculus enriched with the intersection connective
S. Kuznetsov
October 8, 2013 18:30, Moscow, MSU, auditorium 16-04

May 7, 2013
62. On infinite periodic groups (new lower bound on the period)
S. I. Adian
May 7, 2013 18:30, Moscow, MSU, auditorium 16-04

April 23, 2013
63. Burnside problem on periodic groups (a simplified proof)
S. I. Adian
April 23, 2013 18:30, Moscow, MSU, auditorium 16-04

April 16, 2013
64. On the length of conjunctive query rewritings for OWL 2 QL theories.
S. P. Kikot'
April 16, 2013 18:30, Moscow, MSU, auditorium 16-04

April 9, 2013
65. On the computational complexity of the closed fragment of the provability logic GLP
F. N. Pakhomov
April 9, 2013 18:30, Moscow, MSU, auditorium 16-04

April 2, 2013
66. On the minimal exponential growth rates in free products of groups
A. L. Talambutsa
April 2, 2013 18:30, Moscow, MSU, auditorium 16-04

March 26, 2013
67. On the analog of Hilbert's Nullstellensatz theorem in the algebraic system $(\mathbb{R}, \min, +)$.
V. V. Podolskii
March 26, 2013 18:30, Moscow, MSU, auditorium 16-04

March 19, 2013
68. On an arithmetically complete calculus for uniform reflection schemata
L. D. Beklemishev
March 19, 2013 18:30, Moscow, MSU, auditorium 16-04

March 12, 2013
69. Modal logics of relations induced by Hamming distance
I. B. Shapirovskii
March 12, 2013 18:30, Moscow, MSU, auditorium 16-04

March 5, 2013
70. Computing the Lempel - Ziv Factorization of a Word under the RAM Model
T. A. Starikovskaya
March 5, 2013 18:30, Moscow, MSU, auditorium 16-04

December 18, 2012
71. The length of the join type in the Lambek calculus
A. A. Sorokin
December 18, 2012 18:30, Moscow, MSU, auditorium 16-04

December 11, 2012
72. On approximation of Boolean functions by small degree real polynomials
A. A. Razborov
December 11, 2012 18:30, Moscow, MSU, auditorium 16-04

December 4, 2012
73. On the representation of Boolean functions by sign functions of integer polynomials
V. V. Podolskii
December 4, 2012 18:30, Moscow, MSU, auditorium 16-04

November 27, 2012
74. Free monoid powerset models for two extensions of Lambek calculus
S. Kuznetsov
November 27, 2012 18:30, Moscow, MSU, auditorium 16-04

November 20, 2012
75. A sequent сalculus for Japaridze's polymodal provability logic
D. S. Shamkanov
November 20, 2012 18:30, Moscow, MSU, auditorium 16-04

November 13, 2012
76. A sequent сalculus for Gödel-Löb logic
D. S. Shamkanov
November 13, 2012 18:30, Moscow, MSU, auditorium 16-04

October 30, 2012
77. On elementary theories of free groups
A. G. Myasnikov
October 30, 2012 18:30, Moscow, MSU, auditorium 16-04
78. On extensions of centralizers of elements in nilpotent groups
V. N. Remeslennikov
October 30, 2012 18:30, Moscow, MSU, auditorium 16-04

October 23, 2012
79. On the decidability of elementary theories of provability algebras and their fragments
F. N. Pakhomov
October 23, 2012 18:30, Moscow, MSU, auditorium 16-04

October 16, 2012
80. Counterexamples to Borsuk's problem on spheres of small radii
A. B. Kupavskii
October 16, 2012 18:30, Moscow, MSU, auditorium 16-04

October 9, 2012
81. One-rule term rewriting system with undecidable termination problem.
D. S. Shamkanov
October 9, 2012 18:30, Moscow, MSU, auditorium 16-04

May 15, 2012
82. On equations in $(\mathbb{Z}, \min, +)$ algebraic system
V. V. Podolskii
May 15, 2012 18:30, Moscow, MSU, auditorium 16-04

April 24, 2012
83. First-order formulae equivalent to modal formulae translations
I. I. Osipov
April 24, 2012 18:30, Moscow, MSU, auditorium 16-04

April 10, 2012
84. Some interval modal logics
A. S. Chizhov
April 10, 2012 18:30, Moscow, MSU, auditorium 16-04

April 3, 2012
85. Elimination of Church's thesis from the proofs of negative formulae in intuitionistic set theory.
A. G. Vladimirov
April 3, 2012 18:30, Moscow, MSU, auditorium 16-04

March 27, 2012
86. Modal definability of first-order formulas and its application to knowledge bases
E. E. Zolin
March 27, 2012 18:30, Moscow, MSU, auditorium 16-04

March 20, 2012
87. On a class of decidable monadic theories of graphs
F. N. Pakhomov
March 20, 2012 18:30, Moscow, MSU, auditorium 16-04

March 13, 2012
88. On propositional logics representing the notion of provability in arithmetic
E. V. Dashkov
March 13, 2012 18:30, Moscow, MSU, auditorium 16-04

March 6, 2012
89. On Zariski topologies on rings and more general algebras
D. I. Saveliev
March 6, 2012 18:30, Moscow, MSU, auditorium 16-04
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017