Winter 2006
Seminar this term will meet Tuesdays at 4:00 pm in Bradley 13.
| Date | Speaker | Title |
|---|---|---|
| Jan 10 |
Rebecca Weber
Dartmouth College
|
Bounding critical triples |
| Jan 17 |
Rebecca Weber
Dartmouth College
|
Bounding critical triples - priority arguments and trees |
| Jan 24 |
Rebecca Weber
Dartmouth College
|
Bounding weak critical triples |
| Jan 31 |
Rebecca Weber
Dartmouth College
|
Bounding critical triples - permitting |
| Feb 7 |
Rebecca Weber
Dartmouth College
|
Bounding critical triples |
| Feb 14 |
Rachel Esselstein
Dartmouth College
|
An overview of expressibility in finite models |
| Feb 21 |
Rachel Esselstein
Dartmouth College
|
Ehrenfeucht Fraisse games |
| Feb 28 |
Rachel Esselstein
Dartmouth College
|
Complexity theory and EF games |
| Mar 7 |
Jared Corduan
Dartmouth College
|
Silver's theorem |