Louise Hay Logic Seminar
Isabella Scott
University of Chicago
Model Theoretic Forcing
Abstract: Model theoretic forcing was developed in response to Cohen's proof of the independence of CH. I'll discuss some different formulations of it as well as its uses in model theory and, time permitting, computability theory.
Thursday March 10, 2022 at 4:00 PM in 636 SEO