| Publication | Date of Publication | Type |
|---|
| Mutually embeddable models of ZFC | 2023-10-12 | Paper |
| Set Theory and Structures | 2023-09-20 | Paper |
| STRUCTURAL PROPERTIES OF THE STABLE CORE | 2023-09-11 | Paper |
| EMBEDDINGS INTO OUTER MODELS | 2022-11-18 | Paper |
| Coding over Core Models | 2022-09-18 | Paper |
| Patterns of stationary reflection | 2022-08-15 | Paper |
| Boolean-valued class forcing | 2022-02-11 | Paper |
| GENERIC CODING WITH HELP AND AMALGAMATION FAILURE | 2022-01-17 | Paper |
| Maximality and ontology: how axiom content varies across philosophical frameworks | 2021-12-01 | Paper |
| On the complexity of classes of uncountable structures: trees on $\aleph _1$ | 2021-11-03 | Paper |
| UNIVERSISM AND EXTENSIONS OF V | 2021-07-22 | Paper |
| Projective Measure Without Projective Baire | 2021-04-26 | Paper |
| The tree property at $\aleph _{\omega +2}$ with a finite gap | 2021-01-25 | Paper |
| ON THE SET-GENERIC MULTIVERSE | 2020-12-02 | Paper |
| COBHAM RECURSIVE SET FUNCTIONS AND WEAK SET THEORIES | 2020-12-02 | Paper |
| The Search for New Axioms in the Hyperuniverse Programme | 2020-08-07 | Paper |
| Hyperclass Forcing in Morse-Kelley Class Theory | 2020-08-07 | Paper |
| Multiverse Conceptions in Set Theory | 2020-08-07 | Paper |
| Evidence for Set-Theoretic Truth and the Hyperuniverse Programme | 2020-08-07 | Paper |
| On the Set-Generic Multiverse | 2020-08-07 | Paper |
| On Strong Forms of Reflection in Set Theory | 2020-08-07 | Paper |
| Definability of Satisfaction in Outer Models | 2020-08-07 | Paper |
| Explaining Maximality Through the Hyperuniverse Programme | 2020-08-07 | Paper |
| The Search for New Axioms in the Hyperuniverse Programme | 2020-07-13 | Paper |
| A WELLORDER OF THE REALS WITH SATURATED | 2020-01-10 | Paper |
| Feasible set functions have small circuits | 2019-10-28 | Paper |
| A model of second-order arithmetic satisfying AC but not DC | 2019-07-08 | Paper |
| On the complexity of classes of uncountable structures: trees on $\aleph_1$ | 2019-06-03 | Paper |
| The Scott rank of Polish metric spaces | 2019-06-02 | Paper |
| Embeddings into outer models | 2019-05-15 | Paper |
| Good projective witnesses | 2019-04-11 | Paper |
| Generic Coding with Help and Amalgamation Failure | 2018-08-30 | Paper |
| Ordinal definable subsets of singular cardinals | 2018-08-22 | Paper |
| Cichoń's diagram for uncountable cardinals | 2018-07-03 | Paper |
| COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS | 2018-05-02 | Paper |
| THE EIGHTFOLD WAY | 2018-05-02 | Paper |
| The tree property at the double successor of a singular cardinal with a larger gap | 2018-04-06 | Paper |
| A null ideal for inaccessibles | 2017-09-15 | Paper |
| Hyperclass Forcing in Morse-Kelley Class Theory | 2017-08-03 | Paper |
| DEFINABILITY OF SATISFACTION IN OUTER MODELS | 2017-04-28 | Paper |
| Multiverse conceptions in set theory | 2017-02-14 | Paper |
| Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory | 2016-11-01 | Paper |
| Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model | 2016-10-26 | Paper |
| The enriched stable core and the relative rigidity of HOD | 2016-09-02 | Paper |
| ISOMORPHISM ON HYP | 2016-08-19 | Paper |
| On strong forms of reflection in set theory | 2016-03-17 | Paper |
| Definable maximal cofinitary groups | 2016-03-09 | Paper |
| Three red herrings around Vaught’s conjecture | 2016-03-07 | Paper |
| Regularity properties on the generalized reals | 2016-03-02 | Paper |
| The Tree Property at $\omega _2$ and Bounded Forcing Axioms | 2016-02-24 | Paper |
| Collapsing the cardinals of HOD | 2016-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464627 | 2016-01-27 | Paper |
| Cobham recursive set functions | 2016-01-12 | Paper |
| SAFE RECURSIVE SET FUNCTIONS | 2015-11-09 | Paper |
| On Borel reducibility in generalized Baire space | 2015-09-11 | Paper |
| Baumgartner's conjecture and bounded forcing axioms | 2015-08-27 | Paper |
| Fusion and large cardinal preservation | 2015-08-27 | Paper |
| Large cardinals need not be large in HOD | 2015-08-21 | Paper |
| FAILURES OF THE SILVER DICHOTOMY IN THE GENERALIZED BAIRE SPACE | 2015-08-14 | Paper |
| LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH | 2015-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982347 | 2015-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982452 | 2015-04-09 | Paper |
| Δ1-Definability of the non-stationary ideal at successor cardinals | 2015-03-12 | Paper |
| The tree property at both ℵω+1and ℵω+2 | 2015-02-11 | Paper |
| The tree property at the \(\aleph_{2 n}\)'s and the failure of SCH at \(\aleph_\omega\) | 2015-02-04 | Paper |
| Large cardinals and definable well-orders, without the GCH | 2015-01-23 | Paper |
| Measure, category and projective wellorders | 2015-01-22 | Paper |
| Definable normal measures | 2014-10-27 | Paper |
| Generalized Descriptive Set Theory and Classification Theory | 2014-10-17 | Paper |
| A quasi-lower bound on the consistency strength of PFA | 2014-09-17 | Paper |
| Consistency of the Silver dichotomy in generalised Baire space | 2014-09-03 | Paper |
| Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals | 2014-08-29 | Paper |
| Easton functions and supercompactness | 2014-07-07 | Paper |
| Rank-into-rank hypotheses and the failure of GCH | 2014-05-12 | Paper |
| Classes of structures with universe a subset of 1 | 2014-04-01 | Paper |
| Projective measure without projective Baire | 2014-01-27 | Paper |
| Killing The GCH Everywhere with a Single Real | 2014-01-07 | Paper |
| Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH | 2013-12-16 | Paper |
| Cardinal characteristics, projective wellorders and large continuum | 2013-11-29 | Paper |
| Co-analytic mad families and definable wellorders | 2013-11-06 | Paper |
| Subcompact cardinals, squares, and stationary reflection | 2013-10-31 | Paper |
| The tree property at the double successor of a measurable cardinal κ with 2κlarge | 2013-10-30 | Paper |
| The hyperuniverse program | 2013-07-11 | Paper |
| BPFA and Inner Models(<Special Section>Mathematical Logic and Its Applications) | 2013-07-10 | Paper |
| The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\) | 2013-04-25 | Paper |
| Slow consistency | 2013-02-19 | Paper |
| A definable failure of the singular cardinal hypothesis | 2013-02-07 | Paper |
| Definable well-orders of H(ω2) and GCH | 2013-01-07 | Paper |
| Projective maximal families of orthogonal measures with large continuum | 2012-12-17 | Paper |
| Supercompactness and failures of GCH | 2012-10-19 | Paper |
| Easton's theorem and large cardinals from the optimal hypothesis | 2012-10-11 | Paper |
| Equivalence Relations That Are $\Sigma^0_3$ Complete for Computable Reducibility | 2012-09-21 | Paper |
| Independence of higher Kurepa hypotheses | 2012-09-18 | Paper |
| Foundational implications of the inner model hypothesis | 2012-09-06 | Paper |
| The Stable core | 2012-06-20 | Paper |
| On Borel equivalence relations in generalized Baire space | 2012-05-03 | Paper |
| Isomorphism relations on computable structures | 2012-04-19 | Paper |
| On Σ1 1 equivalence relations over the natural numbers | 2012-02-29 | Paper |
| BPFA and projective well-orderings of the reals | 2011-12-23 | Paper |
| Strong isomorphism reductions in complexity theory | 2011-12-23 | Paper |
| On absoluteness of categoricity in abstract elementary classes | 2011-12-21 | Paper |
| Condensation and large cardinals | 2011-11-18 | Paper |
| Potential isomorphism of elementary substructures of a strictly stable homogeneous model | 2011-10-10 | Paper |
| Projective wellorders and mad families with large continuum | 2011-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090407 | 2011-08-31 | Paper |
| The effective theory of Borel equivalence relations | 2011-08-26 | Paper |
| Cardinal characteristics and projective wellorders | 2011-08-26 | Paper |
| Projective mad families | 2011-08-26 | Paper |
| The tree property at ℵω+2 | 2011-06-28 | Paper |
| Hypermachines | 2011-06-28 | Paper |
| Analytic equivalence relations and bi-embeddability | 2011-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079623 | 2011-03-02 | Paper |
| Negative universality results for graphs | 2011-01-11 | Paper |
| Constructibility and Class Forcing | 2010-11-05 | Paper |
| Equivalence Relations on Classes of Computable Structures | 2010-07-28 | Paper |
| The consistency strength of the tree property at the double successor of a measurable cardina | 2010-05-21 | Paper |
| Measurable cardinals and the cofinality of the symmetric group | 2010-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3656209 | 2010-01-13 | Paper |
| Some natural equivalence relations in the Solovay model | 2009-10-26 | Paper |
| The number of normal measures | 2009-09-29 | Paper |
| Large cardinals and gap-1 morasses | 2009-06-10 | Paper |
| An inner model for global domination | 2009-03-25 | Paper |
| Internal consistency for embedding complexity | 2009-03-23 | Paper |
| Perfect trees and elementary embeddings | 2009-03-23 | Paper |
| Large cardinals and locally defined well-orders of the universe | 2009-02-19 | Paper |
| The internal consistency of Easton's theorem | 2009-01-28 | Paper |
| □ on the singular cardinals | 2009-01-09 | Paper |
| Homogeneous iteration and measure one covering relative to HOD | 2008-11-17 | Paper |
| Parameter-free uniformisation | 2008-09-01 | Paper |
| Easton's theorem and large cardinals | 2008-07-11 | Paper |
| On the consistency strength of the inner model hypothesis | 2008-06-09 | Paper |
| Internal consistency and global co-stationarity of the ground model | 2008-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439450 | 2008-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439452 | 2008-02-11 | Paper |
| The strength of the Inner Model Hypothesis | 2007-11-05 | Paper |
| Internal Consistency and the Inner Model Hypothesis | 2007-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425065 | 2007-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425066 | 2007-03-05 | Paper |
| Thin stationary sets and disjoint club sequences | 2007-02-01 | Paper |
| Co-stationarity of the ground model | 2006-11-29 | Paper |
| Hyperfine structure theory and gap 1 morasses | 2006-08-03 | Paper |
| GENERICITY AND LARGE CARDINALS | 2006-04-06 | Paper |
| A characterisation of 0^{#} in terms of forcing | 2006-03-08 | Paper |
| Definability degrees | 2005-09-26 | Paper |
| Generic Σ31 absoluteness | 2005-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663830 | 2005-04-04 | Paper |
| Universally Baire sets and definable well-orderings of the reals | 2005-02-09 | Paper |
| Cardinal-preserving extensions | 2005-02-09 | Paper |
| Classification theory and 0# | 2005-02-09 | Paper |
| 0# and inner models | 2003-06-13 | Paper |
| Cantor's set theory from a modern point of view | 2003-03-13 | Paper |
| Generic absoluteness | 2002-10-07 | Paper |
| Fine structure and class forcing | 2000-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934558 | 2000-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247805 | 1999-11-29 | Paper |
| New $\Sigma ^1_3$ facts | 1999-10-28 | Paper |
| Generic saturation | 1999-02-04 | Paper |
| An Elementary Approach to the Fine Structure of L | 1998-10-01 | Paper |
| Coding without fine structure | 1998-07-08 | Paper |
| \(\Delta_ 1\)-definability | 1998-05-29 | Paper |
| Condensation and large cardinals | 1998-05-06 | Paper |
| Nonstandard models and analytic equivalence relations | 1997-05-13 | Paper |
| \undertilde{𝛿}₂¹ without sharps | 1996-09-15 | Paper |
| Provable Π 1 2 -Singletons | 1996-07-01 | Paper |
| Iterated class forcing | 1995-11-16 | Paper |
| Jensen's Σ* theory and the combinatorial content of V = L | 1994-11-27 | Paper |
| A simpler proof of Jensen's coding theorem | 1994-11-27 | Paper |
| A Large \Prod 1 2 Set, Absolute for Set Forcings | 1994-11-10 | Paper |
| The genericity conjecture | 1994-08-15 | Paper |
| Minimal universes | 1994-07-26 | Paper |
| The Π 1 2 -Singleton Conjecture | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830992 | 1989-01-01 | Paper |
| Minimal coding | 1989-01-01 | Paper |
| Coding over a measurable cardinal | 1989-01-01 | Paper |
| Strong coding | 1987-01-01 | Paper |
| A guide to ``Strong coding | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792673 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680825 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690809 | 1985-01-01 | Paper |
| A guide to “Coding the universe” by Beller, Jensen, Welch | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731594 | 1985-01-01 | Paper |
| Model theory for \(L_{\infty \omega _ 1}\) | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343977 | 1984-01-01 | Paper |
| Tall α-Recursive Structures | 1983-01-01 | Paper |
| Some recent developments in higher recursion theory | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3661564 | 1982-01-01 | Paper |
| Uncountable Admissibles I: Forcing | 1982-01-01 | Paper |
| Steel forcing and barwise compactness | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3924190 | 1981-01-01 | Paper |
| Uncountable admissibles. II: Compactness | 1981-01-01 | Paper |
| Negative solutions to Post's problem. II | 1981-01-01 | Paper |
| Post's problem without admissibility | 1980-01-01 | Paper |
| β-Recursion Theory | 1979-01-01 | Paper |
| HC of an admissible set | 1979-01-01 | Paper |
| Inadmissible recursion theory | 1977-01-01 | Paper |
