Preprint

Andrei, Rodin (2024) Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin. [Preprint]

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

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 (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]

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

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]

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

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

Csatári, Ferenc (2024) In Defense of a Constructive Truth Concept. [Preprint]

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

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

Fay, Jonathan (2023) On the Relativity of Magnitudes: Delboeuf's forgotten contribution to the 19th Century problem of space. [Preprint]

Fay, Jonathan (2023) On the Relativity of Magnitudes: Delboeuf's forgotten contribution to the 19th Century problem of space. [Preprint]

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

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]

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 (2024) Mathematics and Society Reunited: The Social Aspects of Brouwer’s Intuitionism. [Preprint]

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]

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

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

Lazarovici, Dustin (2023) Why the Book of Nature is Written in the Language of Mathematics. [Preprint]

Moon, Stella S (2023) Demarcating Descartes's Geometry with Clarity and Distinctness. [Preprint]

Muñoz Pérez, M. (2024) Believing in the objects: the shift to faith. [Preprint]

Muñoz Pérez, M. (2023) The Continuum Hypothesis: schisms and other isms. [Preprint]

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

Rodin, Andrei (2023) Kolmogorov's Calculus of Problems and Its Legacy. [Preprint]

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

Toader, Iulian Danut (2024) Weyl's Quantifiers. [Preprint]

Published Article or Volume

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) 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 (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.

Bentzen, Bruno (2023) Frege's theory of types. Manuscrito. Rev. Int. Fil.,. ISSN 0100-6045

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

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

Erfanifar, T (2023) Existential Quantifiers and Contemporary Logic.

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

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

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

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

Other

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