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…