Shehtman, V. B. On squares of modal logics with additional connectives. (English. Russian original) Zbl 1294.03018 Proc. Steklov Inst. Math. 274, 317-325 (2011); translation from Tr. Mat. Inst. Steklova 274, 343-351 (2011). MSC: 03B45 PDF BibTeX XML Cite \textit{V. B. Shehtman}, Proc. Steklov Inst. Math. 274, 317--325 (2011; Zbl 1294.03018); translation from Tr. Mat. Inst. Steklova 274, 343--351 (2011) Full Text: DOI OpenURL
Shamkanov, Daniyar S. Interpolation properties for provability logics GL and GLP. (English. Russian original) Zbl 1294.03039 Proc. Steklov Inst. Math. 274, 303-316 (2011); translation from Tr. Mat. Inst. Steklova 274, 329-343 (2011). MSC: 03F45 03C40 PDF BibTeX XML Cite \textit{D. S. Shamkanov}, Proc. Steklov Inst. Math. 274, 303--316 (2011; Zbl 1294.03039); translation from Tr. Mat. Inst. Steklova 274, 329--343 (2011) Full Text: DOI arXiv OpenURL
Talambutsa, A. L. Attainability of the minimal exponential growth rate for free products of finite cyclic groups. (English. Russian original) Zbl 1297.20024 Proc. Steklov Inst. Math. 274, 289-302 (2011); translation from Tr. Mat. Inst. Steklova 274, 314-328 (2011). MSC: 20E06 20F05 20F69 PDF BibTeX XML Cite \textit{A. L. Talambutsa}, Proc. Steklov Inst. Math. 274, 289--302 (2011; Zbl 1297.20024); translation from Tr. Mat. Inst. Steklova 274, 314--328 (2011) Full Text: DOI OpenURL
Taitslin, M. A. Comparison of expressive power of some query languages for databases. (English. Russian original) Zbl 1358.68089 Proc. Steklov Inst. Math. 274, 273-288 (2011); translation from Tr. Mat. Inst. Steklova 274, 297-313 (2011). MSC: 68P15 PDF BibTeX XML Cite \textit{M. A. Taitslin}, Proc. Steklov Inst. Math. 274, 273--288 (2011; Zbl 1358.68089); translation from Tr. Mat. Inst. Steklova 274, 297--313 (2011) Full Text: DOI OpenURL
Semenov, A. L.; Soprunov, S. F. Finite quantifier hierarchies in relational algebras. (English. Russian original) Zbl 1294.03024 Proc. Steklov Inst. Math. 274, 267-272 (2011); translation from Tr. Mat. Inst. Steklova 274, 291-296 (2011). MSC: 03C50 08A02 PDF BibTeX XML Cite \textit{A. L. Semenov} and \textit{S. F. Soprunov}, Proc. Steklov Inst. Math. 274, 267--272 (2011; Zbl 1294.03024); translation from Tr. Mat. Inst. Steklova 274, 291--296 (2011) Full Text: DOI OpenURL
Razborov, Alexander A. On the Fon-Der-Flaass interpretation of extremal examples for Turán’s \((3,4)\)-problem. (English. Russian original) Zbl 1296.05099 Proc. Steklov Inst. Math. 274, 247-266 (2011); translation from Tr. Mat. Inst. Steklova 274, 269-290 (2011). MSC: 05C35 PDF BibTeX XML Cite \textit{A. A. Razborov}, Proc. Steklov Inst. Math. 274, 247--266 (2011; Zbl 1296.05099); translation from Tr. Mat. Inst. Steklova 274, 269--290 (2011) Full Text: DOI arXiv OpenURL
Podolskii, Vladimir V. Degree-uniform lower bound on the weights of polynomials with given sign function. (English. Russian original) Zbl 1358.94116 Proc. Steklov Inst. Math. 274, 231-246 (2011); translation from Tr. Mat. Inst. Steklova 274, 252-268 (2011). MSC: 94C10 68Q17 PDF BibTeX XML Cite \textit{V. V. Podolskii}, Proc. Steklov Inst. Math. 274, 231--246 (2011; Zbl 1358.94116); translation from Tr. Mat. Inst. Steklova 274, 252--268 (2011) Full Text: DOI OpenURL
Plisko, Valerii E. A survey of predicate realizability logic. (English. Russian original) Zbl 1294.03040 Proc. Steklov Inst. Math. 274, 204-230 (2011); translation from Tr. Mat. Inst. Steklova 274, 222-251 (2011). MSC: 03F55 03B20 03F50 PDF BibTeX XML Cite \textit{V. E. Plisko}, Proc. Steklov Inst. Math. 274, 204--230 (2011; Zbl 1294.03040); translation from Tr. Mat. Inst. Steklova 274, 222--251 (2011) Full Text: DOI OpenURL
Muchnik, A. A. Kolmogorov complexity and cryptography. (English. Russian original) Zbl 1293.68178 Proc. Steklov Inst. Math. 274, 193-203 (2011); translation from Tr. Mat. Inst. Steklova 274, 210-221 (2011). MSC: 68Q30 94A60 PDF BibTeX XML Cite \textit{A. A. Muchnik}, Proc. Steklov Inst. Math. 274, 193--203 (2011; Zbl 1293.68178); translation from Tr. Mat. Inst. Steklova 274, 210--221 (2011) Full Text: DOI OpenURL
Movsisyan, Yu. M. Bilattices and hyperidentities. (English. Russian original) Zbl 1294.06007 Proc. Steklov Inst. Math. 274, 174-192 (2011); translation from Tr. Mat. Inst. Steklova 274, 191-209 (2011). MSC: 06B20 06B75 08B05 PDF BibTeX XML Cite \textit{Yu. M. Movsisyan}, Proc. Steklov Inst. Math. 274, 174--192 (2011; Zbl 1294.06007); translation from Tr. Mat. Inst. Steklova 274, 191--209 (2011) Full Text: DOI OpenURL
Lysenok, Igor G.; Myasnikov, Alexei G. A polynomial bound on solutions of quadratic equations in free groups. (English. Russian original) Zbl 1297.20046 Proc. Steklov Inst. Math. 274, 136-173 (2011); translation from Tr. Mat. Inst. Steklova 274, 148-190 (2011). MSC: 20F70 20E05 PDF BibTeX XML Cite \textit{I. G. Lysenok} and \textit{A. G. Myasnikov}, Proc. Steklov Inst. Math. 274, 136--173 (2011; Zbl 1297.20046); translation from Tr. Mat. Inst. Steklova 274, 148--190 (2011) Full Text: DOI arXiv OpenURL
de Luca, Aldo A palindromization map on free monoids. (English) Zbl 1298.68204 Proc. Steklov Inst. Math. 274, 124-135 (2011) and Tr. Mat. Inst. Steklova 274, 137-147 (2011). MSC: 68R15 PDF BibTeX XML Cite \textit{A. de Luca}, Proc. Steklov Inst. Math. 274, 124--135 (2011; Zbl 1298.68204) Full Text: DOI OpenURL
Karhumäki, Juhani; Saarela, Aleksi On maximal chains of systems of word equations. (English) Zbl 1297.68193 Proc. Steklov Inst. Math. 274, 116-123 (2011) and Tr. Mat. Inst. Steklova 274, 130-136 (2011). MSC: 68R15 PDF BibTeX XML Cite \textit{J. Karhumäki} and \textit{A. Saarela}, Proc. Steklov Inst. Math. 274, 116--123 (2011; Zbl 1297.68193) Full Text: DOI arXiv OpenURL
Goncharov, S. S. Degrees of autostability relative to strong constructivizations. (English. Russian original) Zbl 1294.03025 Proc. Steklov Inst. Math. 274, 105-115 (2011); translation from Tr. Mat. Inst. Steklova 274, 119-129 (2011). MSC: 03C57 PDF BibTeX XML Cite \textit{S. S. Goncharov}, Proc. Steklov Inst. Math. 274, 105--115 (2011; Zbl 1294.03025); translation from Tr. Mat. Inst. Steklova 274, 119--129 (2011) Full Text: DOI OpenURL
Vereshchagin, N. K.; Muchnik, An. A. On joint conditional complexity (entropy). (English. Russian original) Zbl 1358.68151 Proc. Steklov Inst. Math. 274, 90-104 (2011); translation from Tr. Mat. Inst. Steklova 274, 103-118 (2011). MSC: 68Q30 62B10 94A17 PDF BibTeX XML Cite \textit{N. K. Vereshchagin} and \textit{An. A. Muchnik}, Proc. Steklov Inst. Math. 274, 90--104 (2011; Zbl 1358.68151); translation from Tr. Mat. Inst. Steklova 274, 103--118 (2011) Full Text: DOI OpenURL
Bienvenu, Laurent; Gács, Peter; Hoyrup, Mathieu; Rojas, Cristobal; Shen, Alexander Algorithmic tests and randomness with respect to a class of measures. (English. Russian original) Zbl 1294.03032 Proc. Steklov Inst. Math. 274, 34-89 (2011); translation from Tr. Mat. Inst. Steklova 274, 41-102 (2011). MSC: 03D32 68Q30 PDF BibTeX XML Cite \textit{L. Bienvenu} et al., Proc. Steklov Inst. Math. 274, 34--89 (2011; Zbl 1294.03032); translation from Tr. Mat. Inst. Steklova 274, 41--102 (2011) Full Text: DOI arXiv OpenURL
Beklemishev, L. D. A simplified proof of arithmetical completeness theorem for provability logic GLP. (English. Russian original) Zbl 1294.03038 Proc. Steklov Inst. Math. 274, 25-33 (2011); translation from Tr. Mat. Inst. Steklova 274, 32-40 (2011). MSC: 03F45 PDF BibTeX XML Cite \textit{L. D. Beklemishev}, Proc. Steklov Inst. Math. 274, 25--33 (2011; Zbl 1294.03038); translation from Tr. Mat. Inst. Steklova 274, 32--40 (2011) Full Text: DOI OpenURL
Atabekyan, V. S. On normal subgroups in the periodic products of S. I. Adyan. (English. Russian original) Zbl 1297.20035 Proc. Steklov Inst. Math. 274, 9-24 (2011); translation from Tr. Mat. Inst. Steklova 274, 15-31 (2011). MSC: 20F50 20E06 20E07 20F05 PDF BibTeX XML Cite \textit{V. S. Atabekyan}, Proc. Steklov Inst. Math. 274, 9--24 (2011; Zbl 1297.20035); translation from Tr. Mat. Inst. Steklova 274, 15--31 (2011) Full Text: DOI OpenURL
Novikov, P. S.; Adyan, S. I. On a semicontinuous function (Reprint). (English. Russian original) Zbl 1296.26015 Proc. Steklov Inst. Math. 274, 4-8 (2011); translation from Tr. Mat. Inst. Steklova 274, 10-14 (2011). Reviewer: Zoltán Finta (Cluj-Napoca) MSC: 26A15 26A21 PDF BibTeX XML Cite \textit{P. S. Novikov} and \textit{S. I. Adyan}, Proc. Steklov Inst. Math. 274, 4--8 (2011; Zbl 1296.26015); translation from Tr. Mat. Inst. Steklova 274, 10--14 (2011) Full Text: DOI OpenURL
Beklemishev, Lev D. (ed.) Foreword. (English. Russian original) Zbl 1298.00096 Proc. Steklov Inst. Math. 274, 1-3 (2011); translation from Tr. Mat. Inst. Steklova 274, 7-9 (2011). MSC: 00B15 01A70 PDF BibTeX XML Cite \textit{L. D. Beklemishev} (ed.), Proc. Steklov Inst. Math. 274, 1--3 (2011; Zbl 1298.00096); translation from Tr. Mat. Inst. Steklova 274, 7--9 (2011) Full Text: DOI OpenURL