Logic Seminar (2012)
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 |
---|---|---|---|
10 Jan 2012 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |
17 Jan 2012 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Forcing in Arithmetic |
24 Jan 2012 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | Cohen forcing and Sacks forcing in Recursion Theory |
31 Jan 2012 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | On the reverse mathematics of Peano categoricity |
07 Feb 2012 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Slaman-Woodin Coding (I) |
14 Feb 2012 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Slaman-Woodin Coding (II) |
21 Feb 2012 2:30pm - 3:45pm | 315 McAllister | William Calhoun | Degree of Randomness versus Turing degree |
28 Feb 2012 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | Borel Determinacy |
13 Mar 2012 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | Borel Determinacy (II) |
20 Mar 2012 2:30pm - 3:45pm | 315 McAllister | Russell Miller | Degrees of Categoricity of Algebraic Fields |
27 Mar 2012 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Applications of Slaman-Woodin coding |
03 Apr 2012 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Martin's Conjecture |
10 Apr 2012 2:30pm - 3:45pm | 315 McAllister | John Pardo | Uniformly Degree-invariant Functions |
17 Apr 2012 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Martin's Conjecture and Borel Equivalence Relations |
24 Apr 2012 2:30pm - 3:45pm | 315 McAllister | Daisuke Ikegami | Regularity properties and forcing absoluteness |
01 May 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |
08 May 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |
15 May 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |
22 May 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |
29 May 2012 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | Compressibility and arithmetic. |
05 Jun 2012 2:30pm - 3:45pm | 315 McAllister | Kojiro Higuchi | The Muchnik degrees of nonempty Pi01 sets. |
11 Jun 2012 10:00am - 11:15am | 106 McAllister | Chi-Tat Chong | The strength of Ramsey's Theorem for Pairs |
12 Jun 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |
19 Jun 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Propagation of partial randomness. |
26 Jun 2012 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Algorithmic randomness - a view from ergodic theory |
03 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |
10 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Randomness for non-uniform distributions, joinings, and independence |
17 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | Randomness for purely atomic and diminutive measures |
24 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Randomness for purely atomic and diminutive measures (II) |
31 Jul 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | A survey of basis theorems. |
07 Aug 2012 2:30pm - 3:45pm | 315 McAllister | Keita Yokoyama | On the strength of Ramsey's Theorem without Sigma_1 induction |
14 Aug 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |
21 Aug 2012 2:30pm - 3:45pm | 315 McAllister | Untitled | |
28 Aug 2012 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |
04 Sep 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | A survey of partial randomness. |
11 Sep 2012 2:30pm - 3:45pm | 315 McAllister | Stephen Flood | Paths, trees, and the computational strength of Ramsey type theorems |
18 Sep 2012 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Descriptive Complexity of Brownian Motion |
25 Sep 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | The reverse mathematics of Peano categoricity |
02 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Old and new perspectives on K-trivials |
09 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Andrew Marks | Borel combinatorics, recursion theory, and countable Borel equivalance relations |
16 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | The structure of non-atomic randomness |
23 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Turing equivalence as a Borel equivalence relation |
30 Oct 2012 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | A model of intuitionism based on Turing degrees |
02 Nov 2012 4:35pm - 5:45pm | 315 McAllister | Alice Medvedev | Unions of chains of signatures |
06 Nov 2012 2:30pm - 3:45pm | 315 McAllister | Daisuke Ikegami | Gale-Stewart games and Blackwell games |
13 Nov 2012 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Computable randomness and martingales a la probability theory |
20 Nov 2012 2:30pm - 3:45pm | 315 McAllister | No Seminar, Thanksgiving Break | |
27 Nov 2012 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Explicit and implicit definability over the integers, part 1 |
04 Dec 2012 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | Results in Measure Theoretic Regularity |
11 Dec 2012 2:30pm - 3:45pm | 315 McAllister | no speaker | canceled |