math.LO/math.CT, currently at the Institute for Advanced Study, Princeton, lately of Dalhousie University, Nova Scotia, and Carnegie Mellon University, Pittsburgh.