| Publication | Date of Publication | Type |
|---|
| Book review of: E. Landry, Plato was \textit{not} a mathematical Platonist | 2024-10-31 | Paper |
| Current and classical notions of function in real analysis | 2024-10-24 | Paper |
| Poincaré on the value of reasoning machines | 2024-06-13 | Paper |
| Will machines change mathematics? | 2024-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6109662 | 2023-07-28 | Paper |
| Abstract Generality, Simplicity, Forgetting, and Discovery | 2022-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5040164 | 2022-10-11 | Paper |
| The Two Mathematical Careers of Emmy Noether | 2022-06-27 | Paper |
| Saunders Mac Lane: From Principia Mathematica through Göttingen to the Working Theory of Structures | 2021-03-25 | Paper |
| THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC | 2020-04-27 | Paper |
| Grothendieck's unifying vision of geometry | 2019-03-04 | Paper |
| Book review of: F. Verhulst, Henri Poincaré. Impatient genius | 2018-02-28 | Paper |
| Numbers Can Be Just What They Have To | 2017-07-14 | Paper |
| How Grothendieck simplified algebraic geometry | 2016-06-15 | Paper |
| Recent debate over categorical foundations | 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 | 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 | 2014-12-17 | Paper |
| Categorical foundations and mathematical practice | 2013-05-15 | Paper |
| Introduction: hypotheses and progress | 2013-05-15 | Paper |
| Foundations as truths which organize mathematics | 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 | 2011-03-30 | Paper |
| What does it take to prove Fermat's last theorem? Grothendieck and the logic of number theory | 2010-10-26 | Paper |
| Poor Taste as a Bright Character Trait: Emmy Noether and the Independent Social Democratic Party | 2008-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5427237 | 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 | 2007-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5488661 | 2006-09-22 | Paper |
| Saunders Mac Lane (1909-2005): His Mathematical Life and Philosophical Works | 2006-02-13 | Paper |
| Every Grothendieck topos has a one-way site | 2006-02-13 | Paper |
| Learning from Questions on Categorical Foundations | 2005-09-28 | Paper |
| ‘Mathematical Platonism’ Versus Gathering the Dead: What Socrates teaches Glaucon† | 2005-09-28 | Paper |
| Exploring Categorical Structuralism | 2004-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428887 | 2003-09-22 | Paper |
| Richard Courant in the German Revolution. | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4950501 | 2000-04-04 | Paper |
| Poincaré: Mathematics & Logic & Intuition† | 1998-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840146 | 1995-07-18 | Paper |
| Category Theory in Real Time | 1994-10-31 | Paper |
| Anti-foundation and self-reference | 1993-05-16 | Paper |
| Failure of Cartesian closedness in NF | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003736 | 1992-09-18 | Paper |
| Axiomatizing a category of categories | 1992-06-27 | Paper |
| The Uses and Abuses of the History of Topos Theory | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470451 | 1989-01-01 | Paper |
| Defining sets as sets of points of spaces | 1988-01-01 | Paper |
| Elementary axioms for canonical points of toposes | 1987-01-01 | Paper |
| Left exact logic | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3312396 | 1983-01-01 | Paper |
