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.