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) Informal and formal proofs, metalogic, and the groundedness problem. [Preprint]

Bacelar Valente, Mario (2020) On the correctness of problem solving in ancient mathematical procedure texts. [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.

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

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]

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

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

L

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.