| Publication | Date of Publication | Type |
|---|
The forcing method in set theory. An introduction via Boolean valued logic
Unitext | 2024-11-14 | Paper |
Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$]
Astérisque | 2024-04-04 | Paper |
| New axioms in set theory | 2024-03-01 | Paper |
| Universality properties of forcing | 2023-10-17 | Paper |
Boolean valued semantics for infinitary logics
Annals of Pure and Applied Logic | 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
Archive for Mathematical Logic | 2023-04-27 | Paper |
Incompatible bounded category forcing axioms
Journal of Mathematical Logic | 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
(available as arXiv preprint) | 2019-09-29 | Paper |
| Incompatible category forcing axioms | 2018-05-22 | Paper |
Absoluteness via resurrection
Journal of Mathematical Logic | 2017-12-04 | Paper |
Generic absoluteness and Boolean names for elements of a Polish space
Bollettino dell'Unione Matematica Italiana | 2017-11-16 | Paper |
Forcing the truth of a weak form of Schanuel's conjecture
Confluentes Mathematici | 2017-07-28 | Paper |
| Useful axioms | 2016-10-10 | Paper |
Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
Journal of the American Mathematical Society | 2016-04-25 | Paper |
Martin's maximum revisited
Archive for Mathematical Logic | 2016-03-02 | Paper |
| A Boolean Algebraic Approach to Semiproper Iterations | 2014-02-07 | Paper |
Martin's maximum and tower forcing
Israel Journal of Mathematics | 2013-10-31 | Paper |
Guessing models and generalized Laver diamond
Annals of Pure and Applied Logic | 2012-09-26 | Paper |
On the consistency strength of the proper forcing axiom
Advances in Mathematics | 2011-11-08 | Paper |
Some consequences of reflection on the approachability ideal
Transactions of the American Mathematical Society | 2010-08-16 | Paper |
A family of covering properties
Mathematical Research Letters | 2008-08-12 | Paper |
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics
The Bulletin of Symbolic Logic | 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
Journal of Symbolic Logic | 2006-08-03 | Paper |
The cumulative hierarchy and the constructible universe of ZFA
Mathematical Logic Quarterly | 2004-03-15 | Paper |
A binary modal logic for the intersection types of lambda-calculus.
Information and Computation | 2004-03-14 | Paper |
