Logic Seminar

Department of Mathematics

The Ohio State University logo
To be added to our mailing list, please contact conant.38@osu.edu.

Time: Tuesday 1:50–2:45

Location: 240 Stillman Hall

Next Seminar: October 3

Alexi Block-Gorman (OSU)
Expansions of (N,<,+) by Automatic Sets

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.

Upcoming Seminars

October 10
Tyler Borgard (OSU)
In search of the definability theory of real harmonic functions

October 17
Gabe Conant (OSU)
Stability in groups

October 31
Matthew Harrison-Trainor (University of Illinois at Chicago)
TBA

November 7
David Meretzky (Notre Dame)
TBA

November 28
Liling Ko (OSU)
TBA

Past Seminars

Autumn 2023 (show/hide)

Spring 2023 (show/hide)

Autumn 2022 (show/hide)