Logic Seminar
Maxwell Levin
Freiburg University
On Disjoint Stationary Sequences
Abstract: Disjoint stationary sequences were introduced by Krueger to
answer a question about forcings that add clubs through stationary
sets.
We will discuss a version of Mitchell forcing that adds a disjoint
stationary sequence (given a sufficient large cardinal). The benefit of
this version is that it comes with an Abraham-style projection
analysis. This allows us to obtain disjoint stationary sequences on
successive cardinals, thus answering a couple of Krueger's questions.
Time permitting, we will discuss related issues.
Tuesday April 11, 2023 at 4:30 PM in 636 SEO