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 |
|---|
| 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 |
|---|
| 14 May 2013 | | To Be Announced |
|---|
| 20 Aug 2013 | | To Be Announced |
|---|
| 27 Aug 2013 | | To Be Announced |
|---|
| 3 Sep 2013 | | To Be Announced |
|---|
| 10 Sep 2013 | | To Be Announced |
|---|
| 17 Sep 2013 | | To Be Announced |
|---|
| 24 Sep 2013 | | To Be Announced |
|---|
| 1 Oct 2013 | Ermek Nurkhaidarov, Pennsylvania State University, Mont Alto Campus | To be announced. |
|---|
| 8 Oct 2013 | | To Be Announced |
|---|
| 15 Oct 2013 | | To Be Announced |
|---|
| 22 Oct 2013 | | To Be Announced |
|---|
| 29 Oct 2013 | | To Be Announced |
|---|
| 5 Nov 2013 | | To Be Announced |
|---|
| 12 Nov 2013 | | To Be Announced |
|---|
| 19 Nov 2013 | | To Be Announced |
|---|
| 26 Nov 2013 | | To Be Announced |
|---|
| 3 Dec 2013 | | To Be Announced |
|---|
| 10 Dec 2013 | | To Be Announced |
|---|
| 17 Dec 2013 | | To Be Announced |
|---|
