Louise Hay Logic Seminar
Carl Tang
UIC
First-Order Theory of Torsion-free Hyperbolic Groups
Abstract: We take a short walk through the concepts required to understand the statement of Sela's solution to Tarski's problem. Then, if time permits, we walk around the hall of model-theoretic results following Sela's solution.
Thursday September 28, 2023 at 4:00 PM in 427 SEO