List of seminars
Archive by years
Register a seminar
You may need the following programs to see the files
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 3, 2015
, Moscow, MSU, auditorium 16-04
Decidability of the elementary theory of the free GLP-algebra generated by constants.
F. N. Pakhomov
Number of views:
math-net2017_12 [at] mi.ras ru
Steklov Mathematical Institute RAS