October 3, 2023
1:50 pm
-
2:45 pm
240 Stillman Hall
Add to Calendar
2023-10-03 13:50:00
2023-10-03 14:45:00
Expansions of (N,<,+) by Automatic Sets
Title: Expansions of (N,<,+) by Automatic Sets
Speaker: Alexi Block-Gorman (The Ohio State University)
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-regular". In this talk, we will characterize the expansions of (N,<,+) by a unary k-regular 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.
240 Stillman Hall
OSU ASC Drupal 8
ascwebservices@osu.edu
America/New_York
public
Date Range
2023-10-03 13:50:00
2023-10-03 14:45:00
Expansions of (N,<,+) by Automatic Sets
Title: Expansions of (N,<,+) by Automatic Sets
Speaker: Alexi Block-Gorman (The Ohio State University)
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-regular". In this talk, we will characterize the expansions of (N,<,+) by a unary k-regular 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.
240 Stillman Hall
America/New_York
public
Title: Expansions of (N,<,+) by Automatic Sets
Speaker: Alexi Block-Gorman (The Ohio State University)
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-regular". In this talk, we will characterize the expansions of (N,<,+) by a unary k-regular 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.
