Midwest Model Theory Seminar
Cameron Hill
Wesleyan
Remarks on countably categorical almost-sure theories
Abstract: I will survey what is known (at least, what I know) about 01-laws for Fraisse classes with countably categorical almost-sure theories. Specifically, I will discuss (1) why invariant measures are probably the only fruitful setting to study, (2) why only rank-1 super-simple theories are part of this story, and (3) the several incorrect conjectures that I’ve made in the past and how to improve them (and some theorems you can prove while being wrong for a while).
Please email jfreitag@uic.edu for the login information.
Tuesday December 1, 2020 at 4:00 PM in the internet