The following pages link to (Q5619830):
Displaying 22 items.
- Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint (Q827048) (← links)
- On equations in free semigroups with certain constraints on their solutions. (Q843606) (← links)
- Generalization of problem 9.25 from ``The Kourovka notebook'' (Q914838) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Algorithmic problems and hierarchies of first-order languages (Q1112803) (← links)
- Positive theories of free inverse semigroups (Q1148394) (← links)
- Infinite coforcing in model theory (Q1220510) (← links)
- Positive theories of free monoids (Q1320694) (← links)
- The complexity of verbal languages over groups (Q1713480) (← links)
- Almost all free products of groups have the same positive theory (Q1844664) (← links)
- Studies in the matrix representability of abstract groups and in matrix groups (Q1844921) (← links)
- General theory of groups (Q1845934) (← links)
- Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup (Q1921846) (← links)
- On the \(\forall \exists \)-theories of free projective planes (Q2191343) (← links)
- The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- On the symmetry of images of word maps in groups (Q4643663) (← links)
- (Q5150375) (← links)
- Seven lectures on universal algebraic geometry (Q5239109) (← links)
- (Q5239606) (← links)
- Formal solutions and the first‐order theory of acylindrically hyperbolic groups (Q6176776) (← links)
- On the elementary theory of graph products of groups (Q6614520) (← links)
