James CummingsCarnegie Mellon University
Thursday, September 7, 2023 - 4:20pm
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