Matthew
Konefal
Loughborough, UK
Definability in Theories Based on Free Group and Free Monoid Equations
Abstract.
Equations in the free group and free monoid have long been studied together. I’ll outline their history and properties, comparing facets of their two theories. Each can be studied by adapting techniques developed for the other. After demonstrating this, we’ll focus on definability in theories whose atoms are free group equations. Tools for establishing nondefinability in this setting are due to group theorists and model theorists, yet have the appearance of word-combinatorial lemmas. The tools - combined - yield characterisations of definability, the free monoid analogues of which seem more elusive. I'll end discussing length abstractions and length constraints, which link equations to weak arithmetics. Naturally, more definability questions result, including major open problems.