| Publication | Date of Publication | Type |
|---|
| Hypatia's silence | 2022-04-12 | Paper |
| Axioms for typefree subjective probability | 2022-02-18 | Paper |
| Generic Structures† | 2020-09-30 | Paper |
| Absolute Infinity in Class Theory and in Theology | 2020-07-13 | Paper |
| Boolean-valued sets as arbitrary objects | 2020-02-06 | Paper |
| Reasoning about arbitrary natural numbers from a Carnapian perspective | 2019-09-03 | Paper |
| Probability for the revision theory of truth | 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† | 2019-02-26 | Paper |
| Iterated reflection over full disquotational truth | 2018-11-20 | Paper |
| Infinitesimal Probabilities | 2018-11-19 | Paper |
| TRIANGULATING NON-ARCHIMEDEAN PROBABILITY | 2018-10-25 | Paper |
| Popper Functions, Lexicographical Probability, and Non-Archimedean Probability | 2016-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5741607 | 2016-07-28 | Paper |
| One hundred years of semantic paradox | 2016-04-13 | Paper |
| Term models for abstraction principles | 2016-04-04 | Paper |
| THE EXPRESSIVE POWER OF TRUTH | 2015-06-29 | Paper |
| Axioms for non-Archimedean probability (NAP) | 2014-08-12 | Paper |
| Fair infinite lotteries | 2014-04-01 | Paper |
| The aftermath | 2013-07-18 | Paper |
| Non-Archimedean probability | 2013-05-17 | Paper |
| Vom Zählen zu den Zahlen: on the relation between computation and arithmetical structuralism | 2013-05-15 | Paper |
| Revision revisited | 2013-01-10 | Paper |
| An argument concerning the unknowable | 2012-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3093483 | 2011-10-17 | Paper |
| Erratum to ``The undecidability of propositional adaptive logic | 2009-11-04 | Paper |
| Formal methods in the philosophy of science | 2008-09-02 | Paper |
| The undecidability of propositional adaptive logic | 2007-11-14 | Paper |
| Formalizing Church's thesis | 2006-10-16 | Paper |
| Axiomatizing Kripke's theory of truth | 2006-08-03 | Paper |
| On the exclusivity implicature of `or' or on the meaning of eating strawberries | 2006-03-17 | Paper |
| Closer | 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 | 2005-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5695188 | 2005-10-11 | Paper |
| Computational Structuralism† | 2005-09-28 | Paper |
| On best transitive approximations to simple graphs | 2005-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440539 | 2004-01-04 | Paper |
| Platonistic formalism | 2002-10-15 | Paper |
| No future | 2002-07-22 | Paper |
| A Kripkean approach to unknowability and truth | 2001-07-17 | Paper |
| Two Proof-Theoretic Remarks on EA + ECT | 2001-07-16 | Paper |
| Earman on underdetermination and empirical indistinguishability | 2001-03-05 | Paper |
| In defense of epistemic arithmetic | 2000-02-28 | Paper |
| Provability in principle and controversial constructivistic principles | 1998-03-23 | Paper |
| Reflecting in epistemic arithmetic | 1997-01-22 | Paper |
| Modal-epistemic variants of Shapiro's system of epistemic arithmetic | 1995-02-13 | Paper |
