| Publication | Date of Publication | Type |
|---|
Sets and probability
Erkenntnis | 2026-04-13 | Paper |
On the pure logic of justified belief
Synthese | 2026-03-27 | Paper |
| Russell and Fine on variable objects | 2025-10-24 | Paper |
Hypatia's silence: truth, justification, and entitlement
Nôus | 2022-04-12 | Paper |
| Axioms for typefree subjective probability | 2022-02-18 | Paper |
Generic structures
Philosophia Mathematica | 2020-09-30 | Paper |
Generic structures
Philosophia Mathematica | 2020-09-30 | Paper |
Absolute Infinity in Class Theory and in Theology
Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
| Boolean-valued sets as arbitrary objects | 2020-02-06 | Paper |
Reasoning about arbitrary natural numbers from a Carnapian perspective
Journal of Philosophical Logic | 2019-09-03 | Paper |
Probability for the revision theory of truth
Journal of Philosophical Logic | 2019-06-06 | Paper |
| The metaphysics and mathematics of arbitrary objects | 2019-05-20 | Paper |
| Sets and Probability | 2019-03-20 | Paper |
Human-effective computability
Philosophia Mathematica | 2019-02-26 | Paper |
Iterated reflection over full disquotational truth
Journal Of Logic And Computation | 2018-11-20 | Paper |
Infinitesimal Probabilities
The British Journal for the Philosophy of Science | 2018-11-19 | Paper |
Triangulating non-Archimedean probability
The Review of Symbolic Logic | 2018-10-25 | Paper |
| Popper Functions, Lexicographical Probability, and Non-Archimedean Probability | 2016-08-09 | Paper |
| scientific article; zbMATH DE number 6607429 (Why is no real title available?) | 2016-07-28 | Paper |
One hundred years of semantic paradox
Journal of Philosophical Logic | 2016-04-13 | Paper |
Term models for abstraction principles
Journal of Philosophical Logic | 2016-04-04 | Paper |
The expressive power of truth
The Review of Symbolic Logic | 2015-06-29 | Paper |
| Axioms for non-Archimedean probability (NAP) | 2014-08-12 | Paper |
Fair infinite lotteries
Synthese | 2014-04-01 | Paper |
The aftermath
The Mathematical Intelligencer | 2013-07-18 | Paper |
Non-Archimedean probability
Milan Journal of Mathematics | 2013-05-17 | Paper |
Vom Zählen zu den Zahlen: on the relation between computation and arithmetical structuralism
Philosophia Mathematica | 2013-05-15 | Paper |
Revision revisited
The Review of Symbolic Logic | 2013-01-10 | Paper |
An argument concerning the unknowable
Analysis | 2012-11-09 | Paper |
| scientific article; zbMATH DE number 5959536 (Why is no real title available?) | 2011-10-17 | Paper |
Erratum to ``The undecidability of propositional adaptive logic''
Synthese | 2009-11-04 | Paper |
Formal methods in the philosophy of science
Studia Logica | 2008-09-02 | Paper |
The undecidability of propositional adaptive logic
Synthese | 2007-11-14 | Paper |
| Formalizing Church's thesis | 2006-10-16 | Paper |
Axiomatizing Kripke's theory of truth
Journal of Symbolic Logic | 2006-08-03 | Paper |
On the exclusivity implicature of `or' or on the meaning of eating strawberries
Studia Logica | 2006-03-17 | Paper |
Closer
Synthese | 2006-02-08 | Paper |
| Remarks on the content and extension of the notion of provability | 2006-01-24 | Paper |
On the quantitative scalar or-implicature
Synthese | 2005-12-12 | Paper |
| scientific article; zbMATH DE number 2213633 (Why is no real title available?) | 2005-10-11 | Paper |
Computational Structuralism†
Philosophia Mathematica | 2005-09-28 | Paper |
On best transitive approximations to simple graphs
Acta Informatica | 2005-02-11 | Paper |
| scientific article; zbMATH DE number 2019845 (Why is no real title available?) | 2004-01-04 | Paper |
Platonistic formalism
Erkenntnis | 2002-10-15 | Paper |
No future
Journal of Philosophical Logic | 2002-07-22 | Paper |
A Kripkean approach to unknowability and truth
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| Two Proof-Theoretic Remarks on EA + ECT | 2001-07-16 | Paper |
Earman on underdetermination and empirical indistinguishability
Erkenntnis | 2001-03-05 | Paper |
In defense of epistemic arithmetic
Synthese | 2000-02-28 | Paper |
Provability in principle and controversial constructivistic principles
Journal of Philosophical Logic | 1998-03-23 | Paper |
Reflecting in epistemic arithmetic
Journal of Symbolic Logic | 1997-01-22 | Paper |
Modal-epistemic variants of Shapiro's system of epistemic arithmetic
Notre Dame Journal of Formal Logic | 1995-02-13 | Paper |
