Shlomo Ben-Har March 1, 2014 Shlomo Ben-Har GC CUNY Shlomo Ben-Har has 3 talks in our database: Models of PA December 10, 2014 Bounded Second-Order Arithmetic II Models of PA December 3, 2014 Bounded Second-Order Arithmetic I Models of PA March 3, 2014 Blass-Gaifman and Ehrenfeucht lemmas CUNYGraduate CenterQueens