Kharlampovich, Olga; Natoli, Christopher Non-\(\forall\)-homogeneity in free groups. (English) Zbl 07357738 Bull. Math. Sci. 11, No. 1, Article ID 2050019, 14 p. (2021). MSC: 03C60 20E05 20F70 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{C. Natoli}, Bull. Math. Sci. 11, No. 1, Article ID 2050019, 14 p. (2021; Zbl 07357738) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei; Sklinos, Rizos Fraïssé limits of limit groups. (English) Zbl 1485.20084 J. Algebra 545, 300-323 (2020). MSC: 20F10 20E05 20E26 03C60 PDFBibTeX XMLCite \textit{O. Kharlampovich} et al., J. Algebra 545, 300--323 (2020; Zbl 1485.20084) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei; Taam, Alexander Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups. (English) Zbl 1435.20055 Groups Complex. Cryptol. 11, No. 2, 83-101 (2019). MSC: 20F70 20F67 20F10 20F05 PDFBibTeX XMLCite \textit{O. Kharlampovich} et al., Groups Complex. Cryptol. 11, No. 2, 83--101 (2019; Zbl 1435.20055) Full Text: DOI arXiv
Kharlampovich, Olga; López, Laura Bi-interpretability of some monoids with the arithmetic and applications. (English) Zbl 1467.03030 Semigroup Forum 99, No. 1, 126-139 (2019). MSC: 03F25 03C60 03C40 03C62 20M05 20M14 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{L. López}, Semigroup Forum 99, No. 1, 126--139 (2019; Zbl 1467.03030) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei Undecidability of equations in free Lie algebras. (English) Zbl 1486.17008 Trans. Am. Math. Soc. 371, No. 4, 2987-2999 (2019). MSC: 17B01 03C60 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, Trans. Am. Math. Soc. 371, No. 4, 2987--2999 (2019; Zbl 1486.17008) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei Equations in algebras. (English) Zbl 1403.16002 Int. J. Algebra Comput. 28, No. 8, 1517-1533 (2018). MSC: 16B70 03C60 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, Int. J. Algebra Comput. 28, No. 8, 1517--1533 (2018; Zbl 1403.16002) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei Undecidability of the first order theories of free noncommutative Lie algebras. (English) Zbl 1502.03008 J. Symb. Log. 83, No. 3, 1204-1216 (2018). MSC: 03C60 03B25 17B01 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, J. Symb. Log. 83, No. 3, 1204--1216 (2018; Zbl 1502.03008) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei What does a group algebra of a free group “know” about the group? (English) Zbl 1442.16027 Ann. Pure Appl. Logic 169, No. 6, 523-547 (2018). MSC: 16S34 20C05 20E05 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, Ann. Pure Appl. Logic 169, No. 6, 523--547 (2018; Zbl 1442.16027) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei Tarski-type problems for free associative algebras. (English) Zbl 1403.03055 J. Algebra 500, 589-643 (2018). Reviewer: Keith Kearnes (Boulder) MSC: 03C60 03C45 16S10 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, J. Algebra 500, 589--643 (2018; Zbl 1403.03055) Full Text: DOI arXiv
Kharlampovich, Olga; Mohajeri, Atefeh; Taam, Alexander; Vdovina, Alina Quadratic equations in hyperbolic groups are NP-complete. (English) Zbl 1434.20020 Trans. Am. Math. Soc. 369, No. 9, 6207-6238 (2017). MSC: 20F10 20F65 20F67 03D15 PDFBibTeX XMLCite \textit{O. Kharlampovich} et al., Trans. Am. Math. Soc. 369, No. 9, 6207--6238 (2017; Zbl 1434.20020) Full Text: DOI arXiv
Diekert, Volker; Kharlampovich, Olga; Moghaddam, Atefeh Mohajeri SLP compression for solutions of equations with constraints in free and hyperbolic groups. (English) Zbl 1328.20061 Int. J. Algebra Comput. 25, No. 1-2, 81-111 (2015). MSC: 20F70 20E05 20F67 20F10 68Q15 68W30 68Q25 PDFBibTeX XMLCite \textit{V. Diekert} et al., Int. J. Algebra Comput. 25, No. 1--2, 81--111 (2015; Zbl 1328.20061) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei; Serbin, Denis Actions, length functions, and non-Archimedean words. (English) Zbl 1292.20031 Int. J. Algebra Comput. 23, No. 2, 325-455 (2013). MSC: 20E08 20-02 20F65 20F67 20F05 20F10 PDFBibTeX XMLCite \textit{O. Kharlampovich} et al., Int. J. Algebra Comput. 23, No. 2, 325--455 (2013; Zbl 1292.20031) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei Definable sets in a hyperbolic group. (English) Zbl 1282.20021 Int. J. Algebra Comput. 23, No. 1, 91-110 (2013). Reviewer: V. A. Roman’kov (Omsk) MSC: 20E05 03C40 20A15 20F67 20F10 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, Int. J. Algebra Comput. 23, No. 1, 91--110 (2013; Zbl 1282.20021) Full Text: DOI arXiv
Bumagin, Inna; Kharlampovich, Olga; Miasnikov, Alexei The isomorphism problem for finitely generated fully residually free groups. (English) Zbl 1121.20026 J. Pure Appl. Algebra 208, No. 3, 961-977 (2007). Reviewer: V. A. Roman’kov (Omsk) MSC: 20F10 20E26 20E05 PDFBibTeX XMLCite \textit{I. Bumagin} et al., J. Pure Appl. Algebra 208, No. 3, 961--977 (2007; Zbl 1121.20026) Full Text: DOI arXiv
Kharlampovich, Olga; Myasnikov, Alexei Elementary theory of free non-abelian groups. (English) Zbl 1110.03020 J. Algebra 302, No. 2, 451-552 (2006). Reviewer: Dimitru Buşneag (Craiova) MSC: 03C65 20E05 20A15 03B25 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, J. Algebra 302, No. 2, 451--552 (2006; Zbl 1110.03020) Full Text: DOI
Kharlampovich, O.; Lioutikova, E.; Myasnikov, A. Equations in the \(\mathbf Q\)-completion of a torsion-free hyperbolic group. (English) Zbl 0942.20010 Trans. Am. Math. Soc. 351, No. 7, 2961-2978 (1999). Reviewer: A.A.Iskander (Lafayette) MSC: 20F10 20F67 20E05 PDFBibTeX XMLCite \textit{O. Kharlampovich} et al., Trans. Am. Math. Soc. 351, No. 7, 2961--2978 (1999; Zbl 0942.20010) Full Text: DOI
Kharlampovich, O.; Myasnikov, A. Equations in a free \(\mathbf Q\)-group. (English) Zbl 0901.20010 Trans. Am. Math. Soc. 350, No. 3, 947-974 (1998). Reviewer: A.A.Iskander (Lafayette) MSC: 20E05 20F10 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{A. Myasnikov}, Trans. Am. Math. Soc. 350, No. 3, 947--974 (1998; Zbl 0901.20010) Full Text: DOI arXiv