| Publication | Date of Publication | Type |
|---|
Provable Pi-1-2 Singletons
(available as arXiv preprint) | N/A | Paper |
A large Pi-1-2 set absolute for set forcing
(available as arXiv preprint) | N/A | Paper |
Delta-1-2 Without Sharps
(available as arXiv preprint) | N/A | Paper |
Good projective witnesses
Annals of Pure and Applied Logic | 2025-06-18 | Paper |
Maximality principles in the hyperuniverse programme
Foundations of Science | 2025-03-26 | Paper |
Mutually embeddable models of ZFC
Annals of Pure and Applied Logic | 2023-10-12 | Paper |
Set Theory and Structures
Synthese Library | 2023-09-20 | Paper |
STRUCTURAL PROPERTIES OF THE STABLE CORE
Journal of Symbolic Logic | 2023-09-11 | Paper |
Embeddings into outer models
Journal of Symbolic Logic | 2022-11-18 | Paper |
Coding over Core Models
(available as arXiv preprint) | 2022-09-18 | Paper |
Patterns of stationary reflection
Israel Journal of Mathematics | 2022-08-15 | Paper |
Boolean-valued class forcing
Fundamenta Mathematicae | 2022-02-11 | Paper |
GENERIC CODING WITH HELP AND AMALGAMATION FAILURE
Journal of Symbolic Logic | 2022-01-17 | Paper |
Maximality and ontology: how axiom content varies across philosophical frameworks
Synthese | 2021-12-01 | Paper |
On the complexity of classes of uncountable structures: trees on $\aleph _1$
Fundamenta Mathematicae | 2021-11-03 | Paper |
Universism and extensions of \(V\)
The Review of Symbolic Logic | 2021-07-22 | Paper |
Projective Measure Without Projective Baire
Memoirs of the American Mathematical Society | 2021-04-26 | Paper |
The tree property at \(\aleph_{\omega +2}\) with a finite gap
Fundamenta Mathematicae | 2021-01-25 | Paper |
On the set-generic multiverse
Sets and Computations | 2020-12-02 | Paper |
Cobham recursive set functions and weak set theories
Sets and Computations | 2020-12-02 | Paper |
Multiverse conceptions in set theory
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
On the set-generic multiverse
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
On Strong Forms of Reflection in Set Theory
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
Definability of satisfaction in outer models
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
Explaining maximality through the hyperuniverse programme
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
The search for new axioms in the hyperuniverse programme
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
Hyperclass forcing in Morse-Kelley class theory
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
The search for new axioms in the hyperuniverse programme
Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
A \(\Sigma_4^1\) wellorder of the reals with \(\mathrm{NS}_{\omega_1}\) saturated
Journal of Symbolic Logic | 2020-01-10 | Paper |
Feasible set functions have small circuits
Computability | 2019-10-28 | Paper |
A model of second-order arithmetic satisfying AC but not DC
Journal of Mathematical Logic | 2019-07-08 | Paper |
On the complexity of classes of uncountable structures: trees on \aleph₁
(available as arXiv preprint) | 2019-06-03 | Paper |
| The Scott rank of Polish metric spaces | 2019-06-02 | Paper |
Embeddings into outer models
(available as arXiv preprint) | 2019-05-15 | Paper |
| Good projective witnesses | 2019-04-11 | Paper |
Generic Coding with Help and Amalgamation Failure
(available as arXiv preprint) | 2018-08-30 | Paper |
Ordinal definable subsets of singular cardinals
Israel Journal of Mathematics | 2018-08-22 | Paper |
Cichoń's diagram for uncountable cardinals
Israel Journal of Mathematics | 2018-07-03 | Paper |
Cichoń's diagram for uncountable cardinals
Israel Journal of Mathematics | 2018-07-03 | Paper |
Coherent systems of finite support iterations
Journal of Symbolic Logic | 2018-05-02 | Paper |
The eightfold way
Journal of Symbolic Logic | 2018-05-02 | Paper |
The tree property at the double successor of a singular cardinal with a larger gap
Annals of Pure and Applied Logic | 2018-04-06 | Paper |
A null ideal for inaccessibles
Archive for Mathematical Logic | 2017-09-15 | Paper |
Hyperclass forcing in Morse-Kelley class theory
The Journal of Symbolic Logic | 2017-08-03 | Paper |
Definability of satisfaction in outer models
Journal of Symbolic Logic | 2017-04-28 | Paper |
Multiverse conceptions in set theory
Synthese | 2017-02-14 | Paper |
Fragments of Kripke-Platek set theory and the metamathematics of -recursion theory
Archive for Mathematical Logic | 2016-11-01 | Paper |
Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model
Annals of Pure and Applied Logic | 2016-10-26 | Paper |
The enriched stable core and the relative rigidity of HOD
Fundamenta Mathematicae | 2016-09-02 | Paper |
ISOMORPHISM ON HYP
Journal of Symbolic Logic | 2016-08-19 | Paper |
On strong forms of reflection in set theory
Mathematical Logic Quarterly (MLQ) | 2016-03-17 | Paper |
| Definable maximal cofinitary groups | 2016-03-09 | Paper |
Three red herrings around Vaught's conjecture
Transactions of the American Mathematical Society | 2016-03-07 | Paper |
Regularity properties on the generalized reals
Annals of Pure and Applied Logic | 2016-03-02 | Paper |
The tree property at _2 and bounded forcing axioms
Bulletin of the Polish Academy of Sciences, Mathematics | 2016-02-24 | Paper |
Collapsing the cardinals of HOD
Journal of Mathematical Logic | 2016-02-18 | Paper |
| Equivalence relations in set theory, computation theory, model theory and complexity theory | 2016-01-27 | Paper |
Cobham recursive set functions
Annals of Pure and Applied Logic | 2016-01-12 | Paper |
Safe recursive set functions
Journal of Symbolic Logic | 2015-11-09 | Paper |
On Borel reducibility in generalized Baire space
Fundamenta Mathematicae | 2015-09-11 | Paper |
Baumgartner's conjecture and bounded forcing axioms
Annals of Pure and Applied Logic | 2015-08-27 | Paper |
Fusion and large cardinal preservation
Annals of Pure and Applied Logic | 2015-08-27 | Paper |
Large cardinals need not be large in HOD
Annals of Pure and Applied Logic | 2015-08-21 | Paper |
Failures of the Silver dichotomy in the generalized Baire space
Journal of Symbolic Logic | 2015-08-14 | Paper |
Large cardinals and lightface definable well-orders, without the GCH
Journal of Symbolic Logic | 2015-05-20 | Paper |
| The completeness of isomorphism | 2015-04-09 | Paper |
| Coding over core models | 2015-04-09 | Paper |
Δ<sub>1</sub>-Definability of the non-stationary ideal at successor cardinals
Fundamenta Mathematicae | 2015-03-12 | Paper |
The tree property at both \(\aleph_{\omega +1}\) and \(\aleph_{\omega +2}\)
Fundamenta Mathematicae | 2015-02-11 | Paper |
The tree property at the \(\aleph_{2 n}\)'s and the failure of SCH at \(\aleph_\omega\)
Annals of Pure and Applied Logic | 2015-02-04 | Paper |
Large cardinals and definable well-orders, without the GCH
Annals of Pure and Applied Logic | 2015-01-23 | Paper |
Measure, category and projective wellorders
Journal of Logic and Analysis | 2015-01-22 | Paper |
Definable normal measures
Annals of Pure and Applied Logic | 2014-10-27 | Paper |
Generalized descriptive set theory and classification theory
Memoirs of the American Mathematical Society | 2014-10-17 | Paper |
A quasi-lower bound on the consistency strength of PFA
Transactions of the American Mathematical Society | 2014-09-17 | Paper |
Consistency of the Silver dichotomy in generalised Baire space
Fundamenta Mathematicae | 2014-09-03 | Paper |
Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals
Archive for Mathematical Logic | 2014-08-29 | Paper |
Easton functions and supercompactness
Fundamenta Mathematicae | 2014-07-07 | Paper |
Rank-into-rank hypotheses and the failure of GCH
Archive for Mathematical Logic | 2014-05-12 | Paper |
Classes of structures with universe a subset of \(\omega _{1}\)
Journal Of Logic And Computation | 2014-04-01 | Paper |
Projective measure without projective Baire
(available as arXiv preprint) | 2014-01-27 | Paper |
Killing the GCH everywhere with a single real
The Journal of Symbolic Logic | 2014-01-07 | Paper |
Killing the GCH everywhere with a single real
The Journal of Symbolic Logic | 2014-01-07 | Paper |
Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH
Fundamenta Mathematicae | 2013-12-16 | Paper |
Cardinal characteristics, projective wellorders and large continuum
Annals of Pure and Applied Logic | 2013-11-29 | Paper |
Co-analytic mad families and definable wellorders
Archive for Mathematical Logic | 2013-11-06 | Paper |
Subcompact cardinals, squares, and stationary reflection
Israel Journal of Mathematics | 2013-10-31 | Paper |
The tree property at the double successor of a measurable cardinal \(\kappa \) with \(2^{\kappa} \) large
Fundamenta Mathematicae | 2013-10-30 | Paper |
The hyperuniverse program
The Bulletin of Symbolic Logic | 2013-07-11 | Paper |
BPFA and inner models
Annals of the Japan Association for Philosophy of Science | 2013-07-10 | Paper |
The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\)
Notre Dame Journal of Formal Logic | 2013-04-25 | Paper |
Slow consistency
Annals of Pure and Applied Logic | 2013-02-19 | Paper |
A definable failure of the singular cardinal hypothesis
Israel Journal of Mathematics | 2013-02-07 | Paper |
Definable well-orders of \(H(\omega _2)\) and GCH
Journal of Symbolic Logic | 2013-01-07 | Paper |
Projective maximal families of orthogonal measures with large continuum
Journal of Logic and Analysis | 2012-12-17 | Paper |
Supercompactness and failures of GCH
Fundamenta Mathematicae | 2012-10-19 | Paper |
Easton's theorem and large cardinals from the optimal hypothesis
Annals of Pure and Applied Logic | 2012-10-11 | Paper |
Equivalence relations that are ^0_3 complete for computable reducibility (extended abstract)
Logic, Language, Information and Computation | 2012-09-21 | Paper |
Independence of higher Kurepa hypotheses
Archive for Mathematical Logic | 2012-09-18 | Paper |
Foundational implications of the inner model hypothesis
Annals of Pure and Applied Logic | 2012-09-06 | Paper |
The stable core
The Bulletin of Symbolic Logic | 2012-06-20 | Paper |
The stable core
The Bulletin of Symbolic Logic | 2012-06-20 | Paper |
