# Logic Seminar (2011)

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

11 Jan 2011 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | Untitled |

18 Jan 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Topological dynamics of automorphism groups I |

25 Jan 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Topological dynamics of automorphism groups II |

08 Feb 2011 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | Amenable groups and paradoxical decompositions |

15 Feb 2011 2:30pm - 3:45pm | 315 McAllister | Jack Lutz | Computable Curves |

22 Feb 2011 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Structural Ramsey theory |

01 Mar 2011 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | FraÃ¯ssÃ© limits |

15 Mar 2011 2:30pm - 3:45pm | 315 McAllister | Jennifer Chubb | Degree spectra of relations |

17 Mar 2011 1:00pm - 2:15pm | 315 McAllister | John D. Clemens | Combinatorial structure for analytic equivalence relations |

22 Mar 2011 2:30pm - 3:45pm | 315 McAllister | Henry Towsner | Definability in Dynamical Systems |

29 Mar 2011 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | The Dual Ramsey Theorem |

05 Apr 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Extremely amenable automorphism groups and Ramsey theory |

12 Apr 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Extremely amenable automorphism groups and Ramsey theory (II) |

19 Apr 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Extremely amenable groups and Ramsey properties |

26 Apr 2011 2:30pm - 3:45pm | 315 McAllister | Johanna Franklin | Effective ergodic theorems and randomness |

04 May 2011 1:00pm - 2:15pm | 216 McAllister | Keita Yokoyama | Reverse mathematics of Ramsey's Theorem |

14 Jun 2011 2:30pm - 3:45pm | 106 McAllister | Noopur Pathak | Schnorr randomness and the Lebesgue Differentiation Theorem |

21 Jun 2011 2:30pm - 3:45pm | 106 McAllister | Keita Yokoyama | Conservation results for 2-randomness |

28 Jun 2011 2:30pm - 3:45pm | 106 McAllister | Stephen G. Simpson | Partial randomness |

05 Jul 2011 9:45am - 11:00am | 315 McAllister | Stephen G. Simpson | Tests for partial randomness |

12 Jul 2011 9:45am - 11:00am | 315 McAllister | John Clemens | How nicely can we tweak a nice map? |

19 Jul 2011 9:45am - 11:00am | 315 McAllister | Phil Hudelson | Varieties of algorithmic complexity |

09 Aug 2011 9:45am - 11:00am | 315 McAllister | Stephen G. Simpson | Propagation of partial randomness, part 1 |

16 Aug 2011 2:30pm - 3:45pm | 106 McAllister | Michael A. Warren | Homotopy, higher-dimensional category theory and logic |

23 Aug 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Organizational Meeting |

30 Aug 2011 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Kolmogorov complexity and DNR functions |

06 Sep 2011 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Partial Randomness |

13 Sep 2011 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | DNR Functions and Effective Hausdorff Dimension (Part 1) |

20 Sep 2011 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | DNR Functions and Effective Hausdorff Dimension (Part 2) |

27 Sep 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Forcing with trees and applications in computability theory |

04 Oct 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Forcing with Bushy Trees |

14 Oct 2011 3:35pm - 4:25pm | 216 McAllister | Paul Shafer | Complexity in the Medvedev and Muchnik degrees |

18 Oct 2011 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Forcing with bushy trees (Part II) |

25 Oct 2011 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Reverse Mathematics from the view point of Nonstandard Analysis |

01 Nov 2011 2:30pm - 3:45pm | 315 McAllister | Daisuke Ikegami | Wadge reducibility for the real line |

08 Nov 2011 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Reverse Mathematics from the view point of Nonstandard Analysis (Part II) |

15 Nov 2011 2:30pm - 3:45pm | 315 McAllister | Jennifer Reimann | Right-r.e. functions and strong reducibilities |

29 Nov 2011 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Cone Avoidance for Ramsey's theorem for pairs |

06 Dec 2011 2:30pm - 3:45pm | 315 McAllister | Untitled | |

13 Dec 2011 2:30pm - 3:45pm | 315 McAllister | Untitled | |

20 Dec 2011 2:30pm - 3:45pm | 315 McAllister | Untitled |