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

## A

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

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

## B

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]

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

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

## H

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

Khudairi, Hasen
(2017)
*Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism.*
[Preprint]

Kovac, Srecko
(2018)
*On causality as the fundamental concept of Gödel's philosophy.*
[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]

## L

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

## M

Maddy, Penelope
(2017)
*Set-theoretic Foundations.*
[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.

## 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.

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]

## 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".

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]

This list was generated on **Mon Jan 20 06:55:10 2020 EST**.