Farmer Schlutzenberg: Homogeneously Suslin sets in mice with Woodin cardinals

Week 1, Monday June 15, 11:10-11:35

In M_n, the minimal fine-structural iterable proper class model with n Woodin cardinals, all homogeneously Suslin sets are Delta^1_n+1. This talk will describe the main ideas involved in the proof of this fact for n=1.