**March 6**

**Athar Abdul-Quader**,
SUNY Purchase College

**Mathias genericity in second order models of arithmetic**

I will review some results about Mathias forcing over models of RCA0. This method has recently been used by Slaman and Yokoyama to prove conservativity results for Ramsey's Theorem for pairs. I will mostly discuss just the method, rather than this new result in particular.