[Alta-Logic] Peripatetic Seminar -- Wednesday 2pm

[Richard Zach]

Title of my talk: First-order Gödel Logics

I'll be reporting on recent work with Matthias Baaz and Norbert
Preining.

A paper can be found on arXiv: 
http://arxiv.org/abs/math.LO/0601147

> Since this year is Godel's 100th birthday, we will start off the seminar
> with a talk by Richard Zach on Godel Logic. So:
> 
> Time: Wednesday, 2pm
> Place: SS1253
> Speaker: Richard Zach (Dept of Philosophy)
> Title and Abstract: TBA.