Date:
Wed, 27/11/202411:00-13:00
Location:
Zoom
Zoom link: https://huji.zoom.us/j/84786739621?pwd=ot5ozqO5bDa41mz3Ry8Lio3s8amt5f.1
Title: Expansions of (N,<,+) by Automatic Sets
Abstract: There are compelling and long-established connections between automata theory and model theory, particularly regarding expansions of Presburger arithmetic by sets whose base-k representations are recognized by an automaton. We call such sets "k-automatic".
In this talk, we will characterize the expansions of (N,<,+) by a unary k-automatic set. We can characterize such expansions both in terms of model-theoretic properties, and via notions of "density" coming from arithmetic geometry. This is joint work with
Jason Bell and Chris Schulz.
Title: Expansions of (N,<,+) by Automatic Sets
Abstract: There are compelling and long-established connections between automata theory and model theory, particularly regarding expansions of Presburger arithmetic by sets whose base-k representations are recognized by an automaton. We call such sets "k-automatic".
In this talk, we will characterize the expansions of (N,<,+) by a unary k-automatic set. We can characterize such expansions both in terms of model-theoretic properties, and via notions of "density" coming from arithmetic geometry. This is joint work with
Jason Bell and Chris Schulz.