Joint PM/CO Grad Colloquium
Wilson Poulter, Department of Pure Mathematics, University of Waterloo
"Ultraproducts, Hyperreals, and Pseudofinite Graphs"
An ultraproduct is a construction used in mathematical logic to construct limits of first-order structures. Due to a result of Jerzy Los, the first-order properties of these limits is very well understood, allowing one to construct counter-examples as well as structures that are interesting in and of themselves.