| Publication | Date of Publication | Type |
|---|
Book review of: P. Rush, Ontology and the foundations of mathematics. Talking past each other
Philosophia Mathematica. Series III | 2024-06-07 | Paper |
| Mathematics and Its Logics | 2022-10-03 | Paper |
| Mathematics and its logics. Philosophical essays | 2020-09-08 | Paper |
Predicativity and regions-based continua
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Memories of Hilary Putnam
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Extendability and paradox
Outstanding Contributions to Logic | 2020-02-05 | Paper |
| Mathematical structuralism | 2020-01-29 | Paper |
| Reflections on reflection in a multiverse | 2019-10-15 | Paper |
Frege meets Aristotle: points as abstracts
Philosophia Mathematica | 2019-02-26 | Paper |
Hartry Field.Science Without Numbers: A Defense of Nominalism2nd ed
Philosophia Mathematica | 2019-02-26 | Paper |
| scientific article; zbMATH DE number 6769438 (Why is no real title available?) | 2017-09-04 | Paper |
Varieties of continua. From regions to points and back
Oxford Scholarship Online | 2017-08-18 | Paper |
How to Godel a Frege-Russell: Godel's Incompleteness Theorems and Logicism
Nôus | 2017-07-14 | Paper |
Finitude, Infinitude, and Isomorphism of Interpretations in some Nominalistic Calculi
Nôus | 2017-07-14 | Paper |
Regions-based two dimensional continua: the Euclidean case
Logic and Logical Philosophy | 2017-05-18 | Paper |
Aristotelian continua
Philosophia Mathematica | 2017-03-03 | Paper |
The Classical Continuum without Points – CORRIGENDUM
The Review of Symbolic Logic | 2015-11-24 | Paper |
Foundational frameworks
The Western Ontario Series in Philosophy of Science | 2015-07-01 | Paper |
The classical continuum without points
The Review of Symbolic Logic | 2014-03-06 | Paper |
NEITHER CATEGORICAL NOR SET-THEORETIC FOUNDATIONS
The Review of Symbolic Logic | 2013-04-24 | Paper |
On the significance of the Burali-Forti paradox
Analysis | 2012-11-09 | Paper |
| What is categorical structuralism? | 2007-08-20 | Paper |
Mathematical pluralism: The case of smooth infinitesimal analysis
Journal of Philosophical Logic | 2006-11-17 | Paper |
| Maximality vs. extendability: reflections on structuralism and set theory | 2006-11-16 | Paper |
| scientific article; zbMATH DE number 2152252 (Why is no real title available?) | 2005-04-04 | Paper |
Does Category Theory Provide a Framework for Mathematical Structuralism?†
Philosophia Mathematica | 2004-09-06 | Paper |
Three varieties of mathematical structuralism
Philosophia Mathematica. Series III | 2003-09-11 | Paper |
| Challenges to predicative foundations of arithmetic | 2002-08-29 | Paper |
| scientific article; zbMATH DE number 1418432 (Why is no real title available?) | 2000-09-25 | Paper |
Mathematical Constructivism in Spacetime
The British Journal for the Philosophy of Science | 2000-07-09 | Paper |
| scientific article; zbMATH DE number 1254485 (Why is no real title available?) | 1999-05-26 | Paper |
Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges
Journal of Philosophical Logic | 1997-09-22 | Paper |
Real Analysis without Classes
Philosophia Mathematica | 1996-07-16 | Paper |
Structuralism Without Structures
Philosophia Mathematica | 1996-01-01 | Paper |
Predicative foundations of arithmetic
Journal of Philosophical Logic | 1995-02-22 | Paper |
Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
Journal of Philosophical Logic | 1993-08-19 | Paper |
Gleason's theorem is not constructively provable
Journal of Philosophical Logic | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 194992 (Why is no real title available?) | 1993-06-05 | Paper |
Toward a modal-structural interpretation of set theory
Synthese | 1993-02-02 | Paper |
A probabilistic version of the Kochen-Specker no-hidden-variable proof
Synthese | 1980-01-01 | Paper |
