Pages that link to "Item:Q3699893"
From MaRDI portal
The following pages link to DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP (Q3699893):
Displayed 36 items.
- Finding all solutions of equations in free groups and monoids with involution (Q342722) (← links)
- Picture-hanging puzzles (Q489745) (← links)
- Logical aspects of Cayley-graphs: the group case (Q705541) (← links)
- Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint (Q827048) (← links)
- Elementary theory of free non-abelian groups. (Q855727) (← links)
- The isomorphism problem for finitely generated fully residually free groups. (Q860430) (← links)
- Extending free pregroups with lower bounds (Q993496) (← links)
- Makanin's algorithm is not primitive recursive (Q1127320) (← links)
- Algebraic geometry over groups. I: Algebraic sets and ideal theory (Q1306828) (← links)
- Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups (Q1383969) (← links)
- Algebraic geometry in varieties of algebras with the given algebra of constants (Q1592194) (← links)
- The complexity of verbal languages over groups (Q1713480) (← links)
- Explicit test sets for iterated morphisms in free monoids and metabelian groups (Q1763708) (← links)
- Finite approximation and commutators in free groups. (Q1887466) (← links)
- Word equations in the context of string solving (Q2163975) (← links)
- On systems of word equations over three unknowns with at most six occurrences of one of the unknowns (Q2271428) (← links)
- Diophantine geometry over groups. III: Rigid and solid solutions. (Q2382241) (← links)
- Implicit function theorem over free groups. (Q2386057) (← links)
- The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633) (← links)
- The non-parametrizability of the word equation \(xyz=zvx\): a short proof (Q2575750) (← links)
- Existential questions in (relatively) hyperbolic groups. (Q2655754) (← links)
- More Than 1700 Years of Word Equations (Q2947143) (← links)
- Solutions to twisted word equations and equations in virtually free groups (Q3299596) (← links)
- Generalizations of free groups: some questions (Q4295994) (← links)
- ∀-free metabelian groups (Q4338320) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- The word matching problem is undecidable for finite special string-rewriting systems that are confluent (Q4571993) (← links)
- The Diophantine problem in the classical matrix groups (Q5033989) (← links)
- On some algorithmic problems for groups and monoids (Q5055802) (← links)
- (Q5150375) (← links)
- Seven lectures on universal algebraic geometry (Q5239109) (← links)
- (Q5239606) (← links)
- Ideals of equations for elements in a free group and context-free languages (Q6054798) (← links)
- Investigations on equations in a free group (Q6114504) (← links)
- An analysis of Makanin's algorithm deciding solvability of equations in free groups (Q6114505) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)