| Publication | Date of Publication | Type |
|---|
Satisfaction classes with approximate disjunctive correctness
The Review of Symbolic Logic | 2025-08-25 | Paper |
Incompleteness of boundedly axiomatizable theories
Proceedings of the American Mathematical Society | 2024-10-18 | Paper |
Indiscernibles and satisfaction classes in arithmetic
Archive for Mathematical Logic | 2024-07-02 | Paper |
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
Journal of Symbolic Logic | 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
Fundamenta Mathematicae | 2022-08-30 | Paper |
Set theoretical analogues of the Barwise-Schlipf theorem
Annals of Pure and Applied Logic | 2022-08-02 | Paper |
Condensable models of set theory
Archive for Mathematical Logic | 2022-06-14 | Paper |
End extending models of set theory via power admissible covers
Annals of Pure and Applied Logic | 2022-06-08 | Paper |
Topological models of arithmetic
Fundamenta Mathematicae | 2022-02-11 | Paper |
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
Journal of Symbolic Logic | 2022-01-17 | Paper |
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
Journal of Mathematical Logic | 2021-11-03 | Paper |
End extending models of set theory via power admissible covers
(available as arXiv preprint) | 2021-08-05 | Paper |
The Barwise-Schlipf theorem
Proceedings of the American Mathematical Society | 2021-01-26 | Paper |
TRUTH AND FEASIBLE REDUCIBILITY
Journal of Symbolic Logic | 2020-04-17 | Paper |
| A new proof of Tanaka's theorem | 2020-03-30 | Paper |
Feferman's forays into the foundations of category theory
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| An unpublished theorem of Solovay, revisited | 2020-01-29 | Paper |
Set theoretical analogues of the Barwise-Schlipf theorem
(available as arXiv preprint) | 2020-01-24 | Paper |
Condensable models of set theory
(available as arXiv preprint) | 2019-10-09 | Paper |
Variations on a Visserian theme
(available as arXiv preprint) | 2019-07-24 | Paper |
Truth, disjunction, and induction
Archive for Mathematical Logic | 2019-07-04 | Paper |
Initial self-embeddings of models of set theory
(available as arXiv preprint) | 2019-06-06 | Paper |
Iterated ultrapowers for the masses
Archive for Mathematical Logic | 2018-08-16 | Paper |
ZFC proves that the class of ordinals is not weakly compact for definable classes
Journal of Symbolic Logic | 2018-05-02 | Paper |
Fixed points of self-embeddings of models of arithmetic
Annals of Pure and Applied Logic | 2018-04-06 | Paper |
Largest initial segments pointwise fixed by automorphisms of models of set theory
Archive for Mathematical Logic | 2018-02-09 | Paper |
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
Annals of Pure and Applied Logic | 2017-08-29 | Paper |
Marginalia on a theorem of Woodin
Journal of Symbolic Logic | 2017-06-01 | Paper |
| \(\omega\)-models of finite set theory | 2012-03-02 | Paper |
An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN
Topology and its Applications | 2011-12-02 | Paper |
A standard model of Peano arithmetic with no conservative elementary extension
Annals of Pure and Applied Logic | 2009-01-28 | Paper |
Model theory of the regularity and reflection schemes
Archive for Mathematical Logic | 2008-08-18 | Paper |
Automorphisms of models of arithmetic: a unified view
Annals of Pure and Applied Logic | 2007-02-14 | Paper |
Automorphisms of models of bounded arithmetic
Fundamenta Mathematicae | 2007-01-10 | Paper |
| From bounded arithmetic to second order arithmetic via automorphisms | 2006-10-23 | Paper |
Leibnizian models of set theory
Journal of Symbolic Logic | 2005-08-29 | Paper |
Models of set theory with definable ordinals
Archive for Mathematical Logic | 2005-05-13 | Paper |
| scientific article; zbMATH DE number 2144527 (Why is no real title available?) | 2005-03-14 | Paper |
On the Leibniz–Mycielski axiom in set theory
Fundamenta Mathematicae | 2004-11-29 | Paper |
Counting models of set theory
Fundamenta Mathematicae | 2002-08-27 | Paper |
Power-like models of set theory
Journal of Symbolic Logic | 2002-04-29 | Paper |
δ as a Continuous Function of x and ɛ
American Mathematical Monthly | 2001-11-26 | Paper |
Trees and Keisler's problem
Archive for Mathematical Logic | 2001-09-19 | Paper |
| scientific article; zbMATH DE number 1302488 (Why is no real title available?) | 2000-01-09 | Paper |
Minimal elementary extensions of models of set theory and arithmetic
Archive for Mathematical Logic | 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
Journal of Symbolic Logic | 1986-01-01 | Paper |
Weakly compact cardinals in models of set theory
Journal of Symbolic Logic | 1985-01-01 | Paper |
| On Certain Elementary Extensions of Models of Set Theory | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3727199 (Why is no real title available?) | 1981-01-01 | Paper |
Incompleteness of boundedly axiomatizable theories
(available as arXiv preprint) | N/A | Paper |
