On finitely presented expansions of semigroups, groups, and algebras

Bakhadyr Khoussainov, University of Auckland. Part of the Logic Seminar Series.

We will address an old problem of finding finitely presented expansions of semigroups, groups, and algebras. The lecture will be based on the interplay between important constructions, concepts, and results in computability (Post's construction of simple sets), universal algebra (residual finiteness), and algebra (the Golod-Shafarevich theorem).

The work is in collaboration with D. Hirschfeldt (Mathematics Department, University of Chicago) and A. Miasnikov (Mathematics Institute, Stevens Institute of Technology).