Publications

Publications that are in Math Arxiv

Publications on MathSciNet

MR4249973 Reviewed Kharlampovich, Olga; Natoli, Christopher Non-

∀-homogeneity in free groups. Bull. Math. Sci. 11 (2021), no. 1, Paper No. 2050019, 14 pp. (Reviewer: Bojana Pantić) 03C60 (20E05 20F70)

MR4237893 Reviewed Kharlampovich, Olga; Vdovina, Alina Beyond Serre's "Trees" in two directions:

Λ-trees and products of trees. Handbook of group actions. V, 179–222, Adv. Lect. Math. (ALM), 48, Int. Press, Somerville, MA, [2020], ©2020. (Reviewer: Christopher H. Cashen) 20E08 (20F65)

MR4142544 Prelim Kharlampovich, Olga; Weil, Pascal On the generalized membership problem in relatively hyperbolic groups. Fields of logic and computation. III, 147–155, Lecture Notes in Comput. Sci., 12180, Springer, Cham, [2020], ©2020. 20F10 (20F67)

MR4109575 Reviewed Kharlampovich, Olga; López, Laura; Myasnikov, Alexei The Diophantine problem in some metabelian groups. Math. Comp. 89 (2020), no. 325, 2507–2519.

MR4044700 Reviewed Kharlampovich, Olga; Myasnikov, Alexei; Sklinos, Rizos Fraïssé limits of limit groups. J. Algebra 545 (2020), 300–323. (Reviewer: Adrien Deloro) 03C60 (20E05 20E26)

MR4026475 Reviewed Kharlampovich, Olga; Myasnikov, Alexei; Taam, Alexander Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups. Groups Complex. Cryptol. 11 (2019), no. 2, 83–101. (Reviewer: Xiaolei Wu) 20F70 (20F67)

MR3978502 Reviewed Kharlampovich, Olga; López, Laura Bi-interpretability of some monoids with the arithmetic and applications. Semigroup Forum 99 (2019), no. 1, 126–139. (Reviewer: Branimir Šešelja) 03F25 (03C40 03C62 20M35)

MR3934785 Reviewed Kharlampovich, Olga; Vdovina, Alina Low complexity algorithms in knot theory. Internat. J. Algebra Comput. 29 (2019), no. 2, 245–262. 57M27 (20F10)

MR3896103 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Undecidability of equations in free Lie algebras. Trans. Amer. Math. Soc. 371 (2019), no. 4, 2987–2999. (Reviewer: Erik Darpö) 03C60 (17B01)

MR3899222 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Equations in algebras. Internat. J. Algebra Comput. 28 (2018), no. 8, 1517–1533. (Reviewer: Aleksandr V. Kravchenko) 16B70 (03C60)

MR3868046 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Undecidability of the first order theories of free noncommutative Lie algebras. J. Symb. Log. 83 (2018), no. 3, 1204–1216. (Reviewer: Quentin Brouette) 03C60 (03B25)

MR3780014 Reviewed Kharlampovich, Olga; Myasnikov, Alexei What does a group algebra of a free group "know'' about the group? Ann. Pure Appl. Logic 169 (2018), no. 6, 523–547. (Reviewer: Rizos Sklinos) 03C60 (16B70 20E05)

MR3765470 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Tarski-type problems for free associative algebras. J. Algebra 500 (2018), 589–643. (Reviewer: Grzegorz Pastuszak) 03C60 (03C45 16S99)

MR3680926 Reviewed Kharlampovich, Olga; Miasnikov, Alexei; Weil, Pascal Stallings graphs for quasi-convex subgroups. J. Algebra 488 (2017), 442–483. 05C25 (20F67)

Review PDF Clipboard Journal Article 8 Citations

MR3671739 Reviewed Kharlampovich, Olga; Myasnikov, Alexei; Sapir, Mark Algorithmically complex residually finite groups. Bull. Math. Sci. 7 (2017), no. 2, 309–352. (Reviewer: Kanduru Venkata Krishna) 20D15 (68Q05 68R05)

Review PDF Clipboard Journal Article 17 Citations

MR3660218 Reviewed Kharlampovich, Olga; Mohajeri, Atefeh; Taam, Alexander; Vdovina, Alina Quadratic equations in hyperbolic groups are NP-complete. Trans. Amer. Math. Soc. 369 (2017), no. 9, 6207–6238. (Reviewer: Vassilis Metaftsis) 20F10 (20F65 20F67 68Q25)

Review PDF Clipboard Journal Article 5 Citations

MR3325878 Reviewed Diekert, Volker; Kharlampovich, Olga; Moghaddam, Atefeh Mohajeri SLP compression for solutions of equations with constraints in free and hyperbolic groups. Internat. J. Algebra Comput. 25 (2015), no. 1-2, 81–111. (Reviewer: Mohammad Shahryari) 20F10 (20F65 20F67 20F70)

Review PDF Clipboard Journal Article

MR3728613 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems. Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. II, 223–245, Kyung Moon Sa, Seoul, 2014. (Reviewer: Cédric Milliet) 20A15 (03B25 03C60 03D15 20E05 20F67)

Review PDF Clipboard Series Chapter 5 Citations

MR3209707 Reviewed Kharlampovich, Olga; Khoussainov, Bakhadyr; Miasnikov, Alexei From automatic structures to automatic groups. Groups Geom. Dyn. 8 (2014), no. 1, 157–198. (Reviewer: Stephan Rosebrock) 20F10 (20F65)

Review PDF Clipboard Journal Article 25 Citations

MR3200362 Reviewed Kharlampovich, Olga; Myasnikov, Alexei; Serbin, Denis Infinite words and universal free actions. Groups Complex. Cryptol. 6 (2014), no. 1, 55–69. (Reviewer: Vitaly A. Romanʹkov) 20F65 (20E08)

Review PDF Clipboard Journal Article 4 Citations

MR3196052 Reviewed Fine, Benjamin; Kharlampovich, Olga G.; Myasnikov, Alexei G.; Remeslennikov, Vladimir N.; Rosenberger, G. Tame automorphisms of elementary free groups. Comm. Algebra 42 (2014), no. 8, 3386–3394. (Reviewer: Dawid Kielak) 20F28 (20E05 20F65)

Review PDF Clipboard Journal Article

MR3145130 Reviewed Bumagin, Inna; Kharlampovich, Olga

ℤn-free groups are CAT(0). J. Lond. Math. Soc. (2) 88 (2013), no. 3, 761–778. (Reviewer: Michael L. Mihalik) 20E08 (20F65 20F67)

Review PDF Clipboard Journal Article 1 Citation

MR3101004 Reviewed Kharlampovich, Olga; Macdonald, Jeremy Effective embedding of residually hyperbolic groups into direct products of extensions of centralizers. J. Group Theory 16 (2013), no. 5, 619–650. (Reviewer: Richard Weidmann) 20F67 (20E26)

Review PDF Clipboard Journal Article 3 Citations

MR3040804 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Definable sets in a hyperbolic group. Internat. J. Algebra Comput. 23 (2013), no. 1, 91–110. (Reviewer: Mohammad Shahryari) 20E05 (03C40 20A15 20F67)

Review PDF Clipboard Journal Article 16 Citations

MR3038860 Reviewed Kharlampovich, Olga; Myasnikov, Alexei; Serbin, Denis Actions, length functions, and non-Archimedean words. Internat. J. Algebra Comput. 23 (2013), no. 2, 325–455. (Reviewer: Michael L. Mihalik) 20E08 (20F65 20F67)

Review PDF Clipboard Journal Article 12 Citations

MR3010818 Reviewed Kharlampovich, Olga; Ventura, Enric A Whitehead algorithm for toral relatively hyperbolic groups. Internat. J. Algebra Comput. 22 (2012), no. 8, 1240004, 9 pp. 20F67 (20E36)

Review PDF Clipboard Journal Article 1 Citation

MR2911880 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Limits of relatively hyperbolic groups and Lyndon's completions. J. Eur. Math. Soc. (JEMS) 14 (2012), no. 3, 659–680. (Reviewer: Eduardo Martínez-Pedroza) 20F65 (20F70)

Review PDF Clipboard Journal Article 12 Citations

MR2903747 Reviewed Kharlampovich, Olga; Moghaddam, Atefeh Mohajeri Approximation of geodesics in metabelian groups. Internat. J. Algebra Comput. 22 (2012), no. 2, 1250012, 10 pp. (Reviewer: Eric M. Freden) 20F10 (20F65 68Q25 68W25)

Review PDF Clipboard Journal Article 2 Citations

MR2900857 Reviewed Kharlampovich, Olga; Vdovina, Alina Linear estimates for solutions of quadratic equations in free groups. Internat. J. Algebra Comput. 22 (2012), no. 1, 1250004, 16 pp. (Reviewer: Nicholas W. M. Touikan) 20F70 (20F10 20F65)

Review PDF Clipboard Journal Article 5 Citations

MR2888231 Reviewed Kharlampovich, Olga; Myasnikov, Alexei; Remeslennikov, Vladimir; Serbin, Denis Groups with free regular length functions in

ℤn. Trans. Amer. Math. Soc. 364 (2012), no. 6, 2847–2882. (Reviewer: Vassilis Metaftsis) 20E08 (20E06 20F65)

Review PDF Clipboard Journal Article 9 Citations

MR2744021 Reviewed Kharlampovich, Olga; Myasnikov, Alexei G. Equations and fully residually free groups. Combinatorial and geometric group theory, 203–242, Trends Math., Birkhäuser/Springer Basel AG, Basel, 2010. (Reviewer: Arye Juhász) 20F70 (03C07 03C60 20A15 20E26)

Review PDF Clipboard Series Chapter 12 Citations

MR2643918 Reviewed Kharlampovich, O.; Lysënok, I. G.; Myasnikov, A. G.; Touikan, N. W. M. The solvability problem for quadratic equations over free groups is NP-complete. Theory Comput. Syst. 47 (2010), no. 1, 250–258. 68Q17 (20F70)

Review PDF Clipboard Journal Article 8 Citations

MR2435594 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Equations and algorithmic problems in groups. Publicações Matemáticas do IMPA. [IMPA Mathematical Publications] XX Escola de Álgebra. [XX School of Algebra] Instituto Nacional de Matemática Pura e Aplicada (IMPA), Rio de Janeiro, 2008. ii+37 pp. ISBN: 978-85-244-0277-7 (Reviewer: O. V. Belegradek) 20E05 (20F10)

Review PDF Clipboard Series Book 2 Citations

MR2381022 Reviewed Kharlampovich, Olga; Myasnikov, Alexei; Remeslennikov, Vladimir; Serbin, Denis Exponential extensions of groups. J. Group Theory 11 (2008), no. 1, 119–140. (Reviewer: Ian M. Chiswell) 20E06 (20J06)

Review PDF Clipboard Journal Article 2 Citations

MR2367908 Reviewed Fine, B.; Kharlampovich, O. G.; Myasnikov, A. G.; Remeslennikov, V. N.; Rosenberger, G. On the surface group conjecture. Sci. Ser. A Math. Sci. (N.S.) 15 (2007), 1–15. (Reviewer: Armando Martino) 20F05 (20E07 20E26 20F18)

Review PDF Clipboard Journal Article 3 Citations

MR2283438 Reviewed Bumagin, Inna; Kharlampovich, Olga; Miasnikov, Alexei The isomorphism problem for finitely generated fully residually free groups. J. Pure Appl. Algebra 208 (2007), no. 3, 961–977. (Reviewer: Qinhai Zhang) 20E26 (20F10)

Review PDF Clipboard Journal Article 22 Citations

MR2293770 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Elementary theory of free non-abelian groups. J. Algebra 302 (2006), no. 2, 451–552. (Reviewer: O. V. Belegradek) 20E05 (03B25 03C60 20F10)

Review PDF Clipboard Journal Article 125 Citations

MR2159317 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Algebraic geometry over free groups: lifting solutions into generic points. Groups, languages, algorithms, 213–318, Contemp. Math., 378, Amer. Math. Soc., Providence, RI, 2005. (Reviewer: O. V. Belegradek) 20E05 (03C05 20F10)

Review PDF Clipboard Series Chapter 18 Citations

MR2159316 Reviewed Kharlampovich, Olga; Myasnikov, Alexei G. Effective JSJ decompositions. Groups, languages, algorithms, 87–212, Contemp. Math., 378, Amer. Math. Soc., Providence, RI, 2005. (Reviewer: Martin Edjvet) 20F10 (03C05)

Review PDF Clipboard Series Chapter 38 Citations

MR2154989 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Implicit function theorem over free groups. J. Algebra 290 (2005), no. 1, 1–203. (Reviewer: Alina A. Vdovina) 20E05 (20F10)

Review PDF Clipboard Journal Article 43 Citations

MR2105437 Reviewed Kharlampovich, Olga G.; Myasnikov, Alexei G.; Remeslennikov, Vladimir N.; Serbin, Denis E. Subgroups of fully residually free groups: algorithmic problems. Group theory, statistics, and cryptography, 63–101, Contemp. Math., 360, Amer. Math. Soc., Providence, RI, 2004. (Reviewer: Dennis Spellman) 20F10 (20E08 20E26)

Review PDF Clipboard Series Chapter 22 Citations

MR1873109 Reviewed Kharlampovich, O.; Myasnikov, A. Implicit function theorem over free groups and genus problem. Knots, braids, and mapping class groups—papers dedicated to Joan S. Birman (New York, 1998), 77–83, AMS/IP Stud. Adv. Math., 24, Amer. Math. Soc., Providence, RI, 2001. (Reviewer: Stephen P. Humphries) 20E05 (57M05)

Review PDF Clipboard Series Chapter 5 Citations

MR1798200 Indexed Kharlampovich, Olga Equations over free and fully residually free groups. Formal power series and algebraic combinatorics (Moscow, 2000), 45–53, Springer, Berlin, 2000. 20E05 (20E26)

Review PDF Clipboard Series Chapter 3 Citations

MR1653685 Reviewed Kharlampovich, O.; Myasnikov, A. Description of fully residually free groups and irreducible affine varieties over a free group. Summer School in Group Theory in Banff, 1996, 71–80, CRM Proc. Lecture Notes, 17, Amer. Math. Soc., Providence, RI, 1999. (Reviewer: Dennis Spellman) 20E05 (20E26 20F10)

Review PDF Clipboard Series Chapter 17 Citations

MR1443195 Reviewed Kharlampovich, O.; Lioutikova, E.; Myasnikov, A. Equations in the

Q-completion of a torsion-free hyperbolic group. Trans. Amer. Math. Soc. 351 (1999), no. 7, 2961–2978. (Reviewer: Jon M. Corson) 20F10 (03D40 11U05 57M07)

Review PDF Clipboard Journal Article 2 Citations

MR1662319 Reviewed Kharlampovich, Olga; Myasnikov, Alexei Tarski's problem about the elementary theory of free groups has a positive solution. Electron. Res. Announc. Amer. Math. Soc. 4 (1998), 101–108. (Reviewer: R. Stöhr) 20E05 (03B25 03C60 20F10)

Review PDF Clipboard Journal Article 21 Citations

MR1610664 Reviewed Kharlampovich, O.; Myasnikov, A. Irreducible affine varieties over a free group. II. Systems in triangular quasi-quadratic form and description of residually free groups. J. Algebra 200 (1998), no. 2, 517–570. 20E10 (20E26)

Review PDF Clipboard Journal Article 119 Citations

MR1610660 Reviewed Kharlampovich, O.; Myasnikov, A. Irreducible affine varieties over a free group. I. Irreducibility of quadratic equations and Nullstellensatz. J. Algebra 200 (1998), no. 2, 472–516. 20E10

Review PDF Clipboard Journal Article 112 Citations

MR1390041 Reviewed Kharlampovich, O.; Myasnikov, A. Hyperbolic groups and free constructions. Trans. Amer. Math. Soc. 350 (1998), no. 2, 571–613. (Reviewer: Michael L. Mihalik) 20F32 (20E06)

Review PDF Clipboard Journal Article 57 Citations

MR1389782 Reviewed Kharlampovich, O.; Myasnikov, A. Equations in a free

Q-group. Trans. Amer. Math. Soc. 350 (1998), no. 3, 947–974. (Reviewer: Jon M. Corson) 20F10 (03D40 11U05)

Review PDF Clipboard Journal Article 5 Citations

MR1361261 Reviewed Kharlampovich, O. G.; Sapir, M. V. Algorithmic problems in varieties. Internat. J. Algebra Comput. 5 (1995), no. 4-5, 379–602. (Reviewer: Vesselin Drensky) 20E10 (03Dxx 08A50 16R10 17B01 20M07 68Q40)

Review PDF Clipboard Journal Article 86 Citations

MR1344261 Reviewed Gildenhuys, D.; Kharlampovich, O.; Myasnikov, A. CSA-groups and separated free constructions. Bull. Austral. Math. Soc. 52 (1995), no. 1, 63–84. (Reviewer: Dimitrios Varsos) 20E06 (20F05)

Review PDF Clipboard Journal Article 24 Citations

MR1327871 Reviewed Kharlampovich, O. The word problem for the Burnside varieties. J. Algebra 173 (1995), no. 3, 613–621. (Reviewer: F. Levin) 20F10 (20E10)

Review PDF Clipboard Journal Article 3 Citations

MR1320282 Reviewed Kharlampovich, O. G.; Sapir, M. V. A non-residually finite, relatively finitely presented group in the variety 𝒩2𝒜. Combinatorial and geometric group theory (Edinburgh, 1993), 184–189, London Math. Soc. Lecture Note Ser., 204, Cambridge Univ. Press, Cambridge, 1995. (Reviewer: Francesco de Giovanni) 20E10

Review PDF Clipboard Series Chapter 1 Citation

MR1313198 Reviewed Gildenhuys, D.; Ivanov, S.; Kharlampovich, O. On a family of one-relator pro-

p-groups. Proc. Roy. Soc. Edinburgh Sect. A 124 (1994), no. 6, 1199–1207. (Reviewer: L. Ribes) 20E18 (20J99)

Review PDF Clipboard Journal Article

MR1297153 Reviewed Kharlampovich, O.; Gildenhuys, D. The word problem for some varieties of solvable Lie algebras. Internat. J. Algebra Comput. 4 (1994), no. 3, 481–491. (Reviewer: José María Ancochea Bermúdez) 17B30 (03D35 03D40)

Review PDF Clipboard Journal Article

MR1231618 Reviewed Kharlampovich, O.; Gildenhuys, D. Varieties of Lie algebras with solvable word problem. Comm. Algebra 21 (1993), no. 10, 3571–3609. (Reviewer: L. Bokutʹ) 17B01

Review PDF Clipboard Journal Article

MR1230628 Reviewed Kharlampovich, O. The word problem for solvable groups and Lie algebras. Algorithms and classification in combinatorial group theory (Berkeley, CA, 1989), 61–67, Math. Sci. Res. Inst. Publ., 23, Springer, New York, 1992. (Reviewer: Friedrich Otto) 20F10 (17B30 20E10 20F16)

Review PDF Clipboard Series Chapter 2 Citations

MR1175821 Reviewed Kharlampovich, O. The word problem for solvable groups and Lie algebras, a boundary between solvability and unsolvability. Proceedings of the International Conference on Algebra, Part 2 (Novosibirsk, 1989), 53–57, Contemp. Math., 131, Part 2, Amer. Math. Soc., Providence, RI, 1992. 20F10 (03D40)

Review PDF Clipboard Series Chapter 2 Citations

MR1154446 Reviewed Kharlampovich, O.; Gildenhuys, D. Identities in the variety of center-by-

𝔑2𝔄 Lie algebras. Internat. J. Algebra Comput. 1 (1991), no. 4, 493–521. (Reviewer: S. P. Mishchenko) 17B01 (08B05 17B30)

Review PDF Clipboard Journal Article

MR1019480 Reviewed Kharlampovich, O. G. The word problem for solvable Lie algebras and groups. (Russian) Mat. Sb. 180 (1989), no. 8, 1033–1066, 1150; translation in Math. USSR-Sb. 67 (1990), no. 2, 489–525 (Reviewer: L. Bokutʹ) 17B05 (17B30 20F10)

Review PDF Clipboard Series Article

MR1032911 Reviewed Kharlampovich, O. G. Finitely presented solvable groups and Lie algebras with an unsolvable word problem. (Russian) Mat. Zametki 46 (1989), no. 3, 80–92, 128; translation in Math. Notes 46 (1989), no. 3-4, 731–738 (1990) (Reviewer: M. Greendlinger) 20F10 (17B99 20E10 20F05)

Review PDF Clipboard Series Article 2 Citations

MR1017781 Reviewed Sapir, M. V.; Kharlampovich, O. G. The word problem in varieties of associative algebras and Lie algebras. (Russian) Izv. Vyssh. Uchebn. Zaved. Mat. 1989, no. 6, 76–84; translation in Soviet Math. (Iz. VUZ) 33 (1989), no. 6, 77–86 (Reviewer: M. Greendlinger) 08A50 (12H20 16R10 17B99)

Review PDF Clipboard Series Article 1 Citation

MR0983289 Reviewed Kharlampovich, O. G. The word problem in the variety

Z𝔑2𝔄. (Russian) Izv. Vyssh. Uchebn. Zaved. Mat. 1988, no. 11, 82–84; translation in Soviet Math. (Iz. VUZ) 32 (1988), no. 11, 136–140 20F10 (17B99 20E10)

Review PDF Clipboard Series Article 2 Citations

MR0963098 Reviewed Kharlampovich, O. G. The word problem for subvarieties of the variety

𝔑2𝔄. (Russian) Algebra i Logika 26 (1987), no. 4, 481–501, 526. (Reviewer: O. V. Belegradek) 20F10 (20E10)

Review PDF Clipboard Journal Article 2 Citations

MR0883590 Reviewed Melʹnichuk, I. L.; Sapir, M. V.; Kharlampovich, O. G. The word problem in varieties of semigroups, rings and Lie algebras. (Russian) Sibirsk. Mat. Zh. 27 (1986), no. 6, 144–156, 225. (Reviewer: M. Greendlinger) 08A50 (17B99 20M05 20M07)

Review PDF Clipboard Journal Article

MR0810809 Reviewed Kharlampovich, O. G. The universal theory of certain classes of Lie rings. (Russian) Ural. Gos. Univ. Mat. Zap. 13 (1984), no. 4, Issled. Algebr. Sist., 156–164, v. (Reviewer: O. V. Belegradek) 03D35 (03C60 03C65 17B99)

Review PDF Clipboard Journal Article 1 Citation

MR0769566 Reviewed Kharlampovich, O. G. Lyndon's condition for solvable Lie algebras. (Russian) Izv. Vyssh. Uchebn. Zaved. Mat. 1984, no. 9, 50–59. (Reviewer: V. A. Artamonov) 17B99

Review PDF Clipboard Journal Article 7 Citations

MR0704438 Reviewed Kharlampovich, O. G. The universal theory of the class of finite nilpotent groups is undecidable. (Russian) Mat. Zametki 33 (1983), no. 4, 499–516. (Reviewer: O. V. Belegradek) 20F10 (03D35 20F18)

Review PDF Clipboard Journal Article 3 Citations

MR0631441 Reviewed Harlampovič, O. G. A finitely presented solvable group with unsolvable word problem. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), no. 4, 852–873, 928. (Reviewer: L. Bokutʹ) 20F10 (03D40)

Review PDF Clipboard Journal Article 36 Citations