Seminarium Zakładu Funkcji Rzeczywistych
25 Maj 2023
Seminar of the Division of Real Functions
Time and place: usually Tuesdays at 10:15 offline in room 4.14 xor online (if you are interested please contact firstname.lastname@example.org)
Abstract: Disjoint stationary sequences were introduced by Krueger to answer questions 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 making progress on Krueger’s questions.