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/
Thursday 14 June 2012
New item in mathematical logic: Note on omitting types in propositional logic