Skip to main content

Isabella Scott : Model Theoretic Forcing

Posted by Kevin Zhou , part of the Louise Hay Logic Seminar.

At
March 10, 2022, 4 p.m.
In
636 SEO
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.