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 (CiteSeerX)
    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, RIMS Koukyuuroku Bessatsu No. 1686 (2010), 16-18.
    dvi file pdf file
  31. Another c.c.c. forcing that destroys presaturation, with Teruyuki Yorioka, RIMS Koukyuuroku Bessatsu No. 1686 (2010), 73-74.
    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
  44. Ramsey ultrafilters and countable-to-one uniformization, with Richard Ketchersid and Jindrich Zapletal, Topology and Its Applications 213 (2016), 190-198
    pdf file
  45. Consistency of a strong uniformization principle, with Saharon Shelah, Colloquium Mathematicum 146 (2017) 1, 1-13
    pdf file
  46. Closed sets which consistently have few translates covering the line, with Tomek Bartoszynski and Saharon Shelah, Fundamenta Mathematicae 237 (2017) 2, 101-125
    pdf file
  47. Square principles in Pmax extensions, with Andres Caicedo, Grigor Sargsyan, Ralf Schindler, John Steel and Martin Zeman, Israel Journal of Mathematics 217 (2017) 1, 231-261
    pdf file
  48. Real games and strategically selective coideals, with Dilip Raghavan, in Sets and Computations (Vol. 33, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore), 2017
    pdf file
  49. Scott processes, in Beyond First Order Model Theory, CRC Press, 2017
    pdf file
  50. Canonical models for fragments of the Axiom of Choice, with Jindrich Zapletal, Journal of Symbolic Logic 82 (2017) 2, 489-509
    pdf file
  51. Coding with canonical functions, with Saharon Shelah, Mathematical Logic Quarterly 63 (2017) 5, 334-341
    pdf file
  52. A model of ZFA with no outer model of ZFAC with the same pure part, with Saharon Shelah, Archive for Mathematical Logic 57 (2018) 7, 853-859
    pdf file
  53. Discontinuous homomorphisms, selectors and automorphisms of the complex field, with Jindrich Zapletal, Proceedings of the American Mathematical Society 147 (2019) 4, 1733-1737
    pdf file
  54. The rearrangement number, with Andreas Blass, Joerg Brendle, Will Brian, Joel David Hamkins and Michael Hardy, Transactions of the American Mathematical Society 373 (2020) 1, 41-69
    arXiv
  55. Prediction of chlorine and fluorine crystal structures at high pressure using symmetry driven structure search with geometric constraints, with Mark Olsen, Shefali Bhatia and Burkhard Militzer, J. Chem. Phys. 153, 094111 (2020)
  56. Choosing between incompatible ideals, with Will Brian, European J. Combin. 96 (2021), Paper No. 103349
    pdf file
  57. Unilateral weighted shifts on l2, with Konstantinos A. Beros, Journal of Operator Theory 87 (2022) 1, 113-136
    pdf file
  58. Polar forcings and measured extensions, with Jindrich Zapletal. Topology and Its Applications 323, January 2023, article 108290
    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
  7. A brief history of determinacy, in: Large Cardinals, Determinacy and Other Topics: The Cabal Seminar, Volume IV, Kechris, Loewe, Steel, eds., Cambridge University Press, 2020
    pdf file

Books

  1. The Stationary Tower. The current errata list is here.
  2. Foundations of Mathematics, co-edited with Andres Caicedo, James Cummings and Peter Koellner
  3. Geometric Set Theory, with Jindrich Zapletal
  4. Extensions of the Axiom of Determinacy

Home