Speaker: 

Andres Caicedo

Institution: 

Boise State University

Time: 

Wednesday, June 2, 2010 - 3:30pm

Location: 

RH 340P

The graph G_0 was introduced by Kechris-Solecki-Todorcevic in the late 90s,
and has since turned into an essential object in descriptive set theory. In
joint work with Richard Ketchersid, we prove a version of the G_0-dichotomy
in models of AD^+. This is then used to establish that the quotient by the
equivalence relation E_0 is a successor of R, a result previously known
under AD_R, but (perhaps surprisingly) not in L(R).