Word problems

DOI10.1090/S0002-9904-1978-14516-9zbMATH Open0389.03018OpenAlexW4233942885MaRDI QIDQ4170710FDOQ4170710

Authors: Trevor Evans 

Publication date: 1978

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9904-1978-14516-9

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Word problems (aspects of algebraic structures) (08A50) Word problems, etc. in computability and recursion theory (03D40)

Cites Work

• The diamond lemma for ring theory
• Subgroups of finitely presented groups
• Coset Representations in Free Groups
• Title not available (Why is that?)
• Residual Properties of Infinite Soluble Groups
• Recursive unsolvability of a problem of Thue
• On the algorithmic insolvability of the word problem in group theory
• The word problem
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• The Word Problem for Abstract Algebras
• Embeddability and the Word Problem
• Free lattices
• Some Word-Problems
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Title not available (Why is that?)
• Identities and relations in commutative Moufang loops
• An algebraic characterization of groups with soluble word problem
• Residual finiteness and the Hopf property in rings
• A Finitely Generated Residually Finite Group with an Unsolvable Word Problem
• On Comparison of Finite Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (21)

• Finitely Presented Lattices
• Finite coverability property
• A decidable word problem without equivalent canonical term rewriting system
• The word and generator problems for lattices
• Unsolvable algorithmic problems for semigroups, groups and rings
• A field guide to equational logic
• Separability conditions in acts over monoids
• On separability finiteness conditions in semigroups
• Identities and bases in the hypoplactic monoid
• Partition semantics for relations
• Model-theoretic and algorithmic questions in group theory
• Deciding embeddability of partial groupoids into semigroups
• On approximation of locally compact groups by finite algebraic systems
• An equational logic sampler
• On subrings of free rings
• Approximability of finitely presented algebras
• History and basic features of the critical-pair/completion procedure
• Residual finiteness in permutation varieties of semigroups
• Free Modular Lattices
• The finite embeddability property for IP loops and local embeddability of groups into finite IP loops
• Bibliography on quantum logics and related structures

This page was built for publication: Word problems

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