Publications that are in Math Arxiv
MR4945542 - First-order sentences in random groups II:
Kharlampovich, Olga; Sklinos, Rizos
Groups Geom. Dyn. 19 (2025), no. 3, 1107–1127.
Pending
MR4940659 - Groups elementarily equivalent to a finitely generated free metabelian group
Kharlampovich, Olga; Miasnikov, Alexei
Groups Geom. Dyn. 19 (2025), no. 2, 681–710.
Pending
MR4840615 - Quantifying separability in limit groups via representations
Brown, Keino; Kharlampovich, Olga
Selecta Math. (N.S.) 31 (2025), no. 1, Paper No. 8, 19 pp.
(Reviewer:Jaikin-Zapirain, Andrei)
Reviewed
MR4887981 - On countable elementary free groups
Kharlampovich, Olga; Natoli, Christopher
De Gruyter, Berlin, 2024, 43–52.
ISBN: 978-3-11-147337-6; 978-3-11-147357-4; 978-3-11-147427-4
(Reviewer:Kravchenko, Aleksandr V.)
Summary
MR4803237 - First-order sentences in random groups I: Universal sentences
Kharlampovich, Olga; Sklinos, Rizos
J. Reine Angew. Math. 815 (2024), 173–227.
(Reviewer:Shahryari, Mohammad)
Reviewed
Kharlampovich, Olga; Natoli, Christopher
Bull. Math. Sci. 11 (2021), no. 1, Paper No. 2050019, 14 pp.
(Reviewer:Pavlica, Bojana)
Reviewed
Open Access
MR4237893 - Beyond Serre's "Trees" in two directions:
Kharlampovich, Olga; Vdovina, Alina
International Press, Somerville, MA, 2020, 179–222.
ISBN: 978-1-57146-390-6
(Reviewer:Cashen, Christopher H.)
Summary
MR4142544 - On the generalized membership problem in relatively hyperbolic groups
Kharlampovich, Olga; Weil, Pascal
Lecture Notes in Comput. Sci., 12180
Springer, Cham, 2020, 147–155.
ISBN: 978-3-030-48006-6; 978-3-030-48005-9
Summary
MR4109575 - The Diophantine problem in some metabelian groups
Kharlampovich, Olga; López, Laura; Myasnikov, Alexei
Math. Comp. 89 (2020), no. 325, 2507–2519.
(Reviewer:Romanʹkov, Vitaly A.)
Reviewed
MR4044700 - Fraïssé limits of limit groups
Kharlampovich, Olga; Myasnikov, Alexei; Sklinos, Rizos
J. Algebra 545 (2020), 300–323.
(Reviewer:Deloro, Adrien)
Reviewed
MR4026475 - Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups
Kharlampovich, Olga; Myasnikov, Alexei; Taam, Alexander
Groups Complex. Cryptol. 11 (2019), no. 2, 83–101.
(Reviewer:Wu, Xiaolei)
Reviewed
MR3978502 - Bi-interpretability of some monoids with the arithmetic and applications
Kharlampovich, Olga; López, Laura
Semigroup Forum 99 (2019), no. 1, 126–139.
(Reviewer:Šešelja, Branimir)
Reviewed
MR3934785 - Low complexity algorithms in knot theory
Kharlampovich, Olga; Vdovina, Alina
Internat. J. Algebra Comput. 29 (2019), no. 2, 245–262.
Summary
MR3896103 - Undecidability of equations in free Lie algebras
Kharlampovich, Olga; Myasnikov, Alexei
Trans. Amer. Math. Soc. 371 (2019), no. 4, 2987–2999.
(Reviewer:Darpö, Erik)
Reviewed
MR3899222 - Equations in algebras
Kharlampovich, Olga; Myasnikov, Alexei
Internat. J. Algebra Comput. 28 (2018), no. 8, 1517–1533.
(Reviewer:Kravchenko, Aleksandr V.)
Reviewed
MR3868046 - Undecidability of the first order theories of free noncommutative Lie algebras
Kharlampovich, Olga; Myasnikov, Alexei
J. Symb. Log. 83 (2018), no. 3, 1204–1216.
(Reviewer:Brouette, Quentin)
Reviewed
MR3780014 - What does a group algebra of a free group ``know'' about the group?
Kharlampovich, Olga; Myasnikov, Alexei
Ann. Pure Appl. Logic 169 (2018), no. 6, 523–547.
(Reviewer:Sklinos, Rizos)
Reviewed
MR3765470 - Tarski-type problems for free associative algebras
Kharlampovich, Olga; Myasnikov, Alexei
J. Algebra 500 (2018), 589–643.
(Reviewer:Pastuszak, Grzegorz)
Reviewed
MR3680926 - Stallings graphs for quasi-convex subgroups
Kharlampovich, Olga; Miasnikov, Alexei; Weil, Pascal
J. Algebra 488 (2017), 442–483.
Summary
MR3671739 - Algorithmically complex residually finite groups
Kharlampovich, Olga; Myasnikov, Alexei; Sapir, Mark
Bull. Math. Sci. 7 (2017), no. 2, 309–352.
(Reviewer:Krishna, Kanduru Venkata)
Reviewed
Open Access
MR3660218 - Quadratic equations in hyperbolic groups are NP-complete
Kharlampovich, Olga; Mohajeri, Atefeh; Taam, Alexander; Vdovina, Alina
Trans. Amer. Math. Soc. 369 (2017), no. 9, 6207–6238.
(Reviewer:Metaftsis, Vassilis)
Reviewed
MR3325878 - SLP compression for solutions of equations with constraints in free and hyperbolic groups
Diekert, Volker; Kharlampovich, Olga; Moghaddam, Atefeh Mohajeri
Internat. J. Algebra Comput. 25 (2015), no. 1-2, 81–111.
(Reviewer:Shahryari, Mohammad)
Reviewed
MR3728613 - Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems
Kharlampovich, Olga; Myasnikov, Alexei
Kyung Moon Sa, Seoul, 2014, 223–245.
ISBN: 978-89-6105-805-6; 978-89-6105-803-2
(Reviewer:Milliet, Cédric)
Reviewed
MR3209707 - From automatic structures to automatic groups
Kharlampovich, Olga; Khoussainov, Bakhadyr; Miasnikov, Alexei
Groups Geom. Dyn. 8 (2014), no. 1, 157–198.
(Reviewer:Rosebrock, Stephan)
Reviewed
MR3200362 - Infinite words and universal free actions
Kharlampovich, Olga; Myasnikov, Alexei; Serbin, Denis
Groups Complex. Cryptol. 6 (2014), no. 1, 55–69.
(Reviewer:Romanʹkov, Vitaly A.)
Reviewed
MR3196052 - Tame automorphisms of elementary free groups
Fine, Benjamin; Kharlampovich, Olga G.; Myasnikov, Alexei G.; Remeslennikov, Vladimir N.; Rosenberger, G.
Comm. Algebra 42 (2014), no. 8, 3386–3394.
(Reviewer:Kielak, Dawid)
Reviewed
Bumagin, Inna; Kharlampovich, Olga
J. Lond. Math. Soc. (2) 88 (2013), no. 3, 761–778.
(Reviewer:Mihalik, Michael L.)
Reviewed
MR3101004 - Effective embedding of residually hyperbolic groups into direct products of extensions of centralizers
Kharlampovich, Olga; Macdonald, Jeremy
J. Group Theory 16 (2013), no. 5, 619–650.
(Reviewer:Weidmann, Richard)
Reviewed
MR3040804 - Definable sets in a hyperbolic group
Kharlampovich, Olga; Myasnikov, Alexei
Internat. J. Algebra Comput. 23 (2013), no. 1, 91–110.
(Reviewer:Shahryari, Mohammad)
Reviewed
MR3038860 - Actions, length functions, and non-Archimedean words
Kharlampovich, Olga; Myasnikov, Alexei; Serbin, Denis
Internat. J. Algebra Comput. 23 (2013), no. 2, 325–455.
(Reviewer:Mihalik, Michael L.)
Reviewed
MR3010818 - A Whitehead algorithm for toral relatively hyperbolic groups
Kharlampovich, Olga; Ventura, Enric
Internat. J. Algebra Comput. 22 (2012), no. 8, 1240004, 9 pp.
Summary
MR2911880 - Limits of relatively hyperbolic groups and Lyndon's completions
Kharlampovich, Olga; Myasnikov, Alexei
J. Eur. Math. Soc. (JEMS) 14 (2012), no. 3, 659–680.
(Reviewer:Martínez-Pedroza, Eduardo)
Summary
MR2903747 - Approximation of geodesics in metabelian groups
Kharlampovich, Olga; Moghaddam, Atefeh Mohajeri
Internat. J. Algebra Comput. 22 (2012), no. 2, 1250012, 10 pp.
(Reviewer:Freden, Eric M.)
Reviewed
MR2900857 - Linear estimates for solutions of quadratic equations in free groups
Kharlampovich, Olga; Vdovina, Alina
Internat. J. Algebra Comput. 22 (2012), no. 1, 1250004, 16 pp.
(Reviewer:Touikan, Nicholas W. M.)
Reviewed
MR2888231 - Groups with free regular length functions in
Kharlampovich, Olga; Myasnikov, Alexei; Remeslennikov, Vladimir; Serbin, Denis
Trans. Amer. Math. Soc. 364 (2012), no. 6, 2847–2882.
(Reviewer:Metaftsis, Vassilis)
Reviewed
MR2744021 - Equations and fully residually free groups
Kharlampovich, Olga; Myasnikov, Alexei G.
Birkhäuser/Springer Basel AG, Basel, 2010, 203–242.
ISBN: 978-3-7643-9910-8
(Reviewer:Juhász, Arye)
Reviewed
MR2643918 - The solvability problem for quadratic equations over free groups is NP-complete
Kharlampovich, O.; Lysënok, I. G.; Myasnikov, A. G.; Touikan, N. W. M.
Theory Comput. Syst. 47 (2010), no. 1, 250–258.
Summary
MR2435594 - Equations and algorithmic problems in groups
Kharlampovich, Olga; Myasnikov, Alexei
Publ. Mat. IMPA[IMPA Mathematical Publications]
XX Esc. Algebr.[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:Belegradek, O. V.)
Reviewed
Book
MR2381022 - Exponential extensions of groups
Kharlampovich, Olga; Myasnikov, Alexei; Remeslennikov, Vladimir; Serbin, Denis
J. Group Theory 11 (2008), no. 1, 119–140.
(Reviewer:Chiswell, Ian M.)
Reviewed
MR2367908 - On the surface group conjecture
Fine, B.; Kharlampovich, O. G.; Myasnikov, A. G.; Remeslennikov, V. N.; Rosenberger, G.
Sci. Ser. A Math. Sci. (N.S.) 15 (2007), 1–15.
(Reviewer:Martino, Armando)
Reviewed
Open Access
MR2283438 - The isomorphism problem for finitely generated fully residually free groups
Bumagin, Inna; Kharlampovich, Olga; Miasnikov, Alexei
J. Pure Appl. Algebra 208 (2007), no. 3, 961–977.
(Reviewer:Zhang, Qinhai)
Reviewed
MR2293770 - Elementary theory of free non-abelian groups
Kharlampovich, Olga; Myasnikov, Alexei
J. Algebra 302 (2006), no. 2, 451–552.
(Reviewer:Belegradek, O. V.)
Reviewed
MR2159317 - Algebraic geometry over free groups: lifting solutions into generic points
Kharlampovich, Olga; Myasnikov, Alexei
American Mathematical Society, Providence, RI, 2005, 213–318.
ISBN: 0-8218-3618-8
(Reviewer:Belegradek, O. V.)
Reviewed
MR2159316 - Effective JSJ decompositions
Kharlampovich, Olga; Myasnikov, Alexei G.
American Mathematical Society, Providence, RI, 2005, 87–212.
ISBN: 0-8218-3618-8
(Reviewer:Edjvet, Martin)
Reviewed
MR2154989 - Implicit function theorem over free groups
Kharlampovich, Olga; Myasnikov, Alexei
J. Algebra 290 (2005), no. 1, 1–203.
(Reviewer:Vdovina, Alina A.)
Reviewed
MR2105437 - Subgroups of fully residually free groups: algorithmic problems
Kharlampovich, Olga G.; Myasnikov, Alexei G.; Remeslennikov, Vladimir N.; Serbin, Denis E.
American Mathematical Society, Providence, RI, 2004, 63–101.
ISBN: 0-8218-3444-4
(Reviewer:Spellman, Dennis)
Reviewed
MR1873109 - Implicit function theorem over free groups and genus problem
Kharlampovich, O.; Myasnikov, A.
American Mathematical Society, Providence, RI, 2001, 77–83.
ISBN: 0-8218-2966-1
(Reviewer:Humphries, Stephen P.)
Reviewed
MR1798200 - Equations over free and fully residually free groups
Springer-Verlag, Berlin, 2000, 45–53.
ISBN: 3-540-67247-8
Indexed
MR1653685 - Description of fully residually free groups and irreducible affine varieties over a free group
Kharlampovich, O.; Myasnikov, A.
American Mathematical Society, Providence, RI, 1999, 71–80.
ISBN: 0-8218-0948-2
(Reviewer:Spellman, Dennis)
Reviewed
-completion of a torsion-free hyperbolic group
Kharlampovich, O.; Lioutikova, E.; Myasnikov, A.
Trans. Amer. Math. Soc. 351 (1999), no. 7, 2961–2978.
(Reviewer:Corson, Jon M.)
Reviewed
MR1662319 - Tarski's problem about the elementary theory of free groups has a positive solution
Kharlampovich, Olga; Myasnikov, Alexei
Electron. Res. Announc. Amer. Math. Soc. 4 (1998), 101–108.
(Reviewer:Stöhr, R.)
Reviewed
MR1610664 - Irreducible affine varieties over a free group. II. Systems in triangular quasi-quadratic form and description of residually free groups
Kharlampovich, O.; Myasnikov, A.
J. Algebra 200 (1998), no. 2, 517–570.
Summary
MR1610660 - Irreducible affine varieties over a free group. I. Irreducibility of quadratic equations and Nullstellensatz
Kharlampovich, O.; Myasnikov, A.
J. Algebra 200 (1998), no. 2, 472–516.
Reviewed
MR1390041 - Hyperbolic groups and free constructions
Kharlampovich, O.; Myasnikov, A.
Trans. Amer. Math. Soc. 350 (1998), no. 2, 571–613.
(Reviewer:Mihalik, Michael L.)
Reviewed
MR1389782 - Equations in a free
Kharlampovich, O.; Myasnikov, A.
Trans. Amer. Math. Soc. 350 (1998), no. 3, 947–974.
(Reviewer:Corson, Jon M.)
Reviewed
MR1361261 - Algorithmic problems in varieties
Kharlampovich, O. G.; Sapir, M. V.
Internat. J. Algebra Comput. 5 (1995), no. 4-5, 379–602.
(Reviewer:Drensky, Vesselin)
Reviewed
MR1344261 - CSA-groups and separated free constructions
Gildenhuys, D.; Kharlampovich, O.; Myasnikov, A.
Bull. Austral. Math. Soc. 52 (1995), no. 1, 63–84.
(Reviewer:Varsos, Dimitrios)
Reviewed
MR1327871 - The word problem for the Burnside varieties
J. Algebra 173 (1995), no. 3, 613–621.
(Reviewer:Levin, F.)
Reviewed
MR1320282 - A non-residually finite, relatively finitely presented group in the variety
Kharlampovich, O. G.; Sapir, M. V.
London Math. Soc. Lecture Note Ser., 204
Cambridge University Press, Cambridge, 1995, 184–189.
ISBN: 0-521-46595-8
(Reviewer:de Giovanni, Francesco)
Reviewed
MR1313198 - On a family of one-relator pro-
Gildenhuys, D.; Ivanov, S.; Kharlampovich, O.
Proc. Roy. Soc. Edinburgh Sect. A 124 (1994), no. 6, 1199–1207.
(Reviewer:Ribes, L.)
Reviewed
MR1297153 - The word problem for some varieties of solvable Lie algebras
Kharlampovich, O.; Gildenhuys, D.
Internat. J. Algebra Comput. 4 (1994), no. 3, 481–491.
(Reviewer:Ancochea Bermúdez, José María)
Summary
MR1231618 - Varieties of Lie algebras with solvable word problem
Kharlampovich, O.; Gildenhuys, D.
Comm. Algebra 21 (1993), no. 10, 3571–3609.
(Reviewer:Bokutʹ, L.)
Reviewed
MR1230628 - The word problem for solvable groups and Lie algebras
Math. Sci. Res. Inst. Publ., 23
Springer-Verlag, New York, 1992, 61–67.
ISBN: 0-387-97685-X
(Reviewer:Otto, Friedrich)
Reviewed
MR1175821 - The word problem for solvable groups and Lie algebras, a boundary between solvability and unsolvability
American Mathematical Society, Providence, RI, 1992, 53–57.
ISBN: 0-8218-5137-3
Summary
MR1154446 - Identities in the variety of center-by-
Kharlampovich, O.; Gildenhuys, D.
Internat. J. Algebra Comput. 1 (1991), no. 4, 493–521.
(Reviewer:Mishchenko, S. P.)
Reviewed
MR1032911 - Finitely presented solvable groups and Lie algebras with an unsolvable word problem
Mat. Zametki 46 (1989), no. 3, 80–92, 128; translation in
Math. Notes 46 (1989), no. 3-4, 731–738
(Reviewer:Greendlinger, M.)
Reviewed
MR1019480 - The word problem for solvable Lie algebras and groups
Mat. Sb. 180 (1989), no. 8, 1033–1066, 1150; translation in
Math. USSR-Sb. 67 (1990), no. 2, 489–525
(Reviewer:Bokutʹ, L.)
Reviewed
MR1017781 - The word problem in varieties of associative algebras and Lie algebras
Sapir, M. V.; Kharlampovich, O. G.
Izv. Vyssh. Uchebn. Zaved. Mat. 1989, no. 6, 76–84; translation in
Soviet Math. (Iz. VUZ) 33 (1989), no. 6, 77–86
(Reviewer:Greendlinger, M.)
Reviewed
MR0983289 - The word problem in the variety
Izv. Vyssh. Uchebn. Zaved. Mat. 1988, no. 11, 82–84; translation in
Soviet Math. (Iz. VUZ) 32 (1988), no. 11, 136–140
Summary
MR0963098 - The word problem for subvarieties of the variety
Algebra i Logika 26 (1987), no. 4, 481–501, 526.
(Reviewer:Belegradek, O. V.)
Reviewed
MR0883590 - The word problem in varieties of semigroups, rings and Lie algebras
Melʹnichuk, I. L.; Sapir, M. V.; Kharlampovich, O. G.
Sibirsk. Mat. Zh. 27 (1986), no. 6, 144–156, 225.
(Reviewer:Greendlinger, M.)
Reviewed
MR0810809 - The universal theory of certain classes of Lie rings
Ural. Gos. Univ. Mat. Zap. 13 (1984), no. 4, Issled. Algebr. Sist., 156–164, v.
(Reviewer:Belegradek, O. V.)
Reviewed
MR0769566 - Lyndon's condition for solvable Lie algebras
Izv. Vyssh. Uchebn. Zaved. Mat. 1984, no. 9, 50–59.
(Reviewer:Artamonov, V. A.)
Reviewed
MR0704438 - The universal theory of the class of finite nilpotent groups is undecidable
Mat. Zametki 33 (1983), no. 4, 499–516.
(Reviewer:Belegradek, O. V.)
Reviewed
MR0631441 - A finitely presented solvable group with unsolvable word problem
Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), no. 4, 852–873, 928.
(Reviewer:Bokutʹ, L.)