| Publication | Date of Publication | Type |
|---|
Mathematical logic. On numbers, sets, structures, and symmetry
| 2024-05-21 | Paper |
Book review of: T. Bedürftig and R. Murawski, Philosophy of mathematics
The Mathematical Intelligencer | 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
The Bulletin of Symbolic Logic | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7385379 (Why is no real title available?)
| 2021-08-25 | Paper |
Book review of: J. T. Baldwin, Model theory and the philosophy of mathematical practice. Formalization without foundationalism
The Mathematical Intelligencer | 2020-10-16 | Paper |
Neutrally expandable models of arithmetic
Mathematical Logic Quarterly | 2020-05-06 | Paper |
Adding standardness to nonstandard arithmetic
| 2020-03-30 | Paper |
Book review of: M. D. Davis, The universal computer. The road from Leibniz to Turing. 3rd edition
The Mathematical Intelligencer | 2019-07-26 | Paper |
Book review of: J. Stillwell, Reverse mathematics: proofs from the inside out.
The Mathematical Intelligencer | 2019-03-12 | Paper |
Disjunctions with stopping condition
| 2018-10-17 | Paper |
Mathematical logic. On numbers, sets, structures, and symmetry
Springer Graduate Texts in Philosophy | 2018-09-28 | Paper |
Book review of: P. Mancosu, Abstraction and infinity
The Mathematical Intelligencer | 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
The Mathematical Intelligencer | 2015-07-10 | Paper |
Book review of: Craig Smoryński, Adventures in formalism
The Mathematical Intelligencer | 2014-07-02 | Paper |
Book review of: J. Väänänen, Models and games
The Mathematical Intelligencer | 2013-11-27 | Paper |
On cofinal submodels and elementary interstices
Notre Dame Journal of Formal Logic | 2012-11-23 | Paper |
Introduction
| 2012-03-02 | Paper |
What is \dots a resplendent structure?
| 2011-10-10 | Paper |
The complexity of classification problems for models of arithmetic
The Bulletin of Symbolic Logic | 2010-10-26 | Paper |
More on extending automorphisms of models of Peano Arithmetic
Fundamenta Mathematicae | 2008-06-23 | Paper |
On some uses of nonstandard models
| 2008-03-03 | Paper |
The structure of models of Peano arithmetic
| 2006-08-23 | Paper |
scientific article; zbMATH DE number 2236641 (Why is no real title available?)
| 2005-12-08 | Paper |
A note on a theorem of Kanovei
Archive for Mathematical Logic | 2004-12-16 | Paper |
Undefinability of truth and nonstandard models
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
Automorphism group actions on trees
Mathematical Logic Quarterly | 2004-03-15 | Paper |
scientific article; zbMATH DE number 1222926 (Why is no real title available?)
| 2001-10-23 | Paper |
The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
Journal of the London Mathematical Society | 1999-02-02 | Paper |
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
Logic Journal of the IGPL | 1997-12-17 | Paper |
On two questions concerning the automorphism groups of countable recursively saturated models of PA
Archive for Mathematical Logic | 1997-10-26 | Paper |
What Are Infinitesimals and Why They Cannot Be Seen
The American Mathematical Monthly | 1997-07-17 | Paper |
scientific article; zbMATH DE number 889876 (Why is no real title available?)
| 1996-08-04 | Paper |
Four problems concerning recursively saturated models of arithmetic
Notre Dame Journal of Formal Logic | 1996-05-22 | Paper |
Arithmetically saturated models of arithmetic
Notre Dame Journal of Formal Logic | 1996-05-22 | Paper |
GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS
Mathematical Logic Quarterly | 1994-12-01 | 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 |
Subsets of models of arithmetic
Archive for Mathematical Logic | 1994-01-13 | Paper |
scientific article; zbMATH DE number 57851 (Why is no real title available?)
| 1992-09-27 | Paper |
Minimal satisfaction classes with an application to rigid models of Peano arithmetic
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 |
A Correction to "On Extensions of Models of Strong Fragments of Arithmetic"
Proceedings of the American Mathematical Society | 1991-01-01 | Paper |
On Extensions of Models of Strong Fragments of Arithmetic
| 1990-01-01 | Paper |
Models with the ω-property
Journal of Symbolic Logic | 1989-01-01 | Paper |
A note on the multiplicative semigroup of models of Peano arithmetic
Journal of Symbolic Logic | 1989-01-01 | Paper |
A Note on BΣn and an Intermediate Induction Schema
Mathematical Logic Quarterly | 1988-01-01 | Paper |
Results on automorphisms of recursively saturated models of PA
Fundamenta Mathematicae | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4010521 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4035826 (Why is no real title available?)
| 1986-01-01 | Paper |
A note on satisfaction classes
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
Recursively saturated \(\omega _ 1\)-like models of arithmetic
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3928991 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3895045 (Why is no real title available?)
| 1984-01-01 | Paper |
$L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA
Fundamenta Mathematicae | 1984-01-01 | Paper |
A certain class of models of Peano arithmetic
Journal of Symbolic Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3715528 (Why is no real title available?)
| 1980-01-01 | Paper |
