March 13
Athar Abdul-Quader,
SUNY Purchase College
Mathias genericity in second order models of arithmetic
I will continue speaking about some results in the reverse mathematics of combinatorial principles which utilize Mathias forcing.
March 13
Athar Abdul-Quader,
SUNY Purchase College
Mathias genericity in second order models of arithmetic
I will continue speaking about some results in the reverse mathematics of combinatorial principles which utilize Mathias forcing.