| Publication | Date of Publication | Type |
|---|
An axiomatic approach to symmetric extensions
Pacific Journal of Mathematics | 2025-12-11 | Paper |
ASYMMETRIC CUT AND CHOOSE GAMES
The Bulletin of Symbolic Logic | 2024-02-23 | Paper |
IDEAL OPERATORS AND HIGHER INDESCRIBABILITY
Journal of Symbolic Logic | 2023-06-05 | Paper |
An ordinal-connection axiom as a weak form of global choice under the GCH
Archive for Mathematical Logic | 2023-04-27 | Paper |
Ramsey-like operators
Fundamenta Mathematicae | 2022-10-31 | Paper |
AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING
The Bulletin of Symbolic Logic | 2022-10-25 | Paper |
Ideal topologies in higher descriptive set theory
Annals of Pure and Applied Logic | 2022-03-03 | Paper |
The exact strength of the class forcing theorem
Journal of Symbolic Logic | 2021-03-19 | Paper |
Characterizing large cardinals through Neeman's pure side condition forcing
Fundamenta Mathematicae | 2021-01-25 | Paper |
Small models, large cardinals, and induced ideals
Annals of Pure and Applied Logic | 2020-12-15 | Paper |
Sufficient conditions for the forcing theorem, and turning proper classes into sets
Fundamenta Mathematicae | 2019-05-13 | Paper |
Small embedding characterizations for large cardinals
Annals of Pure and Applied Logic | 2018-11-29 | Paper |
A hierarchy of Ramsey-like cardinals
Fundamenta Mathematicae | 2018-06-07 | Paper |
Characterizations of pretameness and the Ord-cc
Annals of Pure and Applied Logic | 2018-06-05 | Paper |
Class forcing, the forcing theorem and Boolean completions
Journal of Symbolic Logic | 2017-04-28 | Paper |
Simplest possible locally definable well-orders
Fundamenta Mathematicae | 2017-01-25 | Paper |
Local club condensation and L-likeness
The Journal of Symbolic Logic | 2016-03-22 | Paper |
Large cardinals and lightface definable well-orders, without the GCH
Journal of Symbolic Logic | 2015-05-20 | Paper |
\(\Sigma_1\)-wellorders without collapsing
Archive for Mathematical Logic | 2015-04-14 | Paper |
Forcing lightface definable well-orders without the GCH
Annals of Pure and Applied Logic | 2015-02-18 | Paper |
A quasi-lower bound on the consistency strength of PFA
Transactions of the American Mathematical Society | 2014-09-17 | Paper |
Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
Fundamenta Mathematicae | 2014-07-07 | Paper |
Condensation and large cardinals
Fundamenta Mathematicae | 2011-11-18 | Paper |
Outward compactness
(available as arXiv preprint) | N/A | Paper |
