| Publication | Date of Publication | Type |
|---|
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
History and Philosophy of Logic | 2024-12-06 | Paper |
Wittgenstein, Russell, and Our Concept of the Natural Numbers
Mathematical Knowledge, Objects and Applications | 2024-02-12 | Paper |
Correction to: Wittgenstein, Russell, and our Concept of the Natural Numbers
Mathematical Knowledge, Objects and Applications | 2024-02-12 | Paper |
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
The Review of Symbolic Logic | 2023-05-26 | Paper |
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
The Bulletin of Symbolic Logic | 2022-10-25 | Paper |
| scientific article; zbMATH DE number 7576853 (Why is no real title available?) | 2022-08-26 | Paper |
| Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History | 2021-02-25 | Paper |
The Collapse of the Hilbert Program: A Variation on the G\"odelian Theme
(available as arXiv preprint) | 2021-02-16 | Paper |
Ungroundedness in Tarskian languages
Journal of Philosophical Logic | 2019-06-28 | Paper |
Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
Indagationes Mathematicae. New Series | 2019-05-02 | Paper |
Quantified Modality and Essentialism
Nôus | 2019-02-15 | Paper |
Quantified modal logic and Quine's critique: some further observations
Nôus | 2019-02-15 | Paper |
Fregean quantification theory
Journal of Philosophical Logic | 2014-12-18 | Paper |
| scientific article; zbMATH DE number 6308207 (Why is no real title available?) | 2014-06-24 | Paper |
| scientific article; zbMATH DE number 6296799 (Why is no real title available?) | 2014-05-19 | Paper |
| scientific article; zbMATH DE number 2048503 (Why is no real title available?) | 2004-03-01 | Paper |
Outline of a Theory of Truth
The Journal of Philosophy | 2001-01-08 | Paper |
Non-standard models of Peano arithmetic
L'Enseignement Mathématique. 2e Série | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3811571 (Why is no real title available?) | 1982-01-01 | Paper |
Deduction-preserving "Recursive Isomorphisms" between theories
Fundamenta Mathematicae | 1967-01-01 | Paper |
An extension of a theorem of Gaifman-Hales-Solvay
Fundamenta Mathematicae | 1967-01-01 | Paper |
Deduction-preserving “recursive isomorphisms” between theories
Bulletin of the American Mathematical Society | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3222098 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3260754 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3212004 (Why is no real title available?) | 1963-01-01 | Paper |
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Mathematical Logic Quarterly | 1963-01-01 | Paper |
The Undecidability of Monadic Modal Quantification Theory
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1962-01-01 | Paper |
"Flexible" Predicates of Formal Number Theory
Proceedings of the American Mathematical Society | 1962-01-01 | Paper |
A completeness theorem in modal logic
Journal of Symbolic Logic | 1959-01-01 | Paper |
