Inaccessible Jónsson cardinals, part 3
Our goal is to finish the proof that an inaccessible Jonson cardinal lambda must be lambda x omega Jonsson. We begin by reviewing some properties of the iterated trace operator, and discussing how it interacts with certain sets coming from Jonsson models. From there, we will recall some important results from the previous talks and prove the desired results.
תאריך עדכון אחרון : 27/11/2019