Time: Wednesday, 2pm Place: SS1253 Speaker: Richard Zach (Dept. of Philosophy) Title: First-order Goedel logics Abstract: Report on recent work with Matthias Baaz and Norbert Preining. Link: a paper can be found at http://arxiv.org/abs/math.LO/0601147