Maxwell Levin : On Disjoint Stationary Sequences

Posted by Tom Benhamou , part of the Logic Seminar.

At

April 11, 2023, 4:30 p.m.

In

636 SEO

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.