Logic Seminar
Kyle Gannon
Peking University
Model Theoretic Events
Abstract: This talk is motivated by the following two soft questions: How do we sample an
infinite sequence from a first order structure? What model theoretic properties might hold on
almost all sampled sequences? We advance a plausible framework in an attempt to answer these
kinds of questions. The central object of this talk is a probability space. The underlying set of
our space is a standard model theoretic object, namely the space of types in countably many
variables over a monster model. Our probability measure is an iterated Morley product of a
fixed Borel-definable Keisler measure. Choosing a point randomly in this space with respect to
our distribution yields a random generic type in infinitely many variables. We are interested in
which model theoretic events hold for almost all random generic types. Two different kinds of
events will be discussed: (1) The event that the induced structure on a random generic type is
isomorphic to a fixed structure; (2) the event that a random generic type witnesses a dividing
line.
Tuesday February 4, 2025 at 3:30 PM in 636 SEO