Recursive unsolvability of group theoretic problems

Cited in

(92)

Grushko-Like Theorems for a Class of Finitely Presented Semigroups
Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems
On the homeomorphism problem for 4-manifolds
Syntactic and Rees indices of subsemigroups
Undecidable questions related to Church-Rosser Thue systems
Mass problems associated with effectively closed sets
An arithmetic analysis of closed surfaces
The word problem and the isomorphism problem for groups
Detecting infinitely many semisimple representations in a fixed finite dimension.
Computing simplicial representatives of homotopy group elements
A lower bound of the number of rewrite rules obtained by homological methods
On a lower bound for the connectivity of the independence complex of a graph
Alfred Tarski and undecidable theories
Some Undecidable Problems in Group Theory
Die Nielsenäquivalenzklassen der metabelsch gemachten Torusknotengruppen
The word problem for small cancellation quotients of groups acting on trees
The isomorphism problem for toral relatively hyperbolic groups.
Some properties of finite special string-rewriting systems
GRÖBNER–SHIRSHOV BASES FOR FREE INVERSE SEMIGROUPS
Effective universal coverings and local minima of the length functional on loop spaces
Algorithmic recognition of infinite cyclic extensions
On recognising Hopf groups
On recognising properties of groups which have solvable word problem
Complexity, combinatorial group theory and the language of palutators
Inclusion problem for a certain class of groups
Unsolvable algorithmic problems for semigroups, groups and rings
Decidable fragments of universal theories and existentially closed models
Small sets without unique products in torsion-free groups
The subgroup identification problem for finitely presented groups.
Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators.
Finding non-trivial elements and splittings in groups.
Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II
Gröbner-Shirshov basis of the Adyan extension of the Novikov group.
Recursively enumerable degress and the conjugacy problem
Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems
Decision problems for distributive lattice-ordered semigroups
A field guide to equational logic
Researches of semigroups with planar Cayley graphs: results and problems
Small cancellation theory over Burnside groups
Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian
Operator scaling: theory and applications
Generalized sums over histories for quantum gravity. II: Simplicial conifolds
Base-undecidable properties of universal varieties
Model-theoretic and algorithmic questions in group theory
On Finite Presentations for Groups
On the finiteness problem for classes of modular lattices
Book review of: F. Bassino et al., Complexity and randomness in group theory. GAGTA book 1
The isomorphism problem for all hyperbolic groups.
Gröbner-Shirshov bases and their calculation
Algebraic equivalents of the solvability of group-theoretic algorithmic problems
Some recognizable properties of solvable groups
Cutting corners
The origins of combinatorics on words
Computability Theory and Differential Geometry
An equational logic sampler
The computational complexity of knot genus and spanning area
Groups of order 1. Some properties of presentations
Unsolvability of some algebraic problems in the class of associative rings
On rigidity and the isomorphism problem for tree braid groups.
The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable
What is a universal computing machine?
On some algorithmic problems for groups and monoids
When are two elements of \(GL(2,\mathbb{Z}{})\) similar?
Distinguishability of a Semi-Group by a Machine
Ends of Schreier graphs of hyperbolic groups
The computational complexity of knot genus in a fixed 3‐manifold
The B B Newman spelling theorem
Counting vanishing matrix-vector products
The word problem for division rings
Groups Defined by Permutations of a Single Word
Unrecognizability of manifolds
Wreath products and finitely presented groups
Some reflections on cohomological dimension and freeness
Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two
Computable Isomorphism Invariants for the Fundamental Group of the Complement of a Plane Projective Curve
The computational complexity of torsion-freeness of finitely presented groups
The triviality problem for profinite completions
Groups with one defining relator
Finding simple curves in surface covers is undecidable
A generalization of a power-conjugacy problem in torsion-free negatively curved groups
Remarks concerning finitely generated semigroups having regular sets of unique normal forms
On one-relator groups and units of special one-relation inverse monoids
La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
On subsumption and semiunification in feature algebras
The isomorphism problem for multiparameter quantized Weyl algebras.
Markov-Type Properties
Clifford monoid presentations
Decision problems in classes of group presentations with uniformly solvable word problem
Detecting properties from descriptions of groups
Relative linear dependence problem for the variety \({\mathfrak AN}_ {\mathbf{c}}\) of Lie algebras
Degrees of unsolvability: a tutorial
On the group property recognition problem

This page was built for publication: Recursive unsolvability of group theoretic problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q768811)