Undecidability of the word problem for Yamamura's HNN-extension under nice conditions.
DOI10.1007/S00233-015-9750-0zbMATH Open1347.20061OpenAlexW2346342614MaRDI QIDQ305764FDOQ305764
Authors: 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
Recommendations
- Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups.
- Complexity of word problems for HNN-extensions
- Complexity of word problems for HNN-extensions
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
- Publication:4492883
- scientific article; zbMATH DE number 2208122
- Undecidability of the word problem in relatively free rings
- Decidability versus undecidability of the word problem in amalgams of inverse semigroups.
- The word problem for finitely presented quandles is undecidable
- The undecidability of some equivalence problems concerning ngsm's and finite substitutions
Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Free semigroups, generators and relations, word problems (20M05) Inverse semigroups (20M18)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Combinatorial group theory.
- Title not available (Why is that?)
- HNN extensions of semigroups
- HNN extensions of inverse semigroups and groupoids.
- 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.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Free products of inverse semigroups II
- Free Inverse Semigroups
- HNN Extensions of Inverse Semigroups and Applications
- EMBEDDING THEOREMS FOR SEMIGROUPS
- 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.
Cited In (1)
This page was built for publication: Undecidability of the word problem for Yamamura's HNN-extension under nice conditions.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q305764)
