| Publication | Date of Publication | Type |
|---|
| Book review of: T. Bedürftig and R. Murawski, Philosophy of mathematics | 2023-07-12 | Paper |
| 63 Years of the MacDowell-Specker Theorem | 2022-08-05 | Paper |
| Undefinability and Absolute Undefinability in Arithmetic | 2022-05-12 | Paper |
| DISJUNCTIONS WITH STOPPING CONDITIONS | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5007126 | 2021-08-25 | Paper |
| Book review of: J. T. Baldwin, Model theory and the philosophy of mathematical practice. Formalization without foundationalism | 2020-10-16 | Paper |
| Neutrally expandable models of arithmetic | 2020-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5222082 | 2020-03-30 | Paper |
| Book review of: M. D. Davis, The universal computer. The road from Leibniz to Turing. 3rd edition | 2019-07-26 | Paper |
| Book review of: J. Stillwell, Reverse mathematics: proofs from the inside out. | 2019-03-12 | Paper |
| Disjunctions with stopping condition | 2018-10-17 | Paper |
| Mathematical logic. On numbers, sets, structures, and symmetry | 2018-09-28 | Paper |
| Book review of: P. Mancosu, Abstraction and infinity | 2018-09-06 | Paper |
| Neutrally Expandable Models of Arithmetic | 2017-12-18 | Paper |
| Book review of: P. Mancosu, The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940 | 2015-07-10 | Paper |
| Book review of: Craig Smoryński, Adventures in formalism | 2014-07-02 | Paper |
| Book review of: J. Väänänen, Models and games | 2013-11-27 | Paper |
| On cofinal submodels and elementary interstices | 2012-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118393 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3173631 | 2011-10-10 | Paper |
| The Complexity of Classification Problems for Models of Arithmetic | 2010-10-26 | Paper |
| More on extending automorphisms of models of Peano Arithmetic | 2008-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5445164 | 2008-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5484945 | 2006-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711892 | 2005-12-08 | Paper |
| A note on a theorem of Kanovei | 2004-12-16 | Paper |
| Undefinability of truth and nonstandard models | 2004-08-06 | Paper |
| Automorphism group actions on trees | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218527 | 2001-10-23 | Paper |
| The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic | 1999-02-02 | Paper |
| Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets | 1997-12-17 | Paper |
| On two questions concerning the automorphism groups of countable recursively saturated models of PA | 1997-10-26 | Paper |
| What Are Infinitesimals and Why They Cannot Be Seen | 1997-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4882388 | 1996-08-04 | Paper |
| Four problems concerning recursively saturated models of arithmetic | 1996-05-22 | Paper |
| Arithmetically saturated models of arithmetic | 1996-05-22 | Paper |
| GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS | 1994-12-01 | Paper |
| On maximal subgroups of the automorphism group of a countable recursively saturated model of PA | 1994-09-26 | Paper |
| Subsets of models of arithmetic | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4004805 | 1992-09-27 | Paper |
| Automorphisms of recursively saturated models of arithmetic | 1992-06-28 | Paper |
| Minimal satisfaction classes with an application to rigid models of Peano arithmetic | 1992-06-28 | Paper |
| A Correction to "On Extensions of Models of Strong Fragments of Arithmetic" | 1991-01-01 | Paper |
| On Extensions of Models of Strong Fragments of Arithmetic | 1990-01-01 | Paper |
| A note on the multiplicative semigroup of models of Peano arithmetic | 1989-01-01 | Paper |
| Models with the ω-property | 1989-01-01 | Paper |
| Results on automorphisms of recursively saturated models of PA | 1988-01-01 | Paper |
| A Note on BΣn and an Intermediate Induction Schema | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760545 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775554 | 1986-01-01 | Paper |
| Recursively saturated \(\omega _ 1\)-like models of arithmetic | 1985-01-01 | Paper |
| A note on satisfaction classes | 1985-01-01 | Paper |
| $L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703891 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5187265 | 1984-01-01 | Paper |
| A certain class of models of Peano arithmetic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3905261 | 1980-01-01 | Paper |
