Louise Hay Logic Seminar
Ryan Carpenter
UIC
The Monster Model: Just What Is That Thing?
Abstract: To make model theoretic arguments more efficient, one often defers to properties of the so-called "monster model" to pull back desired results to the model within which one works. This convenient tool can seem mysterious and suspect—oftentimes, it makes use of class-sized objects—but it need not. The goal of this talk is to make clearer in the speaker's mind what exactly the monster model is and why it is a legitimate tool in model theoretic arguments; perhaps the audience will find some of the remarks useful as well. Along the way, we will review the concepts of saturation, homogeneity, transcendence (of a theory), and stability.
Thursday April 18, 2024 at 3:00 PM in 427 SEO