Inaccessible Jónsson cardinals, part 3

שלחו לחבר
Seminar
Speaker
Shehzad Ahmed (BIU)
Date
02/12/2019 - 15:00 - 13:00
Place
Area 502, Room 37
Abstract

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.