University Seminar- Computability, Complexity, and Algebraic Structure-Smaller Ultraproducts, part 2

Time: Wednesday, October 16, 2:20 – 3:20pm

Place: Rome Hall, Room 352

Speaker:  Henry Klatt, GWU

Title: Smaller Ultraproducts, part 2

Abstract:  The ultraproduct is a central theme in many fields of logic, most noticeably model theory and set theory.  It is formed by taking the space of functions from a set X to some structure M, and taking the quotient with respect to a family of large sets called an ultrafilter. While ultraproduct scale, scope, and power are difficult to overstate, there are unfortunate features of their construction.  They are in general quite large, and inherently non-constructive.

In this talk, we will continue our discussion on computability theoretic ultraproducts, with a focus on recent results.