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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

March 3, 2015
35. 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
36. 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
37. О выразимых в логике первого порядка свойствах случайных графов
M. E. Zhukovskii
December 2, 2014 18:30, Moscow, MSU, auditorium 16-04

November 25, 2014
38. 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
39. 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
40. 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
41. 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
42. 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
43. 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
44. Conjoinability relation in discontinuous Lambek calculus
A. A. Sorokin
March 25, 2014 18:30, Moscow, MSU, auditorium 16-04

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

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

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

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

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

November 19, 2013
50. 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
51. О хопфовости $n$-периодических произведений групп
S. I. Adian, Varuzhan Atabekyan
November 12, 2013 18:30, Moscow, MSU, auditorium 16-04

November 5, 2013
52. 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
53. Об одной модификации понятия реализуемости Майхилла для интуиционистской теории множеств
Smelyanskiy D.M.
October 29, 2013 18:30, Moscow, MSU, auditorium 16-04

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

October 15, 2013
55. $\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
56. 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
57. 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
58. Burnside problem on periodic groups (a simplified proof)
S. I. Adian
April 23, 2013 18:30, Moscow, MSU, auditorium 16-04

April 16, 2013
59. 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
60. 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
61. 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
62. 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
63. 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
64. Modal logics of relations induced by Hamming distance
I. B. Shapirovskii
March 12, 2013 18:30, Moscow, MSU, auditorium 16-04

March 5, 2013
65. 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
66. 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
67. 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
68. 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
69. 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
70. 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
71. 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
72. On elementary theories of free groups
A. G. Myasnikov
October 30, 2012 18:30, Moscow, MSU, auditorium 16-04
73. 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
74. 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
75. 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
76. 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
77. On equations in $(\mathbb{Z}, \min, +)$ algebraic system
V. V. Podolskii
May 15, 2012 18:30, Moscow, MSU, auditorium 16-04

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

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

April 3, 2012
80. 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
81. 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
82. 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
83. 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
84. 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