The Penn State Logic Seminar traditionally and normally meets on Tuesdays, 2:30 to 3:45 PM. Our usual meeting place is 315 McAllister. For more precise information, please check the calendar below.
Date Speaker(s) Title 8 Jan 2013 Stephen G. Simpson, Pennsylvania State University Implicit definability in arithmetic, part 1. 15 Jan 2013 Stephen G. Simpson, Pennsylvania State University Implicit definability in arithmetic, part 2. 22 Jan 2013 Adrian Maler, Pennsylvania State University Random continuous functions. 29 Jan 2013 Phil Hudelson, Pennsylvania State University Partial randomness and strong separations, part 1. 5 Feb 2013 Phil Hudelson, Pennsylvania State University Partial randomness and strong separations, part 2. 12 Feb 2013 Phil Hudelson, Pennsylvania State University Partial randomness and strong separations, part 3. 26 Feb 2013 Keng Meng (Selwyn) Ng, Nanyang Technological University, Singapore On arithmetical equivalence relations. 12 Mar 2013 Keita Yokoyama, Tokyo Institute of Technology Pi^1_1-conservative extensions of subsystems of second-order arithmetic. 19 Mar 2013 Jan Reimann, Pennsylvania State University Degree-invariant functions and uniform Borel reductions 26 Mar 2013 Tin Lok (Lawrence) Wong, Ghent University, Belgium Generic cuts in models of arithmetic, reprise. 2 Apr 2013 Stephen G. Simpson, Pennsylvania State University Implicit definability in arithmetic, part 3. 9 Apr 2013 John Pardo, Pennsylvania State University The random graph and its properties. 16 Apr 2013 Stephen Flood, Pennsylvania State University The logic of graph decompositions. 23 Apr 2013 Jan Reimann, Pennsylvania State University Graph limits and random graphs 7 May 2013 To Be Announced 14 May 2013 To Be Announced
Subscribe to this seminar's semesterly iCalendar feed!
Archives
2013 , 2012 , 2011 , 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.
