Monthly Archives: March 2007

Fixed point logics

At CUSPOMMS today, the audience was depressingly tiny, which was a great shame because Anuj Dawar gave a terrific introductory talk about the problems he is working on in finite model theory. In a particular, he said a little about … Continue reading

Posted in Logic | 2 Comments

Back to category theory

Back in August, I did a bit of reading on category theory. I’m now taking that up again with a group of graduate students. We’ve started working through Robert Goldblatt’s Topoi: The Categorical Analysis of Logic (an amazing bargain reprint … Continue reading

Posted in This and that | Leave a comment