Unsolvability of the universal theory of finite groups
From MaRDI portal
Publication:1054715
DOI10.1007/BF01735740zbMath0519.03006MaRDI QIDQ1054715
Publication date: 1982
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187133
Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40) Turing machines and related notions (03D10)
Related Items
The word problem for cancellation semigroups with zero, Algorithmic problems for finite groups and finite \(0\)-simple semigroups, Decidable representations, Unsolvable algorithmic problems for semigroups, groups and rings, An undecidability theorem for lattices over group rings, Minsky Machines and Algorithmic Problems, Algorithmically complex residually finite groups, The triviality problem for profinite completions, Hereditary undecidability of some theories of finite structures, The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups, On projections of free semialgebraic sets, Undecidability of \(c\)-arrangement matroid representations, Representability of matroids by \(c\)-arrangements is undecidable, UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS, On the outer automorphism groups of finitely generated, residually finite groups., On subsumption and semiunification in feature algebras, On the Universal Theory of Torsion and Lacunary Hyperbolic Groups, Use of computers in solving well-known algebra problems, Undecidable problems for completely 0-simple semigroups., Computability of finite quotients of finitely generated groups, Algorithmic problems for amalgams of finite semigroups, Undecidability of Algebras of Binary Relations, Model-theoretic and algorithmic questions in group theory, Reduction theorem for the type-II conjecture for finite monoids, Asymptotic invariants, complexity of groups and related problems
Cites Work
