The following pages link to O. G. Kharlampovich (Q595784):
Displayed 45 items.
- Equations in a free 𝐐-group (Q4382952) (← links)
- (Q4502521) (← links)
- (Q4529472) (← links)
- Equations in Algebras (Q4611337) (← links)
- Undecidability of equations in free Lie algebras (Q4645108) (← links)
- (Q4656957) (← links)
- UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS (Q4692087) (← links)
- (Q4723961) (← links)
- CSA-groups and separated free constructions (Q4856668) (← links)
- ALGORITHMIC PROBLEMS IN VARIETIES (Q4863940) (← links)
- (Q4867085) (← links)
- A WHITEHEAD ALGORITHM FOR TORAL RELATIVELY HYPERBOLIC GROUPS (Q4904510) (← links)
- DEFINABLE SETS IN A HYPERBOLIC GROUP (Q4916248) (← links)
- ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS (Q4916963) (← links)
- Non-∀-homogeneity in free groups (Q4993937) (← links)
- 3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group (Q5011031) (← links)
- 4 Rich groups, weak second-order logic, and applications (Q5011032) (← links)
- On the Generalized Membership Problem in Relatively Hyperbolic Groups (Q5049047) (← links)
- The Diophantine problem in some metabelian groups (Q5113678) (← links)
- (Q5133147) (← links)
- SLP compression for solutions of equations with constraints in free and hyperbolic groups (Q5246505) (← links)
- Quadratic equations in hyperbolic groups are NP-complete (Q5267969) (← links)
- (Q5371234) (← links)
- APPROXIMATION OF GEODESICS IN METABELIAN GROUPS (Q5389112) (← links)
- Tame Automorphisms of Elementary Free Groups (Q5417984) (← links)
- Exponential extensions of groups (Q5444873) (← links)
- (Q5702493) (← links)
- (Q5702494) (← links)
- Low complexity algorithms in knot theory (Q5742776) (← links)
- Equations and fully residually free groups (Q5748115) (← links)
- Groups acting freely on $\Lambda$-trees (Q6216151) (← links)
- Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group (Q6234234) (← links)
- Regular completions of $\mathbb{Z}^n$-free groups (Q6235185) (← links)
- Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group (Q6240072) (← links)
- On Tarski's Decidability Problem (Q6248743) (← links)
- Random Burnside Groups (Q6287000) (← links)
- Beyond Serre's "Trees" in two directions: $\Lambda$--trees and products of trees (Q6293137) (← links)
- Diophantine Problem in Some Metabelian Groups (Q6316123) (← links)
- On the generalized membership problem in relatively hyperbolic groups (Q6323448) (← links)
- Non-$\forall$-homogeneity in free groups (Q6333571) (← links)
- On countable elementary free groups (Q6342035) (← links)
- Rich groups, weak second order logic, and applications (Q6378701) (← links)
- First-order sentences in random groups II: $\forall\exists$-sentences (Q6421396) (← links)
- Quantifying separability in limit groups via representations (Q6428625) (← links)
- Groups elementary equivalent to finitely generated free metabelian (Q6451329) (← links)