Pages that link to "Item:Q768811"
From MaRDI portal
The following pages link to Recursive unsolvability of group theoretic problems (Q768811):
Displayed 50 items.
- On a lower bound for the connectivity of the independence complex of a graph (Q409373) (← links)
- The isomorphism problem for multiparameter quantized Weyl algebras. (Q497999) (← links)
- The isomorphism problem for all hyperbolic groups. (Q540014) (← links)
- Effective universal coverings and local minima of the length functional on loop spaces (Q708818) (← links)
- Finding non-trivial elements and splittings in groups. (Q716463) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- 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)
- The triviality problem for profinite completions (Q894233) (← 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)
- Ends of Schreier graphs of hyperbolic groups (Q1673650) (← links)
- On the finiteness problem for classes of modular lattices (Q1714470) (← 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)
- Book review of: F. Bassino et al., Complexity and randomness in group theory. GAGTA book 1 (Q2143337) (← links)
- Finding simple curves in surface covers is undecidable (Q2181579) (← links)
- A generalization of a power-conjugacy problem in torsion-free negatively curved groups (Q2289393) (← links)
- Detecting properties from descriptions of groups (Q2309493) (← links)
- Operator scaling: theory and applications (Q2309517) (← links)
- Small cancellation theory over Burnside groups (Q2319887) (← links)
- Computing simplicial representatives of homotopy group elements (Q2324597) (← links)
- Algorithmic recognition of infinite cyclic extensions (Q2396795) (← 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)