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 semantics in set theory, and Thomas Forster discusses the iterative conception. Excellent stuff.
You’ve dealt a few times the issue of how clearly (or not) various philosophers write, so this might interest you:
http://leiterreports.typepad.com/blog/2008/06/philosophers-wi.html
Thanks!
Interesting stuff.
I also enjoyed reading about your visit to Italy.