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 |

27 Aug 2013 | Stephen G. Simpson, Pennsylvania State University | Organizational meeting |

3 Sep 2013 | John Pardo, Pennsylvania State University | Forcing for basis theorems |

10 Sep 2013 | John Pardo, Pennsylvania State University | The reverse mathematics of Ramsey's Theorem: an overview |

17 Sep 2013 | Jason Rute, Pennsylvania State University | Schnorr random pairs |

24 Sep 2013 | Antonio Bonelli, University of Basilicata, Potenza, Italy | Presburger arithmetic, rational generating functions, and quasi-polynomials |

1 Oct 2013 | Ermek Nurkhaidarov, Pennsylvania State University, Mont Alto Campus | On automorphisms of saturated models of Peano Arithmetic |

8 Oct 2013 | Stephen G. Simpson, Pennsylvania State University | Cone avoidance and randomness preservation, part 1 |

15 Oct 2013 | Stephen G. Simpson, Pennsylvania State University | Cone avoidance and randomness preservation, part 2 |

22 Oct 2013 | Jan Reimann, Pennsylvania State University | Effective Multifractal Spectra |

29 Oct 2013 | Linda Brown Westrick, University of Califormia, Berkeley | A lightface analysis of the differentiability rank |

5 Nov 2013 | Adrian Maler, Pennsylvania State University | Algorithmic randomness and stochastic processes. |

12 Nov 2013 | Damir Dzhafarov, University of Connecticut | Strong reductions between combinatorial problems |

19 Nov 2013 | Kostas Hatzikiriakou, University of Thessaloniki, Greece | Lindstr"om's characterization of first-order logic |

3 Dec 2013 | Stephen G. Simpson, Pennsylvania State University | Submeasures, supermeasures, and effective capacitability. |

10 Dec 2013 | Stephen G. Simpson, Pennsylvania State University | There is no Logic Seminar this week. |