Logic Seminar
James Freitag
UIC
Making forking quantitative
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.
Tuesday September 17, 2024 at 4:00 PM in 636 SEO