Ryan Carpenter : The Monster Model: Just What Is That Thing?

Posted by Ryan Carpenter , part of the Louise Hay Logic Seminar.

At

April 18, 2024, 3 p.m.

In

427 SEO

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.