| Publication | Date of Publication | Type |
|---|
| Adding standardness to nonstandard arithmetic | 2020-03-30 | Paper |
The model theory of generic cuts
Logic Without Borders | 2020-02-03 | Paper |
Interpretations between \(\omega\)-logic and second-order arithmetic
Journal of Symbolic Logic | 2014-12-05 | Paper |
Circularity in soundness and completeness
The Bulletin of Symbolic Logic | 2014-10-21 | Paper |
The arithmetic of cuts in models of arithmetic
Mathematical Logic Quarterly (MLQ) | 2013-10-30 | Paper |
Transplendent models: expansions omitting a type
Notre Dame Journal of Formal Logic | 2012-11-23 | Paper |
Amphi-ZF : axioms for Conway games
Archive for Mathematical Logic | 2012-05-03 | Paper |
| Tennenbaum's theorem for models of arithmetic | 2012-03-02 | Paper |
Truth in generic cuts
Annals of Pure and Applied Logic | 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
Mathematical Logic Quarterly | 2008-05-08 | Paper |
On interpretations of arithmetic and set theory
Notre Dame Journal of Formal Logic | 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
Archive for Mathematical Logic | 2007-03-06 | Paper |
| scientific article; zbMATH DE number 1827971 (Why is no real title available?) | 2003-10-06 | Paper |
Minesweeper is NP-complete.
The Mathematical Intelligencer | 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
Annals of Pure and Applied Logic | 1998-05-29 | Paper |
| scientific article; zbMATH DE number 1151381 (Why is no real title available?) | 1998-05-13 | Paper |
Constructing κ-like Models of Arithmetic
Journal of the London Mathematical Society | 1996-12-12 | Paper |
The quantifier complexity of NF
Bulletin of the Belgian Mathematical Society - Simon Stevin | 1996-11-07 | Paper |
The theory of \(\kappa\)-like models of arithmetic
Notre Dame Journal of Formal Logic | 1996-10-27 | Paper |
Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
Notre Dame Journal of Formal Logic | 1995-11-09 | Paper |
| scientific article; zbMATH DE number 663796 (Why is no real title available?) | 1995-11-09 | Paper |
| scientific article; zbMATH DE number 663793 (Why is no real title available?) | 1995-06-13 | Paper |
| scientific article; zbMATH DE number 440481 (Why is no real title available?) | 1994-11-24 | Paper |
| scientific article; zbMATH DE number 663782 (Why is no real title available?) | 1994-11-07 | Paper |
| scientific article; zbMATH DE number 663792 (Why is no real title available?) | 1994-10-18 | Paper |
| scientific article; zbMATH DE number 663797 (Why is no real title available?) | 1994-10-18 | Paper |
| scientific article; zbMATH DE number 440482 (Why is no real title available?) | 1993-11-28 | Paper |
Hilbert's tenth problem for weak theories of arithmetic
Annals of Pure and Applied Logic | 1993-09-22 | Paper |
The Automorphism Group of a Countable Recursively Saturated Structure
Proceedings of the London Mathematical Society | 1993-02-18 | Paper |
| scientific article; zbMATH DE number 51556 (Why is no real title available?) | 1992-09-18 | Paper |
Automorphisms of recursively saturated models of arithmetic
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
On cofinal extensions of models of fragments of arithmetic
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Model-theoretic properties characterizing Peano arithmetic
Journal of Symbolic Logic | 1992-06-27 | Paper |
A generalization of Specker's theorem on typical ambiguity
Journal of Symbolic Logic | 1992-06-27 | Paper |
End-extensions preserving power set
Journal of Symbolic Logic | 1992-06-26 | Paper |
Diophantine induction
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
Parameter-Free Universal Induction
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4075030 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4039892 (Why is no real title available?) | 1987-01-01 | Paper |
A Gray code for set partitions
Information Processing Letters | 1976-01-01 | Paper |
Errata to `Automorphisms of First-order Structures'
(available as arXiv preprint) | N/A | Paper |
