| Publication | Date of Publication | Type |
|---|
| Incompleteness of boundedly axiomatizable theories | 2024-10-18 | Paper |
| Indiscernibles and satisfaction classes in arithmetic | 2024-07-02 | Paper |
| AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW | 2023-12-22 | Paper |
| Curious satisfaction classes | 2023-08-14 | Paper |
| Indiscernibles and satisfaction classes in arithmetic | 2022-12-16 | Paper |
| Set theory with a proper class of indiscernibles | 2022-08-30 | Paper |
| Set theoretical analogues of the Barwise-Schlipf theorem | 2022-08-02 | Paper |
| Condensable models of set theory | 2022-06-14 | Paper |
| End extending models of set theory via power admissible covers | 2022-06-08 | Paper |
| Topological models of arithmetic | 2022-02-11 | Paper |
| INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY | 2022-01-17 | Paper |
| An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited | 2021-11-03 | Paper |
| End extending models of set theory via power admissible covers | 2021-08-05 | Paper |
| The Barwise-Schlipf theorem | 2021-01-26 | Paper |
| TRUTH AND FEASIBLE REDUCIBILITY | 2020-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5222077 | 2020-03-30 | Paper |
| Feferman’s Forays into the Foundations of Category Theory | 2020-02-05 | Paper |
| An unpublished theorem of Solovay, revisited | 2020-01-29 | Paper |
| Set theoretical analogues of the Barwise-Schlipf theorem | 2020-01-24 | Paper |
| Condensable models of set theory | 2019-10-09 | Paper |
| Variations on a Visserian Theme | 2019-07-24 | Paper |
| Truth, disjunction, and induction | 2019-07-04 | Paper |
| Initial self-embeddings of models of set theory | 2019-06-06 | Paper |
| Iterated ultrapowers for the masses | 2018-08-16 | Paper |
| ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES | 2018-05-02 | Paper |
| Fixed points of self-embeddings of models of arithmetic | 2018-04-06 | Paper |
| Largest initial segments pointwise fixed by automorphisms of models of set theory | 2018-02-09 | Paper |
| Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) | 2017-08-29 | Paper |
| MARGINALIA ON A THEOREM OF WOODIN | 2017-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118396 | 2012-03-02 | Paper |
| An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN | 2011-12-02 | Paper |
| A standard model of Peano arithmetic with no conservative elementary extension | 2009-01-28 | Paper |
| Model theory of the regularity and reflection schemes | 2008-08-18 | Paper |
| Automorphisms of models of arithmetic: a unified view | 2007-02-14 | Paper |
| Automorphisms of models of bounded arithmetic | 2007-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5393634 | 2006-10-23 | Paper |
| Leibnizian models of set theory | 2005-08-29 | Paper |
| Models of set theory with definable ordinals | 2005-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656800 | 2005-03-14 | Paper |
| On the Leibniz–Mycielski axiom in set theory | 2004-11-29 | Paper |
| Counting models of set theory | 2002-08-27 | Paper |
| Power-like models of set theory | 2002-04-29 | Paper |
| δ as a Continuous Function of x and ɛ | 2001-11-26 | Paper |
| Trees and Keisler's problem | 2001-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247804 | 2000-01-09 | Paper |
| Minimal elementary extensions of models of set theory and arithmetic | 1990-01-01 | Paper |
| Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic | 1988-01-01 | Paper |
| Conservative extensions of models of set theory and generalizations | 1986-01-01 | Paper |
| Weakly compact cardinals in models of set theory | 1985-01-01 | Paper |
| On Certain Elementary Extensions of Models of Set Theory | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3915632 | 1981-01-01 | Paper |
| Incompleteness of boundedly axiomatizable theories | N/A | Paper |
