Gabriel Ng - Ultraproducts and Applications
|Starts:||15:00 21 Feb 2020|
|Ends:||16:00 21 Feb 2020|
|What is it:||Seminar|
|Organiser:||Department of Mathematics|
|Who is it for:||Current University students|
This week's pure postgrad seminar will be given by Gabriel Ng at 3pm in Frank Adams 1.
One of the primary aims of Model Theory is the study of the relationship between a first-order theory (a set of properties expressed in a language) and the structures that satisfy it. In this talk, we will discuss ultraproducts, which is one of the methods through which such models can be constructed. We will also discuss applications of ultraproduct constructions to prove other results, such as the Compactness Theorem, and the Ax-Grothendieck Theorem.
Travel and Contact Information
Frank Adams 1
Alan Turing Building