Fall 2013
This quarter, the seminar will meet every other Tuesday at 4:00pm in Kemeny 201.
| Date | Speaker | Title |
|---|---|---|
| Sep 19 | Organizational Meeting 11:00am in Kemeny 201 |
|
| Oct 1 |
François G. Dorais
Dartmouth College
|
Topology without points! We will discuss aspects of pointfree topology and their relevance to the reverse mathematics program. |
| Oct 15 |
François G. Dorais
Dartmouth College
|
Reverse Mathematics and Pointfree Topology |
| Oct 29 |
Seth Harris
Dartmouth College
|
On the strength of proving a finite combinatorial statement infinitely often |
| Nov 12 |
Ethan Thomas
Dartmouth College
|
Russell cardinals |
On Sunday, October 6, Dartmouth will be hosting the Fall 2013 New England Recursion and Definability Seminar (NERDS). All talks will be held in Kemeny 108 with lunch and breaks in Kemeny 300.
| Time | Speaker | Title |
|---|---|---|
| 11:00 11:30 |
Coffee and Snacks | |
| 11:30 12:30 |
David Belanger
Cornell
|
Saturated models and disjunctions in second-order arithmetic |
| 12:30 2:00 |
Lunch | |
| 2:00 3:00 |
Stephen Flood
UConn
|
Paths, trees and the computational strength of some Ramsey-like theorems |
| 3:15 4:15 |
Damir Dzhafarov
UConn
|
Limits to joining with generics and randoms |