Philipp Schlicht: Thin equivalence relations in scaled pointclasses

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.