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, Unnamed Item, THE SUBGROUP IDENTIFICATION PROBLEM FOR FINITELY PRESENTED GROUPS, Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian, A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods, An equational logic sampler, On some algorithmic problems for groups and monoids, On the homeomorphism problem for 4-manifolds, The B B Newman spelling theorem, 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, Cutting corners, Distinguishability of a Semi-Group by a Machine, On one-relator groups and units of special one-relation inverse monoids, The computational complexity of knot genus in a fixed 3‐manifold, 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, Ends of Schreier graphs of hyperbolic groups, On the finiteness problem for classes of modular lattices, 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, Book review of: F. Bassino et al., Complexity and randomness in group theory. GAGTA book 1, Finding simple curves in surface covers is undecidable, A generalization of a power-conjugacy problem in torsion-free negatively curved groups, Detecting properties from descriptions of groups, Operator scaling: theory and applications, Small cancellation theory over Burnside groups, Computing simplicial representatives of homotopy group elements, 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, Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two, Remarks concerning finitely generated semigroups having regular sets of unique normal forms, Degrees of Unsolvability: A Tutorial, Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems, 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
