| Publication | Date of Publication | Type |
|---|
A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
Trends in Logic -- Studia Logica Library | 2019-09-04 | Paper |
| scientific article; zbMATH DE number 5844817 (Why is no real title available?) | 2011-02-03 | Paper |
On a question of Andreas Weiermann
Mathematical Logic Quarterly | 2009-04-09 | Paper |
| A model theoretic approach to proof theory of arithmetic | 2008-07-01 | Paper |
More on extending automorphisms of models of Peano Arithmetic
Fundamenta Mathematicae | 2008-06-23 | Paper |
More on lower bounds for partitioning \(\alpha\)-large sets
Annals of Pure and Applied Logic | 2007-07-16 | Paper |
Partitioning đźâlarge sets: Some lower bounds
Transactions of the American Mathematical Society | 2007-02-01 | Paper |
Some variations of the Hardy hierarchy
MLQ | 2005-08-01 | Paper |
The incompleteness theorems after 70 years
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
Some combinatorics involving Ξ-large sets
Fundamenta Mathematicae | 2003-01-28 | Paper |
| On Models Constructed by Means of the Arithmetized Completeness Theorem | 2001-06-18 | Paper |
| scientific article; zbMATH DE number 1406466 (Why is no real title available?) | 2000-07-27 | Paper |
| scientific article; zbMATH DE number 1356031 (Why is no real title available?) | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1230613 (Why is no real title available?) | 1999-08-31 | Paper |
Other Proofs of Old Results
Mathematical Logic Quarterly | 1999-01-06 | Paper |
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
Mathematical Logic Quarterly | 1998-03-17 | Paper |
| scientific article; zbMATH DE number 889876 (Why is no real title available?) | 1996-08-04 | Paper |
An addition to Rosser's theorem
Journal of Symbolic Logic | 1996-06-02 | Paper |
Automorphisms of countable recursively saturated models of PA: A survey
Notre Dame Journal of Formal Logic | 1996-05-22 | Paper |
Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
Notre Dame Journal of Formal Logic | 1995-11-09 | Paper |
Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
Mathematical Logic Quarterly | 1995-07-20 | Paper |
On the incompleteness theorems
Journal of Symbolic Logic | 1995-02-13 | Paper |
GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS
Mathematical Logic Quarterly | 1994-12-01 | Paper |
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely
Mathematical Logic Quarterly | 1994-10-05 | Paper |
On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
Annals of Pure and Applied Logic | 1994-09-26 | Paper |
Full satisfaction classes: A survey
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Automorphisms of recursively saturated models of arithmetic
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
More on induction in the language with a satisfaction class
Zeitschrift fĂźr Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
Inductive full satisfaction classes
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
On the End Extension Problem For Î0-PA(S)
Zeitschrift fĂźr Mathematische Logik und Grundlagen der Mathematik | 1989-01-01 | Paper |
Results on automorphisms of recursively saturated models of PA
Fundamenta Mathematicae | 1988-01-01 | Paper |
Bounded Induction and Satisfaction Classes
Mathematical Logic Quarterly | 1986-01-01 | Paper |
The Recursively Saturated Part of Models of Peano Arithmetic
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3939365 (Why is no real title available?) | 1985-01-01 | Paper |
On elementary cuts in recursively saturated models of Peano Arithmetic
Fundamenta Mathematicae | 1984-01-01 | Paper |
Some remarks on initial segments in models of Peano arithmetic
Journal of Symbolic Logic | 1984-01-01 | Paper |
On elementary cuts in models of arithmetic
Fundamenta Mathematicae | 1983-01-01 | Paper |
On cofinal extensions of models of arithmetic
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3737663 (Why is no real title available?) | 1981-01-01 | Paper |
Construction of Satisfaction Classes for Nonstandard Models
Canadian Mathematical Bulletin | 1981-01-01 | Paper |
On Skolem Ultrapowers and Their NonâStandard Variant
Mathematical Logic Quarterly | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3630739 (Why is no real title available?) | 1978-01-01 | Paper |
Some remarks on well-ordered models
Fundamenta Mathematicae | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3451846 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3425595 (Why is no real title available?) | 1973-01-01 | Paper |
