A

Asghari, Amir (2018) Equivalence: An Attempt at a History of the Idea. [Preprint]

B

Bacelar Valente, Mario (2018) The Conventionality of Simultaneity and Einstein’s Conventionality of Geometry. Kairos. Journal of Philosophy & Science, 20 (1). pp. 159-180.

Bacelar Valente, Mario (2019) “Critique of mensurational reason”: on Høyrup’s notion of critique. [Preprint]

Bacelar Valente, Mario (2017) From practical to pure geometry and back. [Preprint]

Bacelar Valente, Mario (2019) Geometry of motion: some elements of its historical development. Artefactos. Revista de estudios sobre la ciencia y la tecnología, 8 (2). pp. 4-26. ISSN 1989-3612

Bacelar Valente, Mario (2020) On the correctness of problem solving in ancient mathematical procedure texts. [Preprint]

Bacelar Valente, Mario (2021) On the relationship between geometric objects and figures in Euclidean geometry. [Preprint]

Bacelar Valente, Mario (2018) Perverted space-time geodesy in Einstein's views on geometry. Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences, 22 (2). pp. 137-162.

Bacelar Valente, Mario (2022) The correctness of reasoning, logical models, and the faithfulness problem. Principia: an international journal of epistemology, 26 (3). pp. 429-447.

Barany, Michael J (2020) Abstract Relations: Bibliography and the Infra-structures of Modern Mathematics. [Preprint]

Bentzen, Bruno (2020) Frege's theory of types. [Preprint]

Bentzen, Bruno (2020) Sense, reference, and computation. Perspectiva Filosofica, 47 (2). pp. 179-203. ISSN 2357-9986

Bertran-San-Millán, Joan (2022) Peano's Structuralism and the Birth of Formal Languages. [Preprint]

Bonatti, Nicola (2022) A Reassessment of Cantorian Abstraction based on the ε-operator. [Preprint]

C

Chua, Eugene Y. S. (2021) Degeneration and Entropy. [Preprint]

Corfield, David (2022) Thomas Kuhn, Modern Mathematics and the Dynamics of Reason. [Preprint]

D

D'Alessandro, William (2020) Proving Quadratic Reciprocity: Explanation, Disagreement, Transparency and Depth. Synthese. ISSN 1573-0964

Dal Magro, Tamires and García-Pérez, Manuel J. (2019) On Euclidean diagrams and geometrical knowledge. THEORIA. An International Journal for Theory, History and Foundations of Science, 34 (2). pp. 255-276. ISSN 2171-679X

Darnell, Eamon and Thomas-Bolduc, Aaron (2018) Takeuti's Well-Ordering Proof: Finitistically Fine? [Preprint]

E

Ehrlich, Philip (2021) Are Points (Necessarily) Unextended? [Preprint]

F

Ferreirós, José (2017) Dedekind’s Map-theoretic Period. Philosophia Mathematica, 25 (3). pp. 318-340. ISSN 0031-8019

Ferreirós, José (2005) La introducción de los números transfinitos. Fundamentos para una teoría general de conjuntos.

Ferreirós, José (2004) The Motives behind Cantor’s Set Theory – Physical, Biological, and Philosophical Questions. Science in Context, 17 (1). pp. 49-83.

Ferreirós, José (2004) On Quine, van Heijenoort, and modern logic: review of "From Frege to Gödel". Historia Mathematica, 31. pp. 119-124. ISSN 03150860

Ferreirós, José (2000) Riemanniana Selecta: introducción.

Ferreirós, José (1995) "What Fermented in Me for Years": Cantor's discovery of transfinite numbers. Historia Mathematica, 22. pp. 33-42. ISSN 03150860

Ferreirós, José (2017) Wigner's 'Unreasonable Effectiveness' in Context. Mathematical Intelligencer, 39 (2). pp. 64-71. ISSN 1866-7414

Fletcher, Samuel C. (2017) Against the Topologists: Essay Review of New Foundations for Physical Geometry. Philosophy of Science. ISSN 1539-767X

Franklin, James (2017) Discrete and continuous: A fundamental dichotomy in mathematics. Journal of Humanistic Mathematics, 7 (2). pp. 355-378. ISSN 2159-8118

Friedman, Michael and Rittberg, Colin Jakob (2019) The Material Reasoning of Folding Paper. [Preprint]

H

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strong Types. [Preprint]

Hewitt, Carl (2019) For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors. [Preprint]

K

Kish Bar-On, Kati (2022) Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl. [Preprint]

Kish Bar-On, Kati (2022) From Philosophical Traditions to Scientific Developments: Reconsidering the Response to Brouwer’s Intuitionism. [Preprint]

Kish Bar-On, Kati (2021) Towards a new philosophical perspective on Hermann Weyl’s turn to intuitionism. Science in Context, 34 (1). pp. 51-68. ISSN 1474-0664

Kosmann-Schwarzbach, Yvette (2020) The Noether theorems in context. [Preprint]

Kuby, Daniel (2021) Reinterpreting the universe-multiverse debate in light of inter-model inconsistency in set theory. [Preprint]

L

Lampert, Timm (2021) Newton’s experimental proofs. THEORIA. An International Journal for Theory, History and Foundations of Science, 36 (2). pp. 261-283. ISSN 2171-679X

Landry, Elaine (2017) Plato Was NOT A Mathematical Platonist. [Preprint]

Landsman, Klaas (2019) Quantum theory and functional analysis. [Preprint]

P

Patton, Lydia (2018) Laws of Thought and Laws of Logic After Kant. Logic from Kant to Russell.

Penchev, Vasil A complement to "Fermat's last theorem proved by induction". UNSPECIFIED.

Perry, Stephen (2021) What is "Applied Mathematics" Anyway? How the History of Fluid Mechanics Demonstrates the Role of Concepts in Applied Mathematics. [Preprint]

S

Szabó, Máté (2021) Péter on Church's Thesis, Constructivity and Computers. [Preprint]