[1] ω3 ω1 → (ω3 ω1,3)2 requires an inaccessible (with Lee Stanley & Dan Velleman), Proceedings of the American Mathematical Society, 111, 1105-1118, 1991
[2] A gap cohomology group, Mathematical Logic Quarterly, 41, 564–570, 1995
[3] Morasses, square and forcing axioms, Annals of Pure & Applied Logic, 80, 139–163, 1996
[4] Higher gap morasses, Ia: Gap-two morasses and condensation, Journal of Symbolic Logic, 63, 753-787, 1998
[5] Adding club subsets using conditions with small working parts, CRM, Barcelona, preprint series, 552, 28pp, 2003
[6] Wild edge colourings of graphs (with Mirna Džamonja & Peter Komjáth), Journal of Symbolic Logic, 69, 255-264, 2004
[7] A few gentle stretching exercises, CRM, Barcelona, preprint series, 554, 45pp, 2004
[8] Local connectedness and distance functions, in Set Theory: Trends In Mathematics, Birkhäuser (Basel), 345-400, 2006
[9] Almost disjoint families and "never" cardinal invariants (with Samuel Gomes da Silva), Commentationes Mathematicae Universitatis Carolinae, 50, 433-444, 2009
[10] Covering properties which, under weak diamond principles, constrain the extents of separable spaces (with Samuel Gomes da Silva), Acta Mathematica Hungarica, 128, 358–368, 2010
[11] A note on closed discrete subsets of separable (a) spaces (with Samuel Gomes da Silva), Houston Journal of Mathematics, 38, 991-997, 2012
[12] Luzin gaps are not countably paracompact (with Michael Hrušák & Samuel Gomes da Silva), Q and A in General Topology, 30, 59–66, 2012
[13] Constraining extent by density: on generalizations of normality and countable paracompactness (with Samuel Gomes da Silva), Boletín de la Sociedad Matemática Mexicana, 18, 43–54, 2012
[14] Natural number objects in the Dialectica category (with Valeria de Paiva & Samuel Gomes da Silva), Electronic Notes in Theoretical Computer Science, 305, 53-65, 2014
[15] Selectively (a)-spaces from almost disjoint families (with Samuel Gomes da Silva), Houston Journal of Mathematics, 42, 1031-1046, 2016,
[16] Small universal families of graphs at ℵω+1 (with James Cummings & Mirna Džamonja), Journal of Symbolic Logic, 81, 541 – 569, 2016
[17] Combinatorics at successors of singulars (with James Cummings, Mirna Džamonja, Menachem Magidor & Saharon Shelah), Transactions of the American Mathematical Society, 369, 7405-7441, 2017
[18] On the relative paracompactness of almost disjoint families (with Dimi Rangel & Samuel Gomes da Silva), Topology and its Applications, 221, 476-490, 2017
[19] Dowker and super-Dowker filters (with James Cummings), Proceedings of the American Mathematical Society, 145, 5381-5390, 2017
[20] Mitchell-inspired forcing, with small working parts and collections of models of uniform size as side conditions, and gap-one simplified morasses, Journal of Symbolic Logic, published online 22 June 2020, 35pp
Preprints
[21] Algebras and co-algebras in the Dialectica category, with applications to recursion and NNOs (with Valeria de Paiva & Samuel Gomes da Silva)
[22] A Pavelka-style completeness theorem for regular-evaluated logic (with Andreas Brunner)
[23] The antichain property
[24] Ultrafilters on singular cardinals of uncountable cofinality (with James Cummings)
[55] Good arrays (A gap cohomology group, II: Abraham-Shore technique), Journal of Symbolic Logic (accepted)
[26] pcf structures I: characterisation (pcf theory from a topological point of view)
[27] pcf structures on ω2
[28] Gap-3 cardinal transfer at successors of singulars
[29] Restricted Ramsey theory for the uncountable
[30] Island logic: On Franckx’s remarks on the South China Sea Arbitration (Merits) Award Tribunal’s logical analysis of UNCLOS Article 121 (with Beatriz de Sousa Fernandes)