| Publication | Date of Publication | Type |
|---|
| A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski | 2019-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3072494 | 2011-02-03 | Paper |
| On a question of Andreas Weiermann | 2009-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509169 | 2008-07-01 | Paper |
| More on extending automorphisms of models of Peano Arithmetic | 2008-06-23 | Paper |
| More on lower bounds for partitioning \(\alpha\)-large sets | 2007-07-16 | Paper |
| Partitioning đźâlarge sets: Some lower bounds | 2007-02-01 | Paper |
| Some variations of the Hardy hierarchy | 2005-08-01 | Paper |
| The incompleteness theorems after 70 years | 2004-08-06 | Paper |
| Some combinatorics involving Ξ-large sets | 2003-01-28 | Paper |
| On Models Constructed by Means of the Arithmetized Completeness Theorem | 2001-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939406 | 2000-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4700239 | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222594 | 1999-08-31 | Paper |
| Other Proofs of Old Results | 1999-01-06 | Paper |
| On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic | 1998-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4882388 | 1996-08-04 | Paper |
| An addition to Rosser's theorem | 1996-06-02 | Paper |
| Automorphisms of countable recursively saturated models of PA: A survey | 1996-05-22 | Paper |
| Automorphisms of models of true arithmetic: Recognizing some basic open subgroups | 1995-11-09 | Paper |
| Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts | 1995-07-20 | Paper |
| On the incompleteness theorems | 1995-02-13 | Paper |
| GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS | 1994-12-01 | Paper |
| Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely | 1994-10-05 | Paper |
| On maximal subgroups of the automorphism group of a countable recursively saturated model of PA | 1994-09-26 | Paper |
| Full satisfaction classes: A survey | 1992-06-28 | Paper |
| Automorphisms of recursively saturated models of arithmetic | 1992-06-28 | Paper |
| More on induction in the language with a satisfaction class | 1990-01-01 | Paper |
| Inductive full satisfaction classes | 1990-01-01 | Paper |
| On the End Extension Problem For Î0-PA(S) | 1989-01-01 | Paper |
| Results on automorphisms of recursively saturated models of PA | 1988-01-01 | Paper |
| Bounded Induction and Satisfaction Classes | 1986-01-01 | Paper |
| The Recursively Saturated Part of Models of Peano Arithmetic | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3712340 | 1985-01-01 | Paper |
| On elementary cuts in recursively saturated models of Peano Arithmetic | 1984-01-01 | Paper |
| Some remarks on initial segments in models of Peano arithmetic | 1984-01-01 | Paper |
| On elementary cuts in models of arithmetic | 1983-01-01 | Paper |
| On cofinal extensions of models of arithmetic | 1983-01-01 | Paper |
| Construction of Satisfaction Classes for Nonstandard Models | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3924204 | 1981-01-01 | Paper |
| On Skolem Ultrapowers and Their NonâStandard Variant | 1980-01-01 | Paper |
| Some remarks on well-ordered models | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4192048 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4775866 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3215215 | 1973-01-01 | Paper |
