Zobrazeno 1 - 10
of 60
pro vyhledávání: '"Olga Kharlampovich"'
Autor:
Olga Kharlampovich, Christopher Natoli
Publikováno v:
Bulletin of Mathematical Sciences, Vol 11, Iss 1, Pp 2050019-1-2050019-14 (2021)
We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not ∀-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated elementary free
Externí odkaz:
https://doaj.org/article/3c31c7fd7c994e2da39f6bf26277793e
Publikováno v:
Mathematics of Computation. 89:2507-2519
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7020609b4715f8ae04153c9ad922ae32
https://doi.org/10.1090/mcom/3533
https://doi.org/10.1090/mcom/3533
Publikováno v:
Journal of Algebra. 545:300-323
We modify the notion of a Fraisse class and show that various interesting classes of groups, notably the class of nonabelian limit groups and the class of finitely generated elementary free groups, admit Fraisse limits. Furthermore, we rediscover Lyn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::07674930a6a80210fc90c0845ec1e3cb
https://doi.org/10.1016/j.jalgebra.2019.08.003
https://doi.org/10.1016/j.jalgebra.2019.08.003
Publikováno v:
Groups Complexity Cryptology. 11:83-101
We show that, given a finitely generated group $G$ as the coordinate group of a finite system of equations over a torsion-free hyperbolic group $\Gamma$, there is an algorithm which constructs a cover of a canonical solution diagram. The diagram enco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8d91479926634c932c2872a0ecc8743
https://doi.org/10.1515/gcc-2019-2010
https://doi.org/10.1515/gcc-2019-2010
Autor:
Alexei Myasnikov, Olga Kharlampovich
Publikováno v:
International Journal of Algebra and Computation. 28:1517-1533
We show that the Diophantine problem (decidability of equations) is undecidable in free associative algebras over any field and in the group algebras over any field of a wide variety of torsion free groups, including toral relatively hyperbolic group
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::751a1ba6e2a8d7aba20cea71ec5454bb
https://doi.org/10.1142/s0218196718400064
https://doi.org/10.1142/s0218196718400064
Autor:
Alexei Myasnikov, Olga Kharlampovich
Publikováno v:
Groups and Model Theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57f24164b2fcc96bfe9a622edcdf0996
https://doi.org/10.1515/9783110719710-003
https://doi.org/10.1515/9783110719710-003
Autor:
Christopher Natoli, Olga Kharlampovich
Publikováno v:
Izvestiya: Mathematics. 85
We prove that if a countable group is elementarily equivalent to a non-abelian free group and all of its abelian subgroups are cyclic, then the group is a union of a chain of regular NTQ groups (i.e., hyperbolic towers).
Updated references
Updated references
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a521ff4bffd57d2625d58f117ed96940
https://doi.org/10.1070/im9087
https://doi.org/10.1070/im9087
Autor:
Pascal Weil, Olga Kharlampovich
Publikováno v:
Fields of Logic and Computation III ISBN: 9783030480059
Fields of Logic and Computation III
Fields of Logic and Computation III--Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday
Andreas Blass; Patrick Cégielski; Nachum Dershowitz; Manfred Droste; Bernd Finkbeiner. Fields of Logic and Computation III--Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday, Springer, pp.147-155, 2020, Lecture Notes in Computer Science, 978-3-030-48006-6. ⟨10.1007/978-3-030-48006-6_11⟩
Fields of Logic and Computation III
Fields of Logic and Computation III--Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday
Andreas Blass; Patrick Cégielski; Nachum Dershowitz; Manfred Droste; Bernd Finkbeiner. Fields of Logic and Computation III--Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday, Springer, pp.147-155, 2020, Lecture Notes in Computer Science, 978-3-030-48006-6. ⟨10.1007/978-3-030-48006-6_11⟩
International audience; The aim of this short note is to provide a proof of the decidability of the generalized membership problem for relatively quasi-convex subgroups of finitely presented relatively hyperbolic groups, under some reasonably mild co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c1531fb7b7237761533a2af5ad69000
https://doi.org/10.1007/978-3-030-48006-6_11
https://doi.org/10.1007/978-3-030-48006-6_11