James Freitag : Making forking quantitative

Posted by James Freitag , part of the Logic Seminar.

At

Sept. 17, 2024, 4 p.m.

In

636 SEO

Abstract

Controlling various aspects of forking is an important ingredient in many settings of both pure and applied model theory. In this talk, I'll talk about how to make some of these techniques effective or quantitative.