Recursive unsolvability of group theoretic problems
From MaRDI portal
Publication:768811
DOI10.2307/1969933zbMath0079.24802MaRDI QIDQ768811
Publication date: 1958
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1969933
Related Items
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 word problem for division rings, Grushko-Like Theorems for a Class of Finitely Presented Semigroups, THE SUBGROUP IDENTIFICATION PROBLEM FOR FINITELY PRESENTED GROUPS, Gröbner–Shirshov bases and their calculation, Groups with one defining relator, The computational complexity of knot genus and spanning area, La théorie des fonctions récursives et ses applications. (Exposé d'information générale), Groups Defined by Permutations of a Single Word, Computability Theory and Differential Geometry, Some Undecidable Problems in Group Theory, Distinguishability of a Semi-Group by a Machine, On a lower bound for the connectivity of the independence complex of a graph, The isomorphism problem for multiparameter quantized Weyl algebras., The isomorphism problem for all hyperbolic groups., Effective universal coverings and local minima of the length functional on loop spaces, Finding non-trivial elements and splittings in groups., Mass problems associated with effectively closed sets, Wreath products and finitely presented groups, On rigidity and the isomorphism problem for tree braid groups., The origins of combinatorics on words, The triviality problem for profinite completions, Gröbner-Shirshov basis of the Adyan extension of the Novikov group., Detecting infinitely many semisimple representations in a fixed finite dimension., Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators., What is a universal computing machine?, The isomorphism problem for toral relatively hyperbolic groups., Model-theoretic and algorithmic questions in group theory, Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II, Relative linear dependence problem for the variety \({\mathfrak AN}_ {\mathbf{c}}\) of Lie algebras, Complexity, combinatorial group theory and the language of palutators, Unsolvable algorithmic problems for semigroups, groups and rings, Decision problems in classes of group presentations with uniformly solvable word problem, Algebraic equivalents of the solvability of group-theoretic algorithmic problems, Some recognizable properties of solvable groups, Decidable fragments of universal theories and existentially closed models, When are two elements of \(GL(2,\mathbb{Z}{})\) similar?, On subsumption and semiunification in feature algebras, Some properties of finite special string-rewriting systems, A field guide to equational logic, Base-undecidable properties of universal varieties, Die Nielsenäquivalenzklassen der metabelsch gemachten Torusknotengruppen, Syntactic and Rees indices of subsemigroups, Undecidable questions related to Church-Rosser Thue systems, Decision problems for distributive lattice-ordered semigroups, Generalized sums over histories for quantum gravity. II: Simplicial conifolds, Algorithmic recognition of infinite cyclic extensions, Unrecognizability of manifolds, Groups of order 1. Some properties of presentations, Some reflections on cohomological dimension and freeness, Recursively enumerable degress and the conjugacy problem, On recognising Hopf groups, On recognising properties of groups which have solvable word problem, Unsolvability of some algebraic problems in the class of associative rings, On the group property recognition problem, Inclusion problem for a certain class of groups, Remarks concerning finitely generated semigroups having regular sets of unique normal forms, Degrees of Unsolvability: A Tutorial, GRÖBNER–SHIRSHOV BASES FOR FREE INVERSE SEMIGROUPS, Alfred Tarski and undecidable theories, Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems, The word problem and the isomorphism problem for groups, On Finite Presentations for Groups, Clifford monoid presentations, The word problem for small cancellation quotients of groups acting on trees, Markov-Type Properties
