1. Forcing axioms and definability of the nonstatioanry ideal on omega_1, with Stefan Hoffelner, Ralf Schindler and Liuzhen Wu, to appear in the Journal of Symbolic Logic
   
   
2. PFA and the definability of the nonstationary ideal, with Stefan Hoffelner, Ralf Schindler and Liuzhen Wu
   
   
3. A model of the Axiom of Determinacy in which every set of reals is universally Baire, with Grigor Sargsyan and Trevor Wilson
   
   
4. An introduction to AD+, to appear in "Higher Recursion Theory and Set Theory", IMS LNS
   
   
   

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
   
   
9. Notes on Woodin's suitable extenders
   
   
10. Notes on getting presaturation from collapsing a Woodin cardinal
    
    
11. Six lectures on the stationary tower
    
    
12. On the absoluteness of orbital ω-stability, with Saharon Shelah
    
    
13. Ordering finite sets
    
    
14. Nonmeager universally null sets, with Joerg Brendle
    
    
15. An extendible model with a rigid elementary extension, with Saharon Shelah
    
    
16. Levy-Steinitz for countable sets of series
    
    
17. The number of models of a fixed Scott rank, for a counterexample to the analytic Vaught conjecture, with Saharon Shelah
    
    
18. Turing Determinacy, Countable Choice and Ultrafilters
    
    
19. Wadge Determinacy implies Countable Choice for reals
    
    
20. Two Pmax arguments
    
    

Home