Preprints 
	
		
						
											
		-  PFA and the definability of the nonstationary ideal, with Stefan Hoffelner, Ralf Schindler and Liuzhen Wu
   
 
 
-  Nairian Models, with Douglas Blue and Grigor Sargsyan
		
 arXiv
 
-  Strongly increasing sequences, with Chris Lambie-Hanson
		
   
 
 
																												
																												
																													
																													 
 Notes 
																														
																														 - Small posets
																																	and the continuum, with Matt Foreman  
   
- Reals constructible from many countable sets of ordinals
																																			
																																			 
     
- A theorem of Todorcevic on universal Baireness
																																							
																																							
     
- The extender algebra and preserving stationary sets
																																											
																																											
     
-  Notes on Todorcevic's Erice lectures on forcing with a coherent Suslin tree
																																															
																																															
																																															
																																															
     
 
-  Section 1 of the Appendix to Shelah's Proper and Improper Forcing (on weak diamond), retyped with minor
																																																					modifications
																																																				
																																																				
																																																				
																																																				
     
 
-  WRP*
																																																									
																																																									
																																																									
																																																									
     
 
-  Questions regarding precipitous ideals and the omega_1-Chang Model
																																																														
																																																														
																																																														
																																																														
     
 
-  Notes on Woodin's suitable extenders
																																																																			
																																																																			
   
 
-  Notes on getting presaturation from collapsing a Woodin cardinal
																																																																							
																																																																							
   
 
-  Six lectures on the stationary tower
																																																																											
																																																																											
   
 
-  On the absoluteness of orbital ω-stability, with Saharon Shelah
																																																																															
   
 
-  Ordering finite sets
																																																																																			
   
 
-  Nonmeager universally null sets, with Joerg Brendle
																																																																																							
   
 
-  An extendible model with a rigid elementary extension, with Saharon Shelah
																																																																																											
   
 
-  Levy-Steinitz for countable sets of series
																																																																																															
   
 
-  The number of models of a fixed Scott rank, for a counterexample to the analytic Vaught conjecture, with Saharon Shelah
																																																																																																			
   
 
-  Turing Determinacy, Countable Choice and Ultrafilters
																																																																																																							
   
 
-  Wadge Determinacy implies Countable Choice for reals
																																																																																																											
   
 
-  Two Pmax arguments
																																																																																																															
   
 
																																																																																																																		
																																																																																																																	
																																																																																																																	
																																																																																																																	
																																																																																																																		
																																																																																																																		
																																																																																																																			
																																																																																																																		
																																																																																																																		
																																																																																																																	
																																																																																																																	
																																																																																																																	
																																																																																																																	 Home