| Publication | Date of Publication | Type |
|---|
Structuralism in differential equations
Synthese | 2026-03-31 | Paper |
Interpreting convex integration results in hydrodynamics
European Mathematical Society Magazine | 2025-12-02 | Paper |
| Grothendieck did not believe in universes, he believed in topos and schemes | 2025-10-24 | Paper |
Book review of: E. Landry, Plato was \textit{not} a mathematical Platonist
Philosophia Mathematica. Series III | 2024-10-31 | Paper |
| Current and classical notions of function in real analysis | 2024-10-24 | Paper |
Poincaré on the value of reasoning machines
Bulletin of the American Mathematical Society. New Series | 2024-06-13 | Paper |
Will machines change mathematics?
Bulletin of the American Mathematical Society | 2024-04-03 | Paper |
| scientific article; zbMATH DE number 7720031 (Why is no real title available?) | 2023-07-28 | Paper |
Abstract Generality, Simplicity, Forgetting, and Discovery
Axiomatic Thinking II | 2022-12-13 | Paper |
| scientific article; zbMATH DE number 7599483 (Why is no real title available?) | 2022-10-11 | Paper |
The Two Mathematical Careers of Emmy Noether
Association for Women in Mathematics Series | 2022-06-27 | Paper |
Saunders Mac Lane: From <i>Principia Mathematica</i> through Göttingen to the Working Theory of Structures
The Prehistory of Mathematical Structuralism | 2021-03-25 | Paper |
THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
The Review of Symbolic Logic | 2020-04-27 | Paper |
Grothendieck's unifying vision of geometry
Foundations of Mathematics and Physics One Century After Hilbert | 2019-03-04 | Paper |
Book review of: F. Verhulst, Henri Poincaré. Impatient genius
The Mathematical Intelligencer | 2018-02-28 | Paper |
Numbers Can Be Just What They Have To
Nôus | 2017-07-14 | Paper |
How Grothendieck simplified algebraic geometry
Notices of the American Mathematical Society | 2016-06-15 | Paper |
Recent debate over categorical foundations
The Western Ontario Series in Philosophy of Science | 2015-07-01 | Paper |
PENELOPE MADDY. Defending the Axioms: On the Philosophical Foundations of Set Theory. Oxford: Oxford University Press, 2011. ISBN 978-0-19-959618-8 (hbk); 978-0-19-967148-9 (pbk). Pp. x + 150
Philosophia Mathematica | 2015-04-17 | Paper |
| The finiteness theorem for invariants of a finite group (translation of Emmy Noether's "Der Endlichkeitsatz der Invarianten endlicher Gruppen") | 2015-03-22 | Paper |
| A univalent universe in finite order arithmetic | 2014-12-20 | Paper |
Book review of Jeremy Gray, Henri Poincaré: a scientific biography
The Mathematical Intelligencer | 2014-12-17 | Paper |
Introduction: hypotheses and progress
Philosophia Mathematica | 2013-05-15 | Paper |
Categorical foundations and mathematical practice
Philosophia Mathematica | 2013-05-15 | Paper |
Foundations as truths which organize mathematics
The Review of Symbolic Logic | 2013-04-24 | Paper |
| Interpreting set theory in higher order arithmetic | 2012-07-26 | Paper |
| Zariski cohomology in second order arithmetic | 2012-07-02 | Paper |
Emmy Noether's first great mathematics and the culmination of first-phase logicism, formalism, and intuitionism
Archive for History of Exact Sciences | 2011-03-30 | Paper |
What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory
The Bulletin of Symbolic Logic | 2010-10-26 | Paper |
Poor Taste as a Bright Character Trait: Emmy Noether and the Independent Social Democratic Party
Science in Context | 2008-03-13 | Paper |
| scientific article; zbMATH DE number 5212852 (Why is no real title available?) | 2007-11-19 | Paper |
| Emmy Noether's `set theoretic' topology: from Dedekind to the rise of functors | 2007-10-24 | Paper |
The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics
The British Journal for the Philosophy of Science | 2007-09-12 | Paper |
| scientific article; zbMATH DE number 5056201 (Why is no real title available?) | 2006-09-22 | Paper |
| Every Grothendieck topos has a one-way site | 2006-02-13 | Paper |
| Every Grothendieck topos has a one-way site | 2006-02-13 | Paper |
Saunders Mac Lane (1909-2005): His Mathematical Life and Philosophical Works
Philosophia Mathematica | 2006-02-13 | Paper |
Learning from Questions on Categorical Foundations
Philosophia Mathematica | 2005-09-28 | Paper |
‘Mathematical Platonism’ Versus Gathering the Dead: What Socrates teaches Glaucon†
Philosophia Mathematica | 2005-09-28 | Paper |
Exploring Categorical Structuralism
Philosophia Mathematica | 2004-06-22 | Paper |
| scientific article; zbMATH DE number 1984522 (Why is no real title available?) | 2003-09-22 | Paper |
Richard Courant in the German Revolution.
The Mathematical Intelligencer | 2001-11-18 | Paper |
| scientific article; zbMATH DE number 1426650 (Why is no real title available?) | 2000-04-04 | Paper |
Poincaré: Mathematics & Logic & Intuition†
Philosophia Mathematica | 1998-03-10 | Paper |
| scientific article; zbMATH DE number 776168 (Why is no real title available?) | 1995-07-18 | Paper |
Category Theory in Real Time
Philosophia Mathematica | 1994-10-31 | Paper |
Anti-foundation and self-reference
Journal of Philosophical Logic | 1993-05-16 | Paper |
Failure of Cartesian closedness in NF
Journal of Symbolic Logic | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 53544 (Why is no real title available?) | 1992-09-18 | Paper |
Axiomatizing a category of categories
Journal of Symbolic Logic | 1992-06-27 | Paper |
The Uses and Abuses of the History of Topos Theory
The British Journal for the Philosophy of Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4137744 (Why is no real title available?) | 1989-01-01 | Paper |
Defining sets as sets of points of spaces
Journal of Philosophical Logic | 1988-01-01 | Paper |
Elementary axioms for canonical points of toposes
Journal of Symbolic Logic | 1987-01-01 | Paper |
Left exact logic
Journal of Pure and Applied Algebra | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3842103 (Why is no real title available?) | 1983-01-01 | Paper |
