The word problem for cancellation semigroups with zero

DOI10.2307/2274101MaRDI QIDQ3712329zbMATH OpenOpenAlexFDO

Authors Harry R. Lewis, Yuri Gurevich

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274101

zbMATH Keywords

effectively inseparable sets of formulas

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40) Free semigroups, generators and relations, word problems (20M05)

Recommendations

• The word problem for semigroups with one-sided cancellation
• An Extension Problem for Cancellative Semigroups
• scientific article; zbMATH DE number 3379206
• On the word problem for finitely-generated semigroups
• scientific article; zbMATH DE number 459344
• scientific article; zbMATH DE number 1560302
• scientific article; zbMATH DE number 679820
• A word problem in Artin semigroups
• The word problem for one-relator semigroups
• The word problem for relatively free semigroups.

Cites work

• An analysis of Turing's The word problem in semi-groups with cancellation
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Recursive unsolvability of a problem of Thue
• The word problem in semi-groups with cancellation
• Unsolvability of the universal theory of finite groups

Cited in

(10)

• The implication and finite implication problems for typed template dependencies
• On subsumption and semiunification in feature algebras
• Decidable and undecidable logics with a binary modality
• On satisfiability in ATL with strategy contexts
• Relational lattices: from databases to universal algebra
• Database Theory, Yuri, and Me
• UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
• An Extension Problem for Cancellative Semigroups
• scientific article; zbMATH DE number 3323852 (Why is no real title available?)
• Levi's commutator theorems for cancellative semigroups.

This page was built for publication: The word problem for cancellation semigroups with zero

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