3 papers
math.GR2026
Visibly Pushdown Languages in Groups
Laura Ciobanu, Daniel Turaev
In this paper we explore the connections between the class of Visibly Pushdown Languages () and the natural sets of words one can associate to a finitely generated gr…
math.GR2024
Principal ideals in a plactic monoid always intersect
Daniel Turaev
This note presents a proof that two principal ideals in a plactic monoid always intersect. Namely, this means that the plactic monoids are both left and right reversible. To the au…
math.LO2023
On the first order theory of plactic monoids
Daniel Turaev
This paper proves that a plactic monoid of any finite rank will have decidable first order theory. This resolves other open decidability problems about the finite rank plactic mono…