Logic Seminar (2013)
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 |
---|---|---|---|
08 Jan 2013 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Implicit definability in arithmetic, part 1. |
15 Jan 2013 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Implicit definability in arithmetic, part 2. |
22 Jan 2013 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Random continuous functions. |
29 Jan 2013 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Partial randomness and strong separations, part 1. |
05 Feb 2013 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Partial randomness and strong separations, part 2. |
12 Feb 2013 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Partial randomness and strong separations, part 3. |
26 Feb 2013 2:30pm - 3:45pm | 315 McAllister | Keng Meng (Selwyn) Ng | On arithmetical equivalence relations. |
12 Mar 2013 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Pi^1_1-conservative extensions of subsystems of second-order arithmetic. |
19 Mar 2013 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Degree-invariant functions and uniform Borel reductions |
26 Mar 2013 2:30pm - 3:45pm | 315 McAllister | Tin Lok (Lawrence) Wong | Generic cuts in models of arithmetic, reprise. |
02 Apr 2013 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Implicit definability in arithmetic, part 3. |
09 Apr 2013 2:30pm - 3:45pm | 315 McAllister | John Pardo | The random graph and its properties. |
16 Apr 2013 2:30pm - 3:45pm | 315 McAllister | Stephen Flood | The logic of graph decompositions. |
23 Apr 2013 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Graph limits and random graphs |
27 Aug 2013 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Organizational meeting |
03 Sep 2013 2:30pm - 3:45pm | 315 McAllister | John Pardo | Forcing for basis theorems |
10 Sep 2013 2:30pm - 3:45pm | 315 McAllister | John Pardo | The reverse mathematics of Ramsey's Theorem: an overview |
17 Sep 2013 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Schnorr random pairs |
24 Sep 2013 2:30pm - 3:45pm | 315 McAllister | Antonio Bonelli | Presburger arithmetic, rational generating functions, and quasi-polynomials |
01 Oct 2013 2:30pm - 3:45pm | 315 McAllister | Ermek Nurkhaidarov | On automorphisms of saturated models of Peano Arithmetic |
08 Oct 2013 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Cone avoidance and randomness preservation, part 1 |
15 Oct 2013 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Cone avoidance and randomness preservation, part 2 |
22 Oct 2013 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Effective Multifractal Spectra |
29 Oct 2013 2:30pm - 3:45pm | 315 McAllister | Linda Brown Westrick | A lightface analysis of the differentiability rank |
05 Nov 2013 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Algorithmic randomness and stochastic processes. |
12 Nov 2013 2:30pm - 3:45pm | 315 McAllister | Damir Dzhafarov | Strong reductions between combinatorial problems |
19 Nov 2013 2:30pm - 3:45pm | 315 McAllister | Kostas Hatzikiriakou | Lindstr"om's characterization of first-order logic |
03 Dec 2013 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Submeasures, supermeasures, and effective capacitability. |
10 Dec 2013 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | There is no Logic Seminar this week. |