| Publication | Date of Publication | Type |
|---|
Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
(available as arXiv preprint) | N/A | Paper |
The iterative conception of function and the iterative conception of set
(available as arXiv preprint) | N/A | Paper |
| The iterative notion of function and the iterative notion of set | 2026-04-27 | Paper |
Wand/set theories: a realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
The Journal of Symbolic Logic | 2026-03-11 | Paper |
| A fictionalist theory of universals | 2025-10-07 | Paper |
AGAINST CUMULATIVE TYPE THEORY
The Review of Symbolic Logic | 2022-11-08 | Paper |
LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS
The Bulletin of Symbolic Logic | 2022-04-04 | Paper |
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
The Bulletin of Symbolic Logic | 2022-03-01 | Paper |
LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY
The Bulletin of Symbolic Logic | 2022-03-01 | Paper |
Deflationary metaphysics and ordinary language
Synthese | 2021-11-30 | Paper |
Against Cumulative Type Theory
(available as arXiv preprint) | 2021-08-10 | Paper |
| Level Theory, parts 1-3 | 2021-03-11 | Paper |
| Philosophy and model theory | 2018-04-05 | Paper |
Exclusion problems and the cardinality of logical space
Journal of Philosophical Logic | 2018-02-14 | Paper |
Grades of discrimination: indiscernibility, symmetry, and relativity
Notre Dame Journal of Formal Logic | 2017-11-06 | Paper |
Grades of discrimination: indiscernibility, symmetry, and relativity
Notre Dame Journal of Formal Logic | 2017-11-06 | Paper |
Knot and tonk: nasty connectives on many-valued truth-tables for classical sentential logic
Analysis | 2017-06-27 | Paper |
Structure and categoricity: determinacy of reference and truth value in the philosophy of mathematics
Philosophia Mathematica | 2017-03-03 | Paper |
Structure and categoricity: determinacy of reference and truth value in the philosophy of mathematics
Philosophia Mathematica | 2017-03-03 | Paper |
The metamathematics of Putnam's model-theoretic arguments
Erkenntnis | 2011-12-13 | Paper |
Hyperloops do not threaten the notion of an effective procedure
Mathematical Theory and Computational Practice | 2010-07-28 | Paper |
SAD computers and two versions of the Church-Turing thesis
The British Journal for the Philosophy of Science | 2010-04-08 | Paper |
| Realistic structuralism's identity crisis: a hybrid solution | 2007-01-29 | Paper |
