Philipp Schlicht: Thin equivalence relations in scaled pointclasses

Week 1, Friday June 19, 16:30-16:55

We give an inner model-theoretic proof that any thin equivalence relation which is Sigma_1 over an admissible initial segment M of L(R) at the beginning of a Sigma_1 gap is Pi_1 over M, assuming AD holds in M. This is joint work with Ralf Schindler.