Carl Tang : First-Order Theory of Torsion-free Hyperbolic Groups

Posted by Xuzhi Tang , part of the Louise Hay Logic Seminar.

At

Sept. 28, 2023, 4 p.m.

In

427 SEO

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.