Research Papers

  1. An Smax variation for one Souslin tree, J. Symbolic Logic, vol. 64 (1999), #1, pp. 81-98 . (JSTOR)
  2. Separating stationary reflection principles, Journal of Symbolic Logic, vol.65 (2000), #1, pp. 247-258 . (JSTOR)
  3. The size of T tilde, Archive for Mathematical Logic 39 (2000) #7, pp. 541-568 .
  4. Martin's Maximum and the Pmax axiom (*), Annals of Pure and Applied Logic, vol. 106 (2000) #1-3, pp. 135-149 .
  5. Chain conditions in maximal models, with Stevo Todorcevic, Fundamenta Mathematicae, vol. 168 (2001) #1, pp. 77-104 .
  6. Showing OCA in Pmax-style extensions, Kobe Journal of Mathematics 18 (2001) pp. 115-126 .
  7. Katetov's problem, with Stevo Todorcevic, Transactions of the American Mathematical Society 354 (2002) pp. 1783-1791 .
  8. A uniqueness theorem for iterations, Journal of Symbolic Logic, vol. 67 (2002), #4, pp. 1344-1350 .(JSTOR)
  9. Bounding by canonical functions, with CH, with Saharon Shelah, Journal of Mathematical Logic, Vol. 3 (2003) 2, 193-215 .
    dvi file pdf file
  10. Almost-disjoint coding and strongly saturated ideals, Proceedings of the American Mathematical Society 133 (2005) 9, 2737-2739 .
    dvi file
  11. Saturation, Suslin trees and meager sets, Archive for Mathematical Logic 44 (2005) 5, 581-595.
  12. The canonical function game, Archive for Mathematical Logic 44 (2005) 7, 817-827.
    dvi file postscript file pdf file
  13. Irreducibility of product spaces with finitely many points removed, Topology Proceedings 30 (2006) 1, 327-333.
    dvi file pdf file
  14. Compact spaces, elementary submodels, and the countable chain condition, with Lucia Junqueira and Franklin D. Tall, APAL 144 (2006) 1-3, 107-116.
    dvi file postscript file pdf file
  15. Absoluteness for universally Baire sets and the uncountable I, with Ilijas Farah, Quaderni di Matematica 17 (2006), 47-92
    dvi file
  16. The nonstationary ideal in the Pmax extension, Journal of Symbolic Logic 72 (2007) 1, 138-158. (Project Euclid)
  17. Guessing clubs in the generalized club-filter, with Bernhard Koenig and Yasuo Yoshinobu, Fundamenta Mathematicae 195 (2007) 2, 177-191
    pdf file
  18. Increasing delta^1_2 and Namba-style forcing, with Richard Ketchersid and Jindrich Zapletal, Journal of Symbolic Logic 72 (2007) 4, 1372-1378 (Project Euclid)
    dvi file dvi file
  19. On extensions of elementary submodels by forcing, with Lucia Junqueira and Marcelo Passos, Logic Journal of the IGPL 15 (2007) 5-6, 637-651
    dvi file
  20. The stationary set splitting game, with Saharon Shelah, Mathematical Logic Quarterly 54 (2008) 2, 187-193
    dvi file dvi file
  21. Bounding the consistency strength of a five element linear basis, with Bernhard Koenig, Justin Moore and Boban Velickovic, Israel Journal of Mathematics 164 (2008) 1, 1-18
    ps file dvi file pdf file
  22. Absoluteness for universally Baire sets and the uncountable II, with Ilijas Farah, Richard Ketchersid and Menachem Magidor, Computational Prospects of Infinity Part II, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore - Vol. 15 (2008), 163--191
    dvi file dvi file
  23. Rectangular axioms, perfect set properties and decompositions, with Joerg Brendle and Stevo Todorcevic, Bulletin de l'Academie Serbe des Sciences et des Arts, Classe des Sciences Mathematiques et Naturelles, Sciences mathematiques, vol. 33, (2008), 91--130
    dvi file pdf file
  24. Martin's Maximum and definability in H(aleph_2), Annals of Pure and Applied Logic 156 (2008) 1, 110-122
    dvi file dvi file
  25. Splitting stationary sets from weak forms of Choice, with Saharon Shelah, Mathematical Logic Quarterly 55 (2009) 3, 299-306
    dvi file pdf file
  26. The Filter Dichotomy and medial limits, Journal of Mathematical Logic 9 (2009) 2, 159-165
    dvi file pdf file
  27. D-spaces, irreducibility and trees, with Leandro F. Aurichi and Lucia R. Junqueira, Top. Proc. 35 (2010), 73--82
    dvi file pdf file
  28. Regular embeddings of the stationary tower and Woodin's Sigma^2_2 maximality theorem, with Richard Ketchersid and Jindrich Zapletal, Journal of Symbolic Logic 75 (2010) 2, 711-727 (Project Euclid)
    dvi file dvi file
  29. Universally measurable sets in generic extensions, with Itay Neeman and Saharon Shelah, Fundamenta Mathematicae 208 (2010) 2, 173-192
    dvi file pdf file
  30. Ultrafilter limits of asymptotic density are not universally measurable, with Joerg Brendle, Proceedings of the 2009 RIMS set theory workshop, 2010
    dvi file pdf file
  31. Another c.c.c. forcing that destroys presaturation, with Teruyuki Yorioka, Proceedings of the 2009 RIMS set theory workshop, 2010
    dvi file pdf file
  32. Locally compact perfectly normal spaces may all be paracompact, with Franklin D. Tall, Fundamenta Mathematicae 210 (2010), 285-300
    pdf file
  33. Small-sum pairs in abelian groups, with Reza Akhtar, Journal de Théorie des Nombres de Bordeaux 22 (2010), 525-535
    dvi file pdf file
  34. Majority decisions when abstention is possible, with Nicholas Matteo and Saharon Shelah, Discrete Mathematics 312 (2012), 1336-1352
    dvi file pdf file
  35. Some results about (+) proved by iterated forcing, with Tetsuya Ishiu, Journal of Symbolic Logic 77 (2012) 2, 515-531 (Project Euclid)
    pdf file
  36. Pmax variations for separating club guessing principles, with Tetsuya Ishiu, Journal of Symbolic Logic 77 (2012) 2, 532-544 (Project Euclid)
    dvi file pdf file
  37. Forcing axioms and the Continuum Hypothesis, with David Aspero and Justin Moore, Acta Mathematica 210 (2013) 1, 1-29
    dvi file pdf file
  38. On the hereditary paracompactness of locally compact, hereditarily normal spaces, with Franklin D. Tall, Canadian Mathematical Bulletin 57 (2014) 3, 579-584
    pdf file
  39. Universal functions, with Arnold Miller, Juris Steprans and William Weiss, Fundamenta Mathematicae 227 (2014), 197-245
    pdf file
  40. A Choice function on countable sets, from determinacy, Proceedings of the American Mathematical Society 143 (2015) 4, 1763-1770
    pdf file
  41. Almost Galois omega-stable classes, with John Baldwin and Saharon Shelah, Journal of Symbolic Logic 80 (2015) 3, 763-784
    pdf file
  42. Iterated elementary embeddings and the model theory of infinitary logic, with John Baldwin, APAL 167 (2016) 3, 309-334
    pdf file
  43. Automorphisms of P(λ)/Iκ, with Paul McKenney, Fundamenta Mathematicae 233 (2016) 3, 271-291
    pdf file

Expository Papers

  1. An Omega-logic primer, with Joan Bagaria and Neus Castells, Set Theory, CRM 2003-2004, Birkhauser 2006, pp. 1-28
    pdf file
  2. Forcing over models of determinacy, in The Handbook of Set Theory, Foreman, Kanamori, eds., 2010
    dvi file dvi file
  3. Introduction to 1913 and D. Konig's 1927b, in Ernst Zermelo : Collected Works, Ebbinghaus, Fraser, Kanamori, eds., Springer, 2010
    dvi file pdf file
  4. Three days of Omega-logic, Annals of the Japan Association for Philosophy of Science 19 (May 2011), 57-86
    dvi file pdf file
  5. A brief history of determinacy, in The Handbook of the History of Logic, volume 6, Gabbay, Kanamori, Woods, eds., Elsevier, 2012
  6. An introduction to Pmax forcing, in Appalachian Set Theory, Cummings, Schimmerling, eds., Cambridge, 2012
    dvi file dvi file
Reprints available on request. My monograph on Woodin's lectures on the stationary tower can be ordered here. Here is the current errata list.

Home