# Monthly Archives: June 2008

## An Introduction to Gödel’s Theorems revamped!

I’ve just, at last, got hold of a printed copy of the revised version of An Introduction to Gödel’s Theorems which came into stock with CUP about six weeks ago. Of course, as soon as it went to press, three … Continue reading

Posted in Books, Logic | 2 Comments

## Galois connections again

For some reason, I found myself minded to spend a bit of time tidying up the pages on posets and Galois connections that I was working on some weeks ago. They have the form of the first two chapters of … Continue reading

Posted in Logic | 1 Comment

## The Review of Symbolic Logic

The first issue of The Review of Symbolic Logic is out and available online (if your library has the right subscription). And two Cambridge friends have papers in it, both on set theory. Luca Incurvati has a piece on Kripke … Continue reading

Posted in Logic | 2 Comments

## Conference: Computation and Cognitive Science

There’s an upcoming conference in Cambridge on Computation and Cognitive Science with an impressive line-up. The plan is for the papers to be made available in advance, for there to be no formal presentations, but for the sessions to be … Continue reading

## Back in Cambridge. Sigh.

So this is the borgo we’ve left behind for a while (the little white patch in the centre distance in the centre of the photo is the distant dome of the duomo in Siena, or rather its covers during restoration … Continue reading

Posted in This and that | 1 Comment

## Postcard from Siena – 8

The meteo predicts that really good weather will start on Thursday. Since we are leaving on Wednesday, this is just a bit galling. This morning it was so cold we put the heating on again. And jazz last night in … Continue reading

Posted in Italian matters | 1 Comment

## Awodey’s Category Theory: Ch. 2

The second chapter of Awodey’s book is called ‘Abstract Structures’. It gives the usual abstract category-theoretic definitions of epis and monos, of sections and retractions, of initial and terminal objects, of products, and so on. This would certainly be tough … Continue reading

Posted in Books, Logic | 1 Comment

## Postcard from Siena – 7

Here, everyone has to park outside the walls of the old part of the borgo. But that’s no hardship. There’s stone and gravel put down between the olive trees just under the house, and you park the car among them, … Continue reading