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.