Undecidability of the word problem for Yamamura's HNN-extension under nice conditions.

DOI10.1007/S00233-015-9750-0zbMath1347.20061OpenAlexW2346342614MaRDI QIDQ305764

Mohammed Abu Ayyash, Emanuele Rodaro

Publication date: 30 August 2016

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00233-015-9750-0

zbMATH Keywords

undecidabilityword problemHNN-extensionscomputabilityamalgams of inverse semigroups

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Inverse semigroups (20M18)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Presentations of inverse monoids
• Embedding theorems for HNN extensions of inverse semigroups.
• Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups.
• HNN extensions of semigroups
• HNN extensions of inverse semigroups and groupoids.
• Combinatorial group theory.
• Amalgams of finite inverse semigroups.
• Amalgams of inverse semigroups and reversible two-counter machines.
• Locally full HNN extensions of inverse semigroups
• The Word Problem for HNN-extensions of Free Inverse Semigroups
• Amalgams vs Yamamura's HNN-Extensions of Inverse Semigroups
• Free products of inverse semigroups II
• Free Inverse Semigroups
• HNN Extensions of Inverse Semigroups and Applications
• EMBEDDING THEOREMS FOR SEMIGROUPS

This page was built for publication: Undecidability of the word problem for Yamamura's HNN-extension under nice conditions.