Louise Hay Logic Seminar
Kevin Zhou
UIC
Sample compression and definability of types
Abstract: We'll discuss a connection between the learning-theoretic topic of sample compression and the model-theoretic topic of definability of types, and some relatively recent results in this area.
Thursday January 18, 2024 at 3:00 PM in 427 SEO