Chang's Conjecture, club-increasing sequences, and P_max forcing, Part 2

יום ב', 11/06/2018 - 13:00
In this talk, we will continue the investigation of questions involving Chang's Conjectures and the existence of certain club-increasing sequences. We begin by finishing our introduction of P_max forcing and sketching proofs of the facts that comprise the basic analysis thereof. We then present Larson's P_max variation that can be used to force the existence of a club-increasing sequence of length omega_2 in omega^omega over a model of AD^+ + V=L(A,R).