Spring 2007
Seminar this terms meets Wednesdays at 4:00 pm in Kemeny 120. * indicates logic seminar dinner will follow the talk.
| Date | Speaker | Title |
|---|---|---|
| Mar 28 |
Rebecca Weber
Dartmouth College
|
Infinite injury priority arguments |
| * Apr 4 |
Rebecca Weber
Dartmouth College
|
Infinite injury priority arguments |
| Apr 11 |
Rebecca Weber
Dartmouth College
|
Infinite injury priority arguments |
| Apr 18 |
Brooke Andersen
Dartmouth College
|
Generalized Gregorieff forcing does not add a minimal degree |
| * Apr 25 |
Jeffrey Olson
Norwich University
|
Abstract algebraic logic (abstract) |
| May 2 |
Jared Corduan
Dartmouth College
|
Arithmetical transfinite recursion |
| May 9 |
Jared Corduan
Dartmouth College
|
Arithmetical transfinite recursion |
| May 16 |
Jared Corduan
Dartmouth College
|
Arithmetical transfinite recursion |
| May 23 |
Brooke Andersen
Dartmouth College
|
Reducibility notions: We will look at a new notion of reducibility studied by Marcia Groszek, Rebecca Weber and Pete Winkler. |
| May 30 |
Brooke Andersen / Jared Corduan and Francois Dorais
Dartmouth College
|
Brooke will continue her talk on reducibilities and Jared and Francois will talk about two different versions of Hindman's Theorem. |
| * Jun 6 |
Jared Corduan and Francois Dorais
Dartmouth College
|
Two proofs of Hindman's Theorem -- one due to Jim Baumgartner and one involving reverse math. |