PSU Mark
Eberly College of Science Mathematics Department

Logic Seminar (2009 Archive)

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.
DateSpeaker(s)Title
13 Jan 2009Philipp Gerhardy, University of OsloProof mining in topological dynamics
20 Jan 2009Alexander Shen, LIF (Marseille) and IITP (Moscow)Self-referential constructions, fixed-point theorems, and aperiodic tilings
27 Jan 2009Noopur Pathak, Pennsylvania State UniversityA computational aspect of the Lebesgue differentiation theorem
3 Feb 2009Stephen G. Simpson, Pennsylvania State UniversityMass problems, part 1
10 Feb 2009Stephen G. Simpson, Pennsylvania State UniversityMass problems, part 2
17 Feb 2009Stephen G. Simpson, Pennsylvania State UniversityMass problems, part 3
24 Feb 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems, part 1
3 Mar 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems, part 2
17 Mar 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems, part 3
24 Mar 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems, part 4
31 Mar 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems. part 5
7 Apr 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems, part 6
14 Apr 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems, part 7
21 Apr 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems, part 8
28 Apr 2009John Clemens, Pennsylvania State UniversityIntroduction to Borel equivalence relations and classification problems, part 9
5 May 2009 To Be Announced
12 May 2009 To Be Announced
19 May 2009 To Be Announced
26 May 2009 To Be Announced
2 Jun 2009 To Be Announced
9 Jun 2009 To Be Announced
16 Jun 2009 To Be Announced
23 Jun 2009 To Be Announced
30 Jun 2009 To Be Announced
7 Jul 2009 To Be Announced
10 Jul 2009
MB106

10:10am - 12:05pm
Stephen Binns, King Fahd University, Saudi ArabiaA generalisation of the Kucera-Gacs Theorem
14 Jul 2009 To Be Announced
21 Jul 2009 To Be Announced
28 Jul 2009 To Be Announced
4 Aug 2009 To Be Announced
11 Aug 2009 To Be Announced
18 Aug 2009 To Be Announced
25 Aug 2009Stephen G. Simpson, Pennsylvania State UniversityFoundations of Mathematics
1 Sep 2009Keita Yokoyama, Tohoku University, JapanReverse mathematics for analysis
8 Sep 2009Stephen G. Simpson, Pennsylvania State UniversityMeasure-theoretic regularity: logical aspects.
15 Sep 2009Stephen G. Simpson, Pennsylvania State UniversityDegrees of unsolvability and the Borel hierarchy
22 Sep 2009Stephen G. Simpson, Pennsylvania State UniversityLR-reducibility, LK-reducibility, and measure-theoretic regularity
29 Sep 2009Carl Mummert, Marshall University, West VirginiaStationary and convergent strategies in Choquet games
6 Oct 2009John Clemens, Pennsylvania State UniversityAutomatic groups
7 Oct 2009
MB114

3:30pm - 5:00pm
Bakh Khoussainov, Cornell University and University of AucklandAutomatic structures
13 Oct 2009Stephen G. Simpson, Pennsylvania State UniversityLR-reducibility and LK-reducibility
27 Oct 2009Stephen G. Simpson, Pennsylvania State UniversityMeasure-theoretic regularity and LR-reducibility
3 Nov 2009Takako Nemoto, JAIST, JapanDeterminacy of Wadge classes and subsystems of second-order arithmetic
10 Nov 2009Stephen G. Simpson, Pennsylvania State UniversityLR-reducibility and the Turing jump operator
17 Nov 2009Kostas Hatzikiriakou, University of Thessaly, GreeceWKL_0 and the Hahn-Banach Theorem in countable vector spaces over countable ordered fields
1 Dec 2009Stephen G. Simpson, Pennsylvania State UniversityMass problems and measure-theoretic regularity
8 Dec 2009several graduate students, Pennsylvania State UniversityShort presentations
Archives 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007

The slides for Simpson's Fall 2007 series of talks on mass problems are available.

See also the Penn State Logic Seminar Archive covering the years 1998 - 2006.