The Penn State Logic Seminar traditionally and normally meets on Tuesdays, 2:30 to 3:45 PM. In Fall 2009 our usual meeting place will be 315 McAllister. For more precise information, please check the calendar below.
Date Speaker(s) Title 25 Aug 2009 Stephen G. Simpson, Pennsylvania State University, Mathematics Foundations of Mathematics 1 Sep 2009 Keita Yokoyama, Tohoku University, Japan Reverse Mathematics for analysis 8 Sep 2009 Stephen G. Simpson, Pennsylvania State University Measure-theoretic regularity: logical aspects. 15 Sep 2009 Stephen G. Simpson, Penn State Degrees of unsolvability and the Borel hierarchy 22 Sep 2009 Stephen G. Simpson, Penn State LR-reducibility, LK-reducibility, and measure-theoretic regularity 29 Sep 2009 Carl Mummert, Marshall University, West Virginia Stationary and convergent strategies in Choquet games 6 Oct 2009 John Clemens, Penn State Automatic groups 7 Oct 2009 Bakh Khoussainov, Cornell University and University of Auckland Automatic structures 13 Oct 2009 Stephen G. Simpson, Penn State LR-reducibility and LK-reducibility 27 Oct 2009 Stephen G. Simpson, Pennsylvania State University Measure-theoretic regularity and LR-reducibility 3 Nov 2009 Takako Nemoto, JAIST, Japan Determinacy of Wadge classes and subsystems of second-order arithmetic 10 Nov 2009 Stephen G. Simpson, Pennsylvania State University LR-reducibility and the Turing jump operator 17 Nov 2009 Kostas Hatzikiriakou, University of Thessaly, Greece WKL_0 and the Hahn-Banach Theorem in countable vector spaces over countable ordered fields 1 Dec 2009 Stephen G. Simpson, Pennsylvania State University Mass problems and measure-theoretic regularity 8 Dec 2009 To Be Announced 15 Dec 2009 To Be Announced
Subscribe to this seminar's semesterly iCalendar feed!
Archives
2010 , 2009 , 2008 , 2007 The slides for Simpson's Fall 2007 series of talks on mass problems are available .
See also the Penn State Logic Seminar Archive covering the years 1998 - 2006.
