Ultraproducts and saturation

Reed Solomon

This talk will be an introduction to the ultraproduct construction and the model theoretic notion of saturation, which are two of the themes in Maryanthe Malliaris’s Annual Logic Lecture next week. My goal is to introduce these concepts with some examples and motivation to give anyone interested some familiarity with the key characters in Maryanthe’s story before she arrives. Maryanthe will define these concepts in her talk and will not presuppose any material from my talk.