| Publication | Date of Publication | Type |
|---|
| Adding standardness to nonstandard arithmetic | 2020-03-30 | Paper |
| The model theory of generic cuts | 2020-02-03 | Paper |
| Interpretations between \(\omega\)-logic and second-order arithmetic | 2014-12-05 | Paper |
| Circularity in soundness and completeness | 2014-10-21 | Paper |
| The arithmetic of cuts in models of arithmetic | 2013-10-30 | Paper |
| Transplendent models: expansions omitting a type | 2012-11-23 | Paper |
| Amphi-ZF : axioms for Conway games | 2012-05-03 | Paper |
| Tennenbaum's theorem for models of arithmetic | 2012-03-02 | Paper |
| Truth in generic cuts | 2011-08-26 | Paper |
| Automorphisms and constructions of models of set theory | 2010-09-02 | Paper |
| On the bounding lemma for KF | 2010-09-02 | Paper |
| Generic cuts in models of arithmetic | 2008-05-08 | Paper |
| On interpretations of arithmetic and set theory | 2008-04-29 | Paper |
| The mathematics of logic. A guide to completeness theorems and their applications | 2007-08-08 | Paper |
| Normal subgroups of nonstandard symmetric and alternating groups | 2007-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781773 | 2003-10-06 | Paper |
| Minesweeper is NP-complete. | 2001-11-18 | Paper |
| On Models Constructed by Means of the Arithmetized Completeness Theorem | 2001-06-18 | Paper |
| Infinitary definitions of equivalence relations in models of PA | 1998-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4389333 | 1998-05-13 | Paper |
| Constructing κ-like Models of Arithmetic | 1996-12-12 | Paper |
| The quantifier complexity of NF | 1996-11-07 | Paper |
| The theory of \(\kappa\)-like models of arithmetic | 1996-10-27 | Paper |
| Automorphisms of models of true arithmetic: Recognizing some basic open subgroups | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4309365 | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4309362 | 1995-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140638 | 1994-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4309351 | 1994-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4309361 | 1994-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4309366 | 1994-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140639 | 1993-11-28 | Paper |
| Hilbert's tenth problem for weak theories of arithmetic | 1993-09-22 | Paper |
| The Automorphism Group of a Countable Recursively Saturated Structure | 1993-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4001935 | 1992-09-18 | Paper |
| Automorphisms of recursively saturated models of arithmetic | 1992-06-28 | Paper |
| On cofinal extensions of models of fragments of arithmetic | 1992-06-28 | Paper |
| Model-theoretic properties characterizing Peano arithmetic | 1992-06-27 | Paper |
| A generalization of Specker's theorem on typical ambiguity | 1992-06-27 | Paper |
| End-extensions preserving power set | 1992-06-26 | Paper |
| Diophantine induction | 1990-01-01 | Paper |
| Parameter-Free Universal Induction | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807183 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778748 | 1987-01-01 | Paper |
| A Gray code for set partitions | 1976-01-01 | Paper |
| Errata to `Automorphisms of First-order Structures' | N/A | Paper |
