| Publication | Date of Publication | Type |
|---|
| How many real numbers are there? | 2023-07-12 | Paper |
| Generalizations of Martin's Axiom, weak square, weak Chang's Conjecture, and a forcing axiom failure | 2022-12-14 | Paper |
| The proper forcing axiom for $\aleph_1$-sized posets, P\v{r}\'{i}kr\'{y}-type proper forcing, and the size of the continuum | 2022-09-03 | Paper |
| Incompatible bounded category forcing axioms | 2022-08-03 | Paper |
| RETRACTION – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE | 2022-06-15 | Paper |
| DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS | 2021-07-22 | Paper |
| Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) | 2021-06-01 | Paper |
| Corrigendum to "Measuring club-sequences together with the continuum large" | 2020-12-14 | Paper |
| Parametrized Measuring and Club Guessing | 2020-07-15 | Paper |
| Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions | 2020-02-14 | Paper |
| Methods in Higher Forcing Axioms (Workshop Notes) | 2019-12-04 | Paper |
| ${\sf MM}^{++}$ implies $(*)$ | 2019-06-24 | Paper |
| A FORCING NOTION COLLAPSING $\aleph _3 $ AND PRESERVING ALL OTHER CARDINALS | 2019-01-04 | Paper |
| The special Aronszajn tree property at $\aleph_2$ and $GCH$ | 2018-09-20 | Paper |
| Dependent Choice, Properness, and Generic Absoluteness | 2018-06-11 | Paper |
| Incompatible category forcing axioms | 2018-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4638258 | 2018-05-04 | Paper |
| Few new reals | 2017-12-20 | Paper |
| Adding many Baumgartner clubs | 2017-10-09 | Paper |
| RETRACTED – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE | 2017-09-26 | Paper |
| On large cardinals and generalized Baire spaces | 2017-08-09 | Paper |
| Separating club-guessing principles in the presence of fat forcing axioms | 2016-01-12 | Paper |
| A generalization of Martin's axiom | 2015-11-17 | Paper |
| Baumgartner's conjecture and bounded forcing axioms | 2015-08-27 | Paper |
| Forcing consequences of $PFA$ together with the continuum large | 2015-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982445 | 2015-04-09 | Paper |
| Forcing lightface definable well-orders without the GCH | 2015-02-18 | Paper |
| Bounded Martin's maximum with an asterisk | 2014-09-02 | Paper |
| Forcing axioms and the continuum hypothesis | 2013-07-25 | Paper |
| Definable well-orders of H(ω2) and GCH | 2013-01-07 | Paper |
| Measuring club-sequences with a large continuum | 2012-03-06 | Paper |
| Measuring club sequences, together with the Continuum Hypothesis | 2011-10-28 | Paper |
| Forcing notions in inner models | 2009-10-23 | Paper |
| On a convenient property about \([\gamma^{\aleph_0}\)] | 2009-10-23 | Paper |
| Dense non-reflection for stationary collections of countable sets | 2009-10-09 | Paper |
| Large cardinals and locally defined well-orders of the universe | 2009-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3530390 | 2008-10-20 | Paper |
| Guessing and non-guessing of canonical functions | 2007-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5494226 | 2006-10-17 | Paper |
| Coding by club-sequences | 2006-09-14 | Paper |
| The nonexistence of robust codes for subsets of ω1 | 2005-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5316373 | 2005-09-12 | Paper |
| On simple partitions of [κκ] | 2003-09-10 | Paper |
| A maximal bounded forcing axiom | 2003-01-13 | Paper |
| Bounded Martin's Maximum, weak Erdӧs cardinals, and ψAc | 2002-12-16 | Paper |
| Bounded forcing axioms and the continuum | 2002-10-07 | Paper |
| The $\kappa$-Strongly Proper Forcing Axiom | 0001-01-03 | Paper |