Farmer Schlutzenberg: Homogeneously Suslin sets in mice with Woodin cardinals

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.