Midwest Model Theory Seminar
Uri Andrews
Wisconsin
Effective non-local-finiteness in flat strongly minimal theories
Abstract: I'll talk about a connection between model theory and recursive model theory. In answering Zilber's trichotomy conjecture, Hrushovski built a strongly minimal theory with a geometric property called flatness. Flatness precludes the existence of a definable group, but it does much more. I'll discuss what the assumption of flatness tells us about being able to build recursive models of strongly minimal theories.
Tuesday April 20, 2021 at 4:00 PM in the internet