1. Foreword

   • Lev D. Beklemishev

   OriginalPaper 16 October 2011 Pages: 1 - 3

2. On a semicontinuous function

   • P. S. Novikov
   • S. I. Adian

   OriginalPaper 16 October 2011 Pages: 4 - 8

3. On normal subgroups in the periodic products of S.I. Adian

   • V. S. Atabekyan

   OriginalPaper 16 October 2011 Pages: 9 - 24

4. A simplified proof of arithmetical completeness theorem for provability logic GLP

   • L. D. Beklemishev

   OriginalPaper 16 October 2011 Pages: 25 - 33

5. Algorithmic tests and randomness with respect to a class of measures

   • Laurent Bienvenu
   • Peter Gács
   • Alexander Shen

   OriginalPaper 16 October 2011 Pages: 34 - 89

6. On joint conditional complexity (Entropy)

   • Nikolay K. Vereshchagin
   • Andrej A. Muchnik

   OriginalPaper 16 October 2011 Pages: 90 - 104

7. Degrees of autostability relative to strong constructivizations

   • S. S. Goncharov

   OriginalPaper 16 October 2011 Pages: 105 - 115

8. On maximal chains of systems of word equations

   • Juhani Karhumäki
   • Aleksi Saarela

   OriginalPaper 16 October 2011 Pages: 116 - 123

9. A palindromization map on free monoids

   • Aldo de Luca

   OriginalPaper 16 October 2011 Pages: 124 - 135

10. A polynomial bound on solutions of quadratic equations in free groups

    • Igor G. Lysenok
    • Alexei G. Myasnikov

    OriginalPaper 16 October 2011 Pages: 136 - 173

11. Bilattices and hyperidentities

    • Yu. M. Movsisyan

    OriginalPaper 16 October 2011 Pages: 174 - 192

12. Kolmogorov complexity and cryptography

    • Andrej A. Muchnik

    OriginalPaper 16 October 2011 Pages: 193 - 203

13. A survey of predicate realizability logic

    • Valerii E. Plisko

    OriginalPaper 16 October 2011 Pages: 204 - 230

14. Degree-uniform lower bound on the weights of polynomials with given sign function

    • Vladimir V. Podolskii

    OriginalPaper 16 October 2011 Pages: 231 - 246

15. On the Fon-Der-Flaass interpretation of extremal examples for Turán’s (3, 4)-problem

    • Alexander A. Razborov

    OriginalPaper 16 October 2011 Pages: 247 - 266

16. Finite quantifier hierarchies in relational algebras

    • A. L. Semenov
    • S. F. Soprunov

    OriginalPaper 16 October 2011 Pages: 267 - 272

17. Comparison of expressive power of some query languages for databases

    • M. A. Taitslin

    OriginalPaper 16 October 2011 Pages: 273 - 288

18. Attainability of the minimal exponential growth rate for free products of finite cyclic groups

    • A. L. Talambutsa

    OriginalPaper 16 October 2011 Pages: 289 - 302

19. Interpolation properties for provability logics GL and GLP

    • Daniyar S. Shamkanov

    OriginalPaper 16 October 2011 Pages: 303 - 316

20. On squares of modal logics with additional connectives

    • V. B. Shehtman

    OriginalPaper 16 October 2011 Pages: 317 - 325