Henry Towsner April 5, 2013 Henry Towsner University of Pennsylvania external web page Henry Towsner has 2 talks in our database: Model theory seminar March 21, 2014 The consistency of Peano Arithmetic CUNY Logic Workshop May 3, 2013 Models of Reverse Mathematics Models of PAU Penncomputabilitygroup theoryreverse mathematics