|
Sergei Ivanovich Adyan (photo)
|
|
|
|
Foreword
L. D. Beklemishev
|
7 |
|
|
On a semicontinuous function
P. S. Novikov, S. I. Adian
|
10 |
|
|
On normal subgroups in the periodic products of S. I. Adian
V. S. Atabekyan
|
15 |
|
|
A simplified proof of arithmetical completeness theorem for provability logic $\mathbf{GLP}$
L. D. Beklemishev
|
32 |
|
|
Algorithmic tests and randomness with respect to a class of measures
Laurent Bienvenu, Peter Gács, Mathieu Hoyrup, Cristobal Rojas, Alexander Shen
|
41 |
|
|
On joint conditional complexity (entropy)
Nikolay K. Vereshchagin, Andrej A. Muchnik
|
103 |
|
|
Degrees of autostability relative to strong constructivizations
S. S. Goncharov
|
119 |
|
|
On maximal chains of systems of word equations
Juhani Karhumäki, Aleksi Saarela
|
130 |
|
|
A palindromization map on free monoids
Aldo de Luca
|
137 |
|
|
A polynomial bound on solutions of quadratic equations in free groups
Igor G. Lysenok, Alexei G. Myasnikov
|
148 |
|
|
Bilattices and hyperidentities
Yu. M. Movsisyan
|
191 |
|
|
Kolmogorov complexity and cryptography
Andrej A. Muchnik
|
210 |
|
|
A survey of predicate realizability logic
Valerii E. Plisko
|
222 |
|
|
Degree-uniform lower bound on the weights of polynomials with given sign function
Vladimir V. Podolskii
|
252 |
|
|
On the Fon-Der-Flaass interpretation of extremal examples for Turán's $(3,4)$-problem
Alexander A. Razborov
|
269 |
|
|
Finite quantifier hierarchies in relational algebras
A. L. Semenov, S. F. Soprunov
|
291 |
|
|
Comparison of expressive power of some query languages for databases
M. A. Taitslin
|
297 |
|
|
Attainability of the minimal exponential growth rate for free products of finite cyclic groups
A. L. Talambutsa
|
314 |
|
|
Interpolation properties for provability logics $\mathbf{GL}$ and $\mathbf{GLP}$
Daniyar S. Shamkanov
|
329 |
|
|
On squares of modal logics with additional connectives
V. B. Shehtman
|
343 |
