Inaccessible Jónsson cardinals, part 2

In the previous talk, we showed that if lambda is an inaccessible Jonsson cardinal, then lambda must be Mahlo. In this talk, we will start by reviewing some basic ideas from the previous talk, and start developing the machinery required to prove Shelah's full result:  If lambda is an inaccessible Jonsson cardinal, then lambda must be lambda x omega Mahlo. Along the way, we will discuss Shelah's rank ideals as well as related club guessing results.