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 | Speaker(s) | Title |
|---|
| 11 Jan 2011 | Organizational Meeting | To Be Announced |
|---|
| 18 Jan 2011 | Jan Reimann, Pennsylvania State University | Topological dynamics of automorphism groups I |
|---|
| 25 Jan 2011 | Jan Reimann, Pennsylvania State University | Topological dynamics of automorphism groups II |
|---|
| 8 Feb 2011 | Noopur Pathak, Pennsylvania State University | Amenable groups and paradoxical decompositions |
|---|
| 15 Feb 2011 | Jack Lutz, Iowa State University | Computable Curves |
|---|
| 22 Feb 2011 | Phil Hudelson, Pennsylvania State University | Structural Ramsey theory |
|---|
| 1 Mar 2011 | Stephen G. Simpson, Pennsylvania State University | Fraïssé limits |
|---|
| 15 Mar 2011 | Jennifer Chubb, University of San Francisco | Degree spectra of relations |
|---|
17 Mar 2011
1:00pm - 2:15pm | John D. Clemens, University of North Texas | Combinatorial structure for analytic equivalence relations |
|---|
| 22 Mar 2011 | Henry Towsner, UCLA | Definability in Dynamical Systems |
|---|
| 29 Mar 2011 | Phil Hudelson, Pennsylvania State University | The Dual Ramsey Theorem |
|---|
| 5 Apr 2011 | Jan Reimann, Pennsylvania State University | Extremely amenable automorphism groups and Ramsey theory |
|---|
| 12 Apr 2011 | Jan Reimann, Pennsylvania State University | Extremely amenable automorphism groups and Ramsey theory (II) |
|---|
| 19 Apr 2011 | Jan Reimann, Pennsylvania State University | Extremely amenable groups and Ramsey properties |
|---|
| 26 Apr 2011 | Johanna Franklin, Dartmouth College | Effective ergodic theorems and randomness |
|---|
4 May 2011
MB216
1:00pm - 2:15pm | Keita Yokoyama, Tokyo Institute of Technology / Pennsylvania State University | Reverse mathematics of Ramsey's Theorem |
|---|
14 Jun 2011
MB106 | Noopur Pathak, Pennsylvania State University | Schnorr randomness and the Lebesgue Differentiation Theorem |
|---|
21 Jun 2011
MB106 | Keita Yokoyama, Tohoku University, Japan, and Pennsylvania State University | Conservation results for 2-randomness |
|---|
28 Jun 2011
MB106 | Stephen G. Simpson, Pennsylvania State University | Partial randomness |
|---|
5 Jul 2011
9:45am - 11:00am | Stephen G. Simpson, Pennsylvania State University | Tests for partial randomness |
|---|
12 Jul 2011
9:45am - 11:00am | John Clemens, Pennsylvania State University, University of Muenster | How nicely can we tweak a nice map? |
|---|
19 Jul 2011
9:45am - 11:00am | Phil Hudelson, Pennsylvania State University | Varieties of algorithmic complexity |
|---|
9 Aug 2011
9:45am - 11:00am | Stephen G. Simpson, Pennsylvania State University | Propagation of partial randomness, part 1 |
|---|
16 Aug 2011
MB106 | Michael A. Warren, Dalhousie University and Institute for Advanced Study | Homotopy, higher-dimensional category theory and logic |
|---|
| 23 Aug 2011 | Jan Reimann, Pennsylvania State University | Organizational Meeting |
|---|
| 30 Aug 2011 | Phil Hudelson, Pennsylvania State University | Kolmogorov complexity and DNR functions |
|---|
| 6 Sep 2011 | Stephen G. Simpson, Pennsylvania State University | Partial Randomness |
|---|
| 13 Sep 2011 | Noopur Pathak, Pennsylvania State University | DNR Functions and Effective Hausdorff Dimension (Part 1) |
|---|
| 20 Sep 2011 | Noopur Pathak, Pennsylvania State University | DNR Functions and Effective Hausdorff Dimension (Part 2) |
|---|
| 27 Sep 2011 | Jan Reimann, Pennsylvania State University | Forcing with trees and applications in computability theory |
|---|
| 4 Oct 2011 | Jan Reimann, Pennsylvania State University | Forcing with Bushy Trees |
|---|
14 Oct 2011
MB216
3:35pm - 4:25pm | Paul Shafer, Appalachian State University | Complexity in the Medvedev and Muchnik degrees |
|---|
| 18 Oct 2011 | Jan Reimann, Pennsylvania State University | Forcing with bushy trees (Part II) |
|---|
| 25 Oct 2011 | Keita Yokoyama, Pennsylvania State University and Tokyo Institute of Technology | Reverse Mathematics from the view point of Nonstandard Analysis |
|---|
| 1 Nov 2011 | Daisuke Ikegami, UC Berkeley | Wadge reducibility for the real line |
|---|
| 8 Nov 2011 | Keita Yokoyama, Pennsylvania State University and Tokyo Institute of Technology | Reverse Mathematics from the view point of Nonstandard Analysis (Part II) |
|---|
| 15 Nov 2011 | Jennifer Reimann, University of San Francisco and Pennsylvania State University | Right-r.e. functions and strong reducibilities |
|---|
| 29 Nov 2011 | Keita Yokoyama, Tokyo Institute of Technology and Pennsylvania State University | Cone Avoidance for Ramsey's theorem for pairs |
|---|
| 6 Dec 2011 | | To Be Announced |
|---|
| 13 Dec 2011 | | To Be Announced |
|---|
| 20 Dec 2011 | | To Be Announced |
|---|
