Research Seminars @ Illinois

Tailored for undergraduate researchers, this calendar is a curated list of research seminars at the University of Illinois. Explore the diverse world of research and expand your knowledge through engaging sessions designed to inspire and enlighten.

To have your events added or removed from this calendar, please contact OUR at ugresearch@illinois.edu

Logic Seminar - Chris Schulz (Waterloo)

May 12, 2026   2:00 - 2:50 pm  
English Building 156
Seminar/Symposium
Sponsor
Department of Mathematics
Speaker
Chris Schulz (Waterloo)
Contact
Nicolas Chavarria Gomez
E-Mail
nchavarr@illinois.edu
Views
1
Originating Calendar
General Events - Department of Mathematics
A dichotomy for k-automatic expansions of Presburger arithmetic

The k-automatic sets, those whose base-k representations form a regular language, are a well-studied class of subsets of the natural numbers. In this talk, we discuss our proof of the following dichotomy: given a k-automatic subset X of the natural numbers, either X is definable from Presburger arithmetic expanded by a predicate for the powers of k, or else the Presburger arithmetic expanded by X itself defines any other k-automatic set. This talk is based on joint work with Jason Bell and Alexi Block Gorman.

link for robots only