| Publication | Date of Publication | Type |
|---|
A Logic for Frege’s Theorem
Logic, Language, and Mathematics | 2020-12-02 | Paper |
Formal Arithmetic Before Grundgesetze
Essays on Frege's Basic Laws of Arithmetic | 2020-08-19 | Paper |
The basic laws of cardinal number
Essays on Frege's Basic Laws of Arithmetic | 2020-08-19 | Paper |
The logical strength of compositional principles
Notre Dame Journal of Formal Logic | 2018-03-08 | Paper |
The logical strength of compositional principles
Notre Dame Journal of Formal Logic | 2018-03-08 | Paper |
On The Consistency of Second-Order Contextual Definitions
Nôus | 2017-07-14 | Paper |
Is Frege's definition of the ancestral adequate?
Philosophia Mathematica | 2017-03-03 | Paper |
Consistency and the theory of truth
The Review of Symbolic Logic | 2015-10-20 | Paper |
| scientific article; zbMATH DE number 6458688 (Why is no real title available?) | 2015-07-14 | Paper |
Predicative Frege arithmetic and `everyday' mathematics
Philosophia Mathematica | 2015-04-17 | Paper |
| Frege's theorem | 2014-10-07 | Paper |
Sir Michael Anthony Eardley Dummett, 1925-2011
Philosophia Mathematica | 2014-06-20 | Paper |
| scientific article; zbMATH DE number 6111395 (Why is no real title available?) | 2012-11-30 | Paper |
Ramified Frege arithmetic
Journal of Philosophical Logic | 2012-03-23 | Paper |
| scientific article; zbMATH DE number 5964375 (Why is no real title available?) | 2011-10-27 | Paper |
| Semantic accounts of vagueness | 2008-02-22 | Paper |
Self-reference and the Languages of Arithmetic
Philosophia Mathematica | 2007-09-12 | Paper |
Truth and disquotation
Synthese | 2005-08-22 | Paper |
Cardinality, counting, and equinumerosity
Notre Dame Journal of Formal Logic | 2003-03-05 | Paper |
Syntactic reductionism
Philosophia Mathematica. Series III | 2001-02-28 | Paper |
| scientific article; zbMATH DE number 1550356 (Why is no real title available?) | 2001-01-11 | Paper |
A Note on the Logic of (Higher-Order) Vagueness
Analysis | 2000-08-22 | Paper |
Grundgesetze der Arithmetic I §10
Philosophia Mathematica | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1344510 (Why is no real title available?) | 1999-10-04 | Paper |
| scientific article; zbMATH DE number 1335688 (Why is no real title available?) | 1999-09-13 | Paper |
| scientific article; zbMATH DE number 1254493 (Why is no real title available?) | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 1254494 (Why is no real title available?) | 1999-05-18 | Paper |
Grundgesetze der Arithmetik I \S\S 29-32
Notre Dame Journal of Formal Logic | 1998-10-27 | Paper |
| scientific article; zbMATH DE number 1195919 (Why is no real title available?) | 1998-09-02 | Paper |
| scientific article; zbMATH DE number 1195920 (Why is no real title available?) | 1998-09-02 | Paper |
Finitude and Hume's principle
Journal of Philosophical Logic | 1998-03-31 | Paper |
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
History and Philosophy of Logic | 1997-11-20 | Paper |
The development of arithmetic in Frege'sGrundgesetze der arithmetik
Journal of Symbolic Logic | 1993-10-24 | Paper |
