Pages that link to "Item:Q768811"
From MaRDI portal
The following pages link to Recursive unsolvability of group theoretic problems (Q768811):
Displayed 50 items.
- Wreath products and finitely presented groups (Q771599) (← links)
- On rigidity and the isomorphism problem for tree braid groups. (Q838401) (← links)
- The origins of combinatorics on words (Q872058) (← links)
- Gröbner-Shirshov basis of the Adyan extension of the Novikov group. (Q947815) (← links)
- Detecting infinitely many semisimple representations in a fixed finite dimension. (Q959765) (← links)
- Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators. (Q1012560) (← links)
- What is a universal computing machine? (Q1036530) (← links)
- The isomorphism problem for toral relatively hyperbolic groups. (Q1044356) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II (Q1067006) (← links)
- Relative linear dependence problem for the variety \({\mathfrak AN}_ {\mathbf{c}}\) of Lie algebras (Q1078305) (← links)
- Complexity, combinatorial group theory and the language of palutators (Q1105698) (← links)
- Unsolvable algorithmic problems for semigroups, groups and rings (Q1117039) (← links)
- Decision problems in classes of group presentations with uniformly solvable word problem (Q1144138) (← links)
- Algebraic equivalents of the solvability of group-theoretic algorithmic problems (Q1144654) (← links)
- Some recognizable properties of solvable groups (Q1150042) (← links)
- Decidable fragments of universal theories and existentially closed models (Q1171136) (← links)
- When are two elements of \(GL(2,\mathbb{Z}{})\) similar? (Q1177253) (← links)
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- Some properties of finite special string-rewriting systems (Q1201349) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Base-undecidable properties of universal varieties (Q1237797) (← links)
- Die Nielsenäquivalenzklassen der metabelsch gemachten Torusknotengruppen (Q1260451) (← links)
- Syntactic and Rees indices of subsemigroups (Q1270378) (← links)
- Undecidable questions related to Church-Rosser Thue systems (Q1839249) (← links)
- Decision problems for distributive lattice-ordered semigroups (Q1891276) (← links)
- Generalized sums over histories for quantum gravity. II: Simplicial conifolds (Q1966070) (← links)
- Unrecognizability of manifolds (Q2498916) (← links)
- Groups of order 1. Some properties of presentations (Q2528146) (← links)
- Some reflections on cohomological dimension and freeness (Q2529987) (← links)
- Recursively enumerable degress and the conjugacy problem (Q2533187) (← links)
- On recognising Hopf groups (Q2535693) (← links)
- On recognising properties of groups which have solvable word problem (Q2539043) (← links)
- 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)
- Remarks concerning finitely generated semigroups having regular sets of unique normal forms (Q2747262) (← 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)
- Groups with one defining relator (Q5330680) (← links)