Pages that link to "Item:Q768811"
From MaRDI portal
The following pages link to Recursive unsolvability of group theoretic problems (Q768811):
Displayed 39 items.
- Unsolvability of some algebraic problems in the class of associative rings (Q2549691) (← links)
- On the group property recognition problem (Q2550809) (← links)
- Inclusion problem for a certain class of groups (Q2553679) (← links)
- Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two (Q2676823) (← links)
- Remarks concerning finitely generated semigroups having regular sets of unique normal forms (Q2747262) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems (Q3298249) (← links)
- GRÖBNER–SHIRSHOV BASES FOR FREE INVERSE SEMIGROUPS (Q3636019) (← links)
- Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems (Q3741791) (← links)
- Alfred Tarski and undecidable theories (Q3764095) (← links)
- On Finite Presentations for Groups (Q3876120) (← links)
- The word problem and the isomorphism problem for groups (Q3941599) (← links)
- Markov-Type Properties (Q3957132) (← links)
- Clifford monoid presentations (Q4008583) (← links)
- The word problem for small cancellation quotients of groups acting on trees (Q4030486) (← links)
- Computable Isomorphism Invariants for the Fundamental Group of the Complement of a Plane Projective Curve (Q4169927) (← links)
- The computational complexity of torsion-freeness of finitely presented groups (Q4374809) (← links)
- Grushko-Like Theorems for a Class of Finitely Presented Semigroups (Q4771145) (← links)
- The word problem for division rings (Q4774033) (← links)
- THE SUBGROUP IDENTIFICATION PROBLEM FOR FINITELY PRESENTED GROUPS (Q4923207) (← links)
- Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian (Q4992044) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5043598) (← links)
- An equational logic sampler (Q5055725) (← links)
- On some algorithmic problems for groups and monoids (Q5055802) (← links)
- (Q5068485) (← links)
- On the homeomorphism problem for 4-manifolds (Q5076394) (← links)
- The B B Newman spelling theorem (Q5163868) (← links)
- Gröbner–Shirshov bases and their calculation (Q5172855) (← links)
- Groups with one defining relator (Q5330680) (← links)
- The computational complexity of knot genus and spanning area (Q5469952) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- Groups Defined by Permutations of a Single Word (Q5573420) (← links)
- Some Undecidable Problems in Group Theory (Q5675710) (← links)
- Computability Theory and Differential Geometry (Q5717234) (← links)
- Distinguishability of a Semi-Group by a Machine (Q5729307) (← links)
- On one-relator groups and units of special one-relation inverse monoids (Q5877774) (← links)
- Cutting corners (Q5918679) (← links)
- The computational complexity of knot genus in a fixed 3‐manifold (Q6075064) (← links)
- The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable (Q6194082) (← links)