| Publication | Date of Publication | Type |
|---|
| Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$] | 2024-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6119371 | 2024-03-01 | Paper |
| Universality properties of forcing | 2023-10-17 | Paper |
| Boolean valued semantics for infinitary logics | 2023-10-12 | Paper |
| Strong forcing axioms and the continuum problem (following Asper\'o's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$) | 2023-05-12 | Paper |
| Second order arithmetic as the model companion of set theory | 2023-04-27 | Paper |
| Incompatible bounded category forcing axioms | 2022-08-03 | Paper |
| What model companionship can say about the Continuum problem | 2022-04-28 | Paper |
| Another proof that $\mathsf{MM}^{++}$ implies Woodin's axiom $(*)$ | 2021-11-06 | Paper |
| Absolute model companionship, forcibility, and the continuum problem | 2021-09-06 | Paper |
| The model-companionship spectrum of set theory, generic absoluteness, and the Continuum problem | 2021-01-19 | Paper |
| Boolean valued models, presheaves, and \'etal\'e spaces | 2020-06-26 | Paper |
| Tameness for set theory $I$ | 2020-03-16 | Paper |
| Tameness for set theory $II$ | 2020-03-16 | Paper |
| The model companions of set theory | 2019-09-29 | Paper |
| Incompatible category forcing axioms | 2018-05-22 | Paper |
| Absoluteness via resurrection | 2017-12-04 | Paper |
| Generic absoluteness and Boolean names for elements of a Polish space | 2017-11-16 | Paper |
| Forcing the truth of a weak form of Schanuel's conjecture | 2017-07-28 | Paper |
| Useful axioms | 2016-10-10 | Paper |
| Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms | 2016-04-25 | Paper |
| Martin's maximum revisited | 2016-03-02 | Paper |
| A Boolean Algebraic Approach to Semiproper Iterations | 2014-02-07 | Paper |
| Martin's maximum and tower forcing | 2013-10-31 | Paper |
| Guessing models and generalized Laver diamond | 2012-09-26 | Paper |
| On the consistency strength of the proper forcing axiom | 2011-11-08 | Paper |
| Some consequences of reflection on the approachability ideal | 2010-08-16 | Paper |
| A family of covering properties | 2008-08-12 | Paper |
| Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics | 2008-05-08 | Paper |
| A family of covering properties for forcing axioms and strongly compact cardinals | 2007-03-03 | Paper |
| The proper forcing axiom and the singular cardinal hypothesis | 2006-08-03 | Paper |
| The cumulative hierarchy and the constructible universe of ZFA | 2004-03-15 | Paper |
| A binary modal logic for the intersection types of lambda-calculus. | 2004-03-14 | Paper |
| What model companionship can say about the Continuum problem | 0001-01-03 | Paper |
