Dartmouth Logic Seminar

Summer 2006

Seminar this term will meet Wednesdays at 4:00pm. It will be in Bradley 13 July 5-26 and Bradley 103 August 2-23. * indicates there will be dinner following the talk.

DateSpeakerTitle
Jul 5
John Bourke
Dartmouth College
Gaps
July 12
No seminar (Exploring Math workshop week)
Jul 19
Francois Dorais
Dartmouth College
Forcing over admissible sets
Jul 26
No seminar (Exploring Math workshop week)
Aug 2*
Dan Willard
SUNY-Albany
On the nature of Godel's second incompleteness theorem

(abstract)
Aug 9
Brooke Andersen
Dartmouth College
Dominating, unbounded and splitting reals -- some results from "A Playful Approach to Silver and Mathias Forcing" by Lorenz Halbeisen
Aug 16
Informal discussion on what we're all working on
Aug 23
Marcia Groszek
Dartmouth College
$\alpha$ recursion theory
Aug 30
No seminar
Sep 6*
Francois Dorais
Dartmouth College
Forcing, completeness, and compactness