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.