The following pages link to Alexei G. Myasnikov (Q639687):
Displayed 50 items.
- Tarski-type problems for free associative algebras (Q1702719) (← links)
- Algebraic geometry over algebraic structures. VI: Geometrical equivalence (Q1703266) (← links)
- Elementary equivalence of rings with finitely generated additive groups (Q1709681) (← links)
- What does a group algebra of a free group ``know'' about the group? (Q1709682) (← links)
- The complexity of verbal languages over groups (Q1713480) (← links)
- Divisible rigid groups. II: Stability, saturation, and elementary submodels (Q1792003) (← links)
- Definable invariants of bilinear mappings (Q1813802) (← links)
- The theory of models of bilinear mappings (Q1814075) (← links)
- Approximability of outer automorphism groups of free groups of finite rank (Q1839311) (← links)
- Algebraic geometry over groups. II: Logical foundations (Q1841824) (← links)
- Groups with exponents. I: Fundamentals of the theory and tensor completions (Q1920825) (← links)
- Amalgamated products of groups: measures of random normal forms. (Q1930204) (← links)
- Algebraic geometry over algebraic structures. II: Foundations (Q1930229) (← links)
- Erratum to: ``A classification of conjugately separated abelian, commutative transitive and restricted Gromov one-relator groups'' (Q1930340) (← links)
- Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits (Q2011339) (← links)
- From automatic structures to automatic groups. (Q2016098) (← links)
- Complete first-order theories of some classical matrix groups over algebraic integers (Q2029249) (← links)
- Description of coordinate groups of irreducible algebraic sets over free 2-nilpotent groups (Q2155321) (← links)
- Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity (Q2178495) (← links)
- Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups (Q2178749) (← links)
- Infinite words and universal free actions. (Q2249571) (← links)
- Fraïssé limits of limit groups (Q2282995) (← links)
- The conjugacy problem in free solvable groups and wreath products of abelian groups is in \(\mathsf{TC}^0\) (Q2311889) (← links)
- A linear decomposition attack (Q2344229) (← links)
- An example of an automatic graph of intermediate growth (Q2352257) (← links)
- Logical aspects of the theory of divisible rigid groups. (Q2353021) (← links)
- Generic theories as a method for approximating elementary theories (Q2356089) (← links)
- The halting problem is decidable on a set of asymptotic probability one (Q2372684) (← links)
- Implicit function theorem over free groups. (Q2386057) (← links)
- On rationality of verbal subsets in a group (Q2392251) (← links)
- The conjugacy problem in free solvable groups and wreath products of abelian groups is in \({\mathsf {TC}^0}\) (Q2399376) (← links)
- Model-theoretic aspects of the theory of divisible rigid soluble groups (Q2401548) (← links)
- Stallings graphs for quasi-convex subgroups (Q2401628) (← links)
- Limits of relatively hyperbolic groups and Lyndon's completions. (Q2428714) (← links)
- Amalgamated free product of groups: normal forms and measures. (Q2435987) (← links)
- A classification of conjugately separated abelian, commutative transitive, and restricted Gromov one-relator groups. (Q2477597) (← links)
- A polynomial bound on solutions of quadratic equations in free groups. (Q2510764) (← links)
- Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem (Q2628315) (← links)
- (Q2759634) (← links)
- Discriminating groups (Q2769828) (← links)
- Cyclic rewriting and conjugacy problems (Q2874367) (← links)
- Random van Kampen diagrams and algorithmic problems in groups (Q2882828) (← links)
- Groups with free regular length functions in $\mathbb{Z}^{n}$ (Q2884389) (← links)
- Random equations in free groups (Q2884689) (← links)
- Cayley Graph Automatic Groups Are Not Necessarily Cayley Graph Biautomatic (Q2890212) (← links)
- Efim Isaakovich Zelmanov is 60 years old (Q2953610) (← links)
- The Complexity of Verbal Languages over Groups (Q2986816) (← links)
- THE ANDREWS–CURTIS CONJECTURE AND BLACK BOX GROUPS (Q3043516) (← links)
- (Q3101028) (← links)
- (Q3101433) (← links)