The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups

DOI10.1142/S0218196722500540OpenAlexW4200631659MaRDI QIDQ5097713

Alexey Talambutsa, Jean-Camille Birget

Publication date: 31 August 2022

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.02408

zbMATH Keywords

freeness problem for integer matrix semigroups and for subsemigroups of the direct product of free groupssymmetric Post correspondence problem

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35) Thue and Post systems, etc. (03D03)

Cites Work

• ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
• Recursive Unsolvability of a problem of Thue
• ON THE UNDECIDABILITY OF THE FREENESS OF INTEGER MATRIX SEMIGROUPS
• A variant of a recursively unsolvable problem
• Unnamed Item
• Unnamed Item

This page was built for publication: The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups