1. Events
  3. Seminar
  4. Logic Seminar (2015)

Logic Seminar (2015)

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.

Logic Seminar (2015)
DateRoomSpeaker(s)Title
06 Jan 2015 2:30pm - 3:45pm315 McAllisterUntitled
13 Jan 2015 2:30pm - 3:45pm315 McAllisterOrganizational Meeting
20 Jan 2015 2:30pm - 3:45pm315 McAllisterDavid BelangerSeparation and reduction in second-order arithmetic
27 Jan 2015 2:30pm - 3:45pm315 McAllisterKirsten EisenträgerHilbert's Tenth Problem for subrings of the rationals and number fields.
03 Feb 2015 2:30pm - 3:45pm315 McAllisterJason RuteThe power of uniformity in algorithmic randomness
10 Feb 2015 2:30pm - 3:45pm315 McAllisterChristopher P. PorterInitial segment complexity and randomness for computable measures
17 Feb 2015 2:30pm - 3:45pm315 McAllisterAdrian MalerEffective Theory of Levy Processes
24 Feb 2015 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonDegrees of unsolvability: some recent results
03 Mar 2015 2:30pm - 3:45pm315 McAllisterJohn PardoKolmogorov Random Graphs
10 Mar 2015 2:30pm - 3:45pm315 McAllisterNO SEMINAR, SPRING BREAK
17 Mar 2015 2:30pm - 3:45pm315 McAllisterClinton ConleyStrong treeability of planar groups
24 Mar 2015 2:30pm - 3:45pm315 McAllisterSteven PincusPrecisely Constructed Taxa and Higher Order Dangers in Models of Randomness
31 Mar 2015 2:30pm - 3:45pm315 McAllisterNo Seminar this weekNo Seminar this week
17 Apr 2015 3:35pm - 4:35pm106 McAllisterJohanna FranklinRandomness and Birkhoff's ergodic theorem for measure-preserving transformations
21 Apr 2015 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonAspects of the Muchnik lattice
28 Apr 2015 2:30pm - 3:45pm315 McAllisterJake PardoQuasi-random Graphs
05 May 2015 2:30pm - 3:45pm315 McAllisterUntitled
12 May 2015 2:30pm - 3:45pm315 McAllisterUntitled
15 Jul 2015 3:30pm - 5:30pm106 McAllisterKeita YokoyamaInformal seminar talk
25 Aug 2015 2:30pm - 3:45pm315 McAllisterOrganizational Meeting
01 Sep 2015 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonDegrees of unsolvability. Part 1: introduction
08 Sep 2015 2:30pm - 3:45pm315 McAllisterNo seminar this week
15 Sep 2015 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonDegrees of unsolvability. Part 2: examples
22 Sep 2015 2:30pm - 3:45pm315 McAllisterJan ReimannAn Introduction to Fine Structure Theory
29 Sep 2015 2:30pm - 3:45pm315 McAllisterJake PardoGambling against some Odds
06 Oct 2015 2:30pm - 3:45pm315 McAllisterJake PardoGambling Against Some Other Odds
13 Oct 2015 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonDegrees of unsolvability. Part 3: Muchnik degrees of effectively closed sets
20 Oct 2015 2:30pm - 3:45pm315 McAllisterJan ReimannAn Introduction to Fine Structure Theory, part II
27 Oct 2015 2:30pm - 3:45pm315 McAllisterJason RuteAlgorithmic randomness and constructive/computable mathematics
03 Nov 2015 2:30pm - 3:45pm315 McAllisterJason RuteWhen does randomness come from somewhere?
10 Nov 2015 2:30pm - 3:45pm315 McAllisterMingyang LiDiophantine Approximation and Hausdorff Dimension
17 Nov 2015 2:30pm - 3:45pm315 McAllisterMingyang LiKhinchin's Theorems on Metric Diophantine Approximation
24 Nov 2015 2:30pm - 3:45pm315 McAllisterNo Seminar This Week
01 Dec 2015 2:30pm - 3:45pm315 McAllisterJan ReimannHausdorff Dimension, Irrationality Exponents and Their Effectivization
08 Dec 2015 2:30pm - 3:45pm315 McAllisterWilliam C. CalhounTriviality and lowness for K-reducibility and related reducibilities
15 Dec 2015 2:30pm - 3:45pm315 McAllisterNo Seminar This Week
Archives 2019, 2018, 2017, 2016, 2015, 2014, 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.