# 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. |