Number of items at this level: **89**.

## A

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

Avigad, Jeremy
(2019)
*Reliability of mathematical inference.*
[Preprint]

Avigad, Jeremy
(2021)
*The design of mathematical language.*
[Preprint]

Avon, Mauro
(2020)
*A different approach to logic: absolute logic.*
[Preprint]

## B

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

Barton, Neil
(2018)
*Forcing and the Universe of Sets: Must we lose insight?*
[Preprint]

Barton, Neil
(2019)
*Forcing and the Universe of Sets: Must we lose insight?*
[Preprint]

Barton, Neil
(2017)
*Independence and Ignorance: How agnotology informs set-theoretic pluralism.*
[Preprint]

Barton, Neil
(2018)
*Large Cardinals and the Iterative Conception of Set.*
[Preprint]

Barton, Neil
(2016)
*Multiversism and Concepts of Set: How much relativism is acceptable?*
[Preprint]

Barton, Neil
(2016)
*Richness and Reflection.*
[Preprint]

Barton, Neil and Friedman, Sy-David
(2017)
*Maximality and Ontology: How axiom content varies across philosophical frameworks.*
[Preprint]

Barton, Neil and Friedman, Sy-David
(2019)
*Set Theory and Structures.*
[Preprint]

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

Bentzen, Bruno
(2021)
*Naive cubical type theory.*
[Preprint]

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

Bentzen, Bruno
(2020)
*What types should not be.*
Philosophia Mathematica, 28 (1).
pp. 60-76.
ISSN 0031-8019

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

Bordg, Anthony
(2019)
*Univalent Foundations and the UniMath Library. The Architecture of Mathematics.*
in Reflections on the Foundations of Mathematics, Synthese Library, 407.

## C

Clarke-Doane, Justin
(2022)
*Mathemtics and Metaphilosophy.*
Cambridge Elements.

## D

Dentamaro, Dario and Loregian, Fosco
(2020)
*Categorical Ontology I - Existence.*
[Preprint]

da Costa, Newton C. A. and Krause, Décio
(2020)
*Suppes predicate for classes of structures and the notion of transportability.*
[Preprint]

## E

Eastaugh, Benedict
(2018)
*Computational reverse mathematics and foundational analysis.*
[Preprint]

Eastaugh, Benedict
(2018)
*Set existence principles and closure conditions: unravelling the standard view of reverse mathematics.*
[Preprint]

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

Ellerman, David
(2021)
*On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics.*
[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

## G

Gisin, Nicolas
(2020)
*Indeterminism in Physics and Intuitionistic Mathematics.*
[Preprint]

Gisin, Nicolas
(2020)
*Mathematical languages shape our understanding of time in physics.*
Nature Physics, 16.
pp. 114-119.

Gisin, Nicolas
(1991)
*PROPENSITIES IN A NON-DETERMINISTIC PHYSICS*.*
Synthese, 89.
pp. 287-297.
ISSN 1573-0964

Gisin, Nicolas
(2020)
*Real Numbers are the Hidden Variables of Classical Mechanics.*
Quantum Studies: Mathematics and Foundations, 7.
pp. 197-201.

## H

Halák, Jan
(2021)
*Mathematics Embodied: Merleau-Ponty on Geometry and Algebra as Fields of Motor Enaction.*
[Preprint]

Heartspring, William
(2019)
*Modal logic NL for common language.*
[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]

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

Hewitt, Carl
(2019)
*For Cybersecurity, Computer Science Must Rely on the Opposite of Gödel’s Results.*
[Preprint]

Hewitt, Carl
(2017)
*Strong Types for Direct Logic.*
[Preprint]

Hosack, John M.
(2019)
*Deductive Pluralism.*
[Preprint]

## K

Ketland, Jeffrey
(2022)
*Boolos’s Curious Inference in Isabelle/HOL.*
Archive of Formal Proofs.

Khudairi, Hasen
(2017)
*Epistemic Modality and Hyperintensionality in Mathematics.*
[Preprint]

Khudairi, Hasen
(2019)
*Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.*
[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
(2021)
*Towards a new philosophical perspective on Hermann Weyl’s turn to intuitionism.*
Science in Context, 34 (1).
pp. 51-68.
ISSN 1474-0664

Kovac, Srecko
(2018)
*On causality as the fundamental concept of Gödel's philosophy.*
[Preprint]

Kozdęba, Agnieszka and Tyszka, Apoloniusz
(2022)
*Statements and open problems on decidable sets X⊆N that contain informal notions and refer to the current knowledge on X.*
[Preprint]

Krause, Décio
(2022)
*On the discrepancies between quantum logic and classical logic.*
[Preprint]

Krause, Décio
(2022)
*Prolongments of "Ensaio": Schrödinger Logics and Quasi-Set Theory.*
[Preprint]

Krause, Décio
(2022)
*Quantifying over indiscernibles.*
[Preprint]

Krause, Décio and Arenhart, Jonas R. B.
(2020)
*Identical particles in quantum mechanics: favouring the Received View.*
[Preprint]

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

Kurpaska, Sławomir and Tyszka, Apoloniusz
(2019)
*Semi-formally stated open problems on computable sets X={n \in N: \phi(n)}, where \phi(n) has the same intuitive meaning for every n \in N and the finiteness (infiniteness) of X remains conjectured.*
[Preprint]

Kurpaska, Sławomir and Tyszka, Apoloniusz
(2020)
*The physical impossibility of machine computations on sufficiently large integers inspires an open problem that concerns abstract computable sets X⊆N and cannot be formalized in the set theory ZFC as it refers to our current knowledge on X.*
[Preprint]

Kurpaska, Sławomir and Tyszka, Apoloniusz
(2020)
*The physical limits of computation inspire an open problem that concerns abstract computable sets X⊆N and cannot be formalized in the set theory ZFC as it refers to our current knowledge on X.*
[Preprint]

## L

Lampert, Timm
(2017)
*Turing's Fallacies.*
[Preprint]

## M

Maddy, Penelope
(2017)
*Set-theoretic Foundations.*
[Preprint]

Mazurek, Leszek
(2020)
*Division by zero.*
[Preprint]

## N

Nakano, Anderson
(2020)
*On Ramsey's reason to amend Principia Mathematica's logicism and Wittgenstein's reaction.*
[Preprint]

## P

Parker, Matthew W.
(2017)
*Gödel's Argument for Cantorian Cardinality.*
Noûs.

Parker, Matthew W.
(2013)
*Set Size and the Part–Whole Principle.*
Review of Symbolic Logic, 6 (4).
pp. 589-612.

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

Penchev, Vasil
(2020)
*Skolem’s “paradox” as logic of ground: The mutual foundation of both proper and improper interpretations.*
[Preprint]

Penchev, Vasil
(2020)
*A reductionist reading of Husserl’s phenomenology by Mach’s descriptivism and phenomenalism.*
[Preprint]

Poggiolesi, Francesca and Francez, Nissim
(2021)
*Towards a generalization of the logic of grounding.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 36 (1).
pp. 5-24.
ISSN 2171-679X

Prokopov, Aleksey
(2021)
*Relational physics and the concept of continuity.*
[Preprint]

Proszewska, Agnieszka M.
(2022)
*Goals shape means. A pluralist response to the problem of formal representation in ontic structural realism.*
[Preprint]

## R

Redhead, Michael
(2019)
*A Simplified Version of Gödel’s Theorem.*
[Preprint]

Rodin, Andrei
(2018)
*Models of HoTT and the Constructive View of Theories.*
[Preprint]

## S

Samaroo, Ryan
(2018)
*The Principle of Equivalence as a Criterion of Identity.*
[Preprint]

Sant'Anna, Adonai and Bueno, Otávio and de França, Márcio
(2019)
*Follow the Flow: sets, relations, and categories as special cases of functions with no domain.*
UNSPECIFIED.

Sant'Anna, Adonai and Bueno, Otávio and de França, Márcio and Brodzinski, Renato
(2020)
*Flow: the Axiom of Choice is independent from the Partition Principle.*
[Preprint]

Sarma, Gopal P.
(2015)
*The Art of Memory and the Growth of the Scientific Method.*
Interdisciplinary Description of Complex Systems, 13 (3).
pp. 373-396.

Soysal, Zeynep
(2017)
*Why Is the Universe of Sets Not a Set?*
[Preprint]

Srinivasan, Radhakrishnan
(2022)
*Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL.*
[Preprint]

Szabó, Máté
(2017)
*Kalmár's Argument Against the Plausibility of Church's Thesis.*
[Preprint]

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

## T

Teh, Nicholas and Kapulkin, Chris
(2018)
*BJPS Book Review of "Categories for the Working Philosopher".*
BJPS Book Review of "Categories for the Working Philosopher".

Trlifajová, Kateřina
(2021)
*Infinity and Continuum in the Alternative Set Theory.*
[Preprint]

Tsementzis, Dimitris and Halvorson, Hans
(2016)
*Foundations and Philosophy.*
[Preprint]

## V

Veilahti, Antti
(2017)
*Higher Theory and the Three Problems of Physics.*
[Preprint]

Vorobyev, Oleg Yu
(2016)
*Postulating the theory of experience and chance
as a theory of co~events (co~beings).*
[Preprint]

van der Lugt, Tein
(2020)
*Indeterministic finite-precision physics
and intuitionistic mathematics.*
[Preprint]

## Z

Zanetti, Luca
(2020)
*Grounding and Auto-abstraction.*
Synthese.
ISSN 0039-7857

This list was generated on **Mon Nov 28 13:18:19 2022 EST**.