| Publication | Date of Publication | Type |
|---|
| Saul Kripke (1940--2022) | 2025-01-24 | Paper |
| Measurable Selections: A Bridge Between Large Cardinals and Scientific Applications? | 2022-04-04 | Paper |
| Set Theory | 2022-01-12 | Paper |
| Rigor and Structure | 2020-05-13 | Paper |
| Putnam on Foundations: Models, Modals, Muddles | 2020-02-05 | Paper |
| Modal Logic in the Modal Sense of Modality | 2020-02-03 | Paper |
| Book review of: I. Hacking, Why is there philosophy of mathematics at all? | 2016-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464621 | 2016-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464643 | 2016-01-27 | Paper |
| Rigor and Structure | 2015-01-19 | Paper |
| On a derivation of the necessity of identity | 2015-01-08 | Paper |
| Axioms of infinity as the starting point for rigorous mathematics. | 2013-11-18 | Paper |
| Book review: Volker Halbach, Axiomatic theories of truth | 2013-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090928 | 2011-09-06 | Paper |
| Two undecidable questions about group actions | 2011-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5391070 | 2011-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079621 | 2011-03-02 | Paper |
| Axiomatizing the logic of comparative probability | 2010-06-11 | Paper |
| Protocol Sentences for Lite Logicism | 2009-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3613033 | 2009-03-11 | Paper |
| Computability and Logic | 2008-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5694788 | 2005-10-05 | Paper |
| A remark on Henkin sentences and their contraries | 2005-07-13 | Paper |
| Mathematics and Bleak House | 2005-04-22 | Paper |
| Mathematics and Bleak House | 2004-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4469741 | 2004-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532189 | 2003-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428890 | 2003-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3148848 | 2002-09-24 | Paper |
| Which modal logic is the right one? | 2001-07-17 | Paper |
| Predicative logic and formal arithmetic | 2001-07-17 | Paper |
| On a consistent subsystem of Frege's Grundgesetze | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227552 | 1999-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4208516 | 1998-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342094 | 1997-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687547 | 1996-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325783 | 1995-11-28 | Paper |
| Hintikka et Sandu versus Frege in re Arbitrary Functions | 1994-01-06 | Paper |
| Nonexistence of Measurable Optimal Selections | 1993-03-01 | Paper |
| Synthetic mechanics revisited | 1991-01-01 | Paper |
| Addendum to “The truth is never simple” | 1988-01-01 | Paper |
| The truth is never simple | 1986-01-01 | Paper |
| The decision problem for linear temporal logic | 1985-01-01 | Paper |
| From preference to utility: A problem of descriptive set theory | 1985-01-01 | Paper |
| Synthetic mechanics | 1984-01-01 | Paper |
| Read on relevance: A rejoinder | 1984-01-01 | Paper |
| Dummett's case for intuitionism | 1984-01-01 | Paper |
| Why I am not a nominalist | 1983-01-01 | Paper |
| Common sense and relevance | 1983-01-01 | Paper |
| Classical hierarchies from a modern standpoint. Part I. C-sets | 1983-01-01 | Paper |
| Classical hierarchies from a modern standpoint. Part II. R-sets | 1983-01-01 | Paper |
| Classical hierarchies form a modern standpoint. Part III. BP-sets | 1983-01-01 | Paper |
| Axioms for tense logic. I: 'Since' and 'until' | 1982-01-01 | Paper |
| Axioms for tense logic. II: Time periods | 1982-01-01 | Paper |
| Quick completeness proofs for some logics of conditionals | 1981-01-01 | Paper |
| Conditional distributions and orthogonal measures | 1981-01-01 | Paper |
| The completeness of intuitionistic propositional calculus for its intended interpretation | 1981-01-01 | Paper |
| Careful choices: A last word on Borel selectors | 1981-01-01 | Paper |
| Relevance: A fallacy? | 1981-01-01 | Paper |
| Decidability for branching time | 1980-01-01 | Paper |
| Brouwer and Souslin on Transfinite Cardinals | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3892472 | 1980-01-01 | Paper |
| A measurable selection theorem | 1980-01-01 | Paper |
| Logic and time | 1979-01-01 | Paper |
| A selection theorem for group actions | 1979-01-01 | Paper |
| A reflection phenomenon in descriptive set theory | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156785 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4159945 | 1979-01-01 | Paper |
| The unreal future | 1978-01-01 | Paper |
| Consistency proofs in model theory: A contribution to Jensenlehre | 1978-01-01 | Paper |
| Equivalences Generated by Families of Borel Sets | 1978-01-01 | Paper |
| On the Hanf number of Souslin logic | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194945 | 1977-01-01 | Paper |
| A selector principle for \(\Sigma^1_1\) equivalence relations | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3862080 | 1977-01-01 | Paper |
| Probability logic | 1969-01-01 | Paper |
