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.
Date | Room | Speaker(s) | Title |
---|---|---|---|
06 Jan 2015 2:30pm - 3:45pm | 315 McAllister | Untitled | |
13 Jan 2015 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |
20 Jan 2015 2:30pm - 3:45pm | 315 McAllister | David Belanger | Separation and reduction in second-order arithmetic |
27 Jan 2015 2:30pm - 3:45pm | 315 McAllister | Kirsten Eisenträger | Hilbert's Tenth Problem for subrings of the rationals and number fields. |
03 Feb 2015 2:30pm - 3:45pm | 315 McAllister | Jason Rute | The power of uniformity in algorithmic randomness |
10 Feb 2015 2:30pm - 3:45pm | 315 McAllister | Christopher P. Porter | Initial segment complexity and randomness for computable measures |
17 Feb 2015 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Effective Theory of Levy Processes |
24 Feb 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability: some recent results |
03 Mar 2015 2:30pm - 3:45pm | 315 McAllister | John Pardo | Kolmogorov Random Graphs |
10 Mar 2015 2:30pm - 3:45pm | 315 McAllister | NO SEMINAR, SPRING BREAK | |
17 Mar 2015 2:30pm - 3:45pm | 315 McAllister | Clinton Conley | Strong treeability of planar groups |
24 Mar 2015 2:30pm - 3:45pm | 315 McAllister | Steven Pincus | Precisely Constructed Taxa and Higher Order Dangers in Models of Randomness |
31 Mar 2015 2:30pm - 3:45pm | 315 McAllister | No Seminar this week | No Seminar this week |
17 Apr 2015 3:35pm - 4:35pm | 106 McAllister | Johanna Franklin | Randomness and Birkhoff's ergodic theorem for measure-preserving transformations |
21 Apr 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Aspects of the Muchnik lattice |
28 Apr 2015 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Quasi-random Graphs |
05 May 2015 2:30pm - 3:45pm | 315 McAllister | Untitled | |
12 May 2015 2:30pm - 3:45pm | 315 McAllister | Untitled | |
15 Jul 2015 3:30pm - 5:30pm | 106 McAllister | Keita Yokoyama | Informal seminar talk |
25 Aug 2015 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |
01 Sep 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability. Part 1: introduction |
08 Sep 2015 2:30pm - 3:45pm | 315 McAllister | No seminar this week | |
15 Sep 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability. Part 2: examples |
22 Sep 2015 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | An Introduction to Fine Structure Theory |
29 Sep 2015 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Gambling against some Odds |
06 Oct 2015 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Gambling Against Some Other Odds |
13 Oct 2015 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability. Part 3: Muchnik degrees of effectively closed sets |
20 Oct 2015 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | An Introduction to Fine Structure Theory, part II |
27 Oct 2015 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Algorithmic randomness and constructive/computable mathematics |
03 Nov 2015 2:30pm - 3:45pm | 315 McAllister | Jason Rute | When does randomness come from somewhere? |
10 Nov 2015 2:30pm - 3:45pm | 315 McAllister | Mingyang Li | Diophantine Approximation and Hausdorff Dimension |
17 Nov 2015 2:30pm - 3:45pm | 315 McAllister | Mingyang Li | Khinchin's Theorems on Metric Diophantine Approximation |
24 Nov 2015 2:30pm - 3:45pm | 315 McAllister | No Seminar This Week | |
01 Dec 2015 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Hausdorff Dimension, Irrationality Exponents and Their Effectivization |
08 Dec 2015 2:30pm - 3:45pm | 315 McAllister | William C. Calhoun | Triviality and lowness for K-reducibility and related reducibilities |
15 Dec 2015 2:30pm - 3:45pm | 315 McAllister | No Seminar This Week |