1. An introduction to Pmax forcing, for the Appalachian Set Theory proceedings
   
   
2. On the hereditary paracompactness of locally compact, hereditarily normal spaces, with Franklin D. Tall, to appear in the Canadian Mathematical Bulletin
   
   
3. Some results about (+) proved by iterated forcing, with Tetsuya Ishiu, to appear in the Journal of Symbolic Logic
   
   
4. Pmax variations for separating club guessing principles, with Tetsuya Ishiu, to appear in the Journal of Symbolic Logic
   
   
5. Forcing axioms and the Continuum Hypothesis, with David Aspero and Justin Moore
   
   
6. A brief history of determinacy, for the Handbook of the History of Logic and volume IV of the Cabal reissue
   
   
7. Iterated elementary embeddings and the model theory of infinitary logic, with John Baldwin
   
   

Notes

1. Small posets and the continuum, with Matt Foreman
   
2. Reals constructible from many countable sets of ordinals
   
3. A theorem of Todorcevic on universal Baireness
   
4. The extender algebra and preserving stationary sets
   
5. Notes on Todorcevic's Erice lectures on forcing with a coherent Suslin tree
   
   
6. Section 1 of the Appendix to Shelah's Proper and Improper Forcing (on weak diamond), retyped with minor modifications
   
   
7. WRP*
   
   
8. Questions regarding precipitous ideals and the omega_1-Chang Model
   
   

Home