23 citations · 112 across the 42 of their papers we have counts for
6 papers · 2 filters
Actions, length functions, and non-archemedian words
Olga Kharlampovich, Alexei Myasnikov, Denis Serbin
In this paper we survey recent developments in the theory of groups acting on -trees. We are trying to unify all significant methods and techniques, both classical and recently…
Regular completions of -free groups
Olga Kharlampovich, Alexei Miasnikov, Denis Serbin
In the present paper we continue studying regular free group actions on -trees. We show that every finitely generated -free group can be embedded in…
Quantifier elimination algorithm to boolean combination of -formulas in the theory of a free group
Olga Kharlampovich, Alexei Myasnikov
It was proved by Sela and by the authors that every formula in the theory of a free group is equivalent to a boolean combination of -formulas. We also proved th…
A Whitehead algorithm for toral relatively hyperbolic groups
Olga Kharlampovich, Enric Ventura
We prove that there is an algorithm to determine whether a tuple of elements in a toral relatively hyperbolic group G is in the automorphic orbit of the other tuple.
Algorithmically complex residually finite groups
O. Kharlampovich, A. Myasnikov, M. Sapir
We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arb…
Effective embedding of residually hyperbolic groups into direct products of extensions of centralizers
Olga Kharlampovich, Jeremy Macdonald
For any torsion-free hyperbolic group and any group that is fully residually , we construct algorithmically a finite collection of homomorphisms from to groups obtai…