Wednesday, March 6, 2024 4:00 pm
-
5:00 pm
EST (GMT -05:00)
Chris Schulz, Department of Pure Mathematics, University of Waterloo
"Automatic structure on Z[F]-modules"
The structure on the integers induced by the base-k representation has been well-studied using finite automata, by Büchi and others. Less well-explored are the extensions of these results to underlying groups other than Z. We will discuss a recent preprint of Francoise Point, in which the author uses the F-sets defined by Moosa and Scanlon in order to generalize Büchi's work. The end result is an expansion of a finitely generated Z[F]-module that has IP but maintains decidability.
MC 5479