Some posts contain periodically updated listings of my research publications and papers in preparation; others relate to matters of general interest in Mathematical Logic.
My page at Cambridge: https://www.dpmms.cam.ac.uk/people/ok261/
Tuesday 8 May 2012
Snow has been replaced by bluebells, and a note on omitting propositional types in infinitary languages.