Logic Seminar

James CummingsCarnegie Mellon University
Term forcing

Thursday, September 7, 2023 - 4:20pm
Malott 205

Term forcing (AKA termspace forcing) is a forcing technique introduced by Laver, and later elaborated by Foreman and others. I will introduce the main ideas, and describe a couple of recent applications.

Note the special time and location