| Publication | Date of Publication | Type |
|---|
| Symmetry for transfinite computability | 2024-01-12 | Paper |
| The modal logic of abelian groups | 2023-08-03 | Paper |
| ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC | 2022-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5154704 | 2021-10-05 | Paper |
| Constructing illoyal algebra-valued models of set theory | 2021-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5380014 | 2019-06-14 | Paper |
| S. Barry Cooper (1943–2015) | 2018-09-20 | Paper |
| A multiplication operation for the hierarchy of norms | 2018-06-05 | Paper |
| Inhabitants of interesting subsets of the Bousfield lattice | 2018-04-12 | Paper |
| Philosophy or Not? The Study of Cultures and Practices of Mathematics | 2017-08-31 | Paper |
| Koepke machines and satisfiability for infinitary propositional languages | 2017-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5271423 | 2017-07-11 | Paper |
| History and philosophy of infinity. Selected papers from the conference ``Foundations of the Formal Sciences VIII held at Corpus Christi College, Cambridge, England, 20--23 September 2013 | 2017-02-14 | Paper |
| The annual meetings of the DMV in Hamburg in 1901 and 1928 | 2016-12-13 | Paper |
| Questions on generalised Baire spaces | 2016-10-24 | Paper |
| RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION | 2016-07-29 | Paper |
| THE MODAL LOGIC OF INNER MODELS | 2016-05-09 | Paper |
| Barry Cooper (1943–2015): The engine of Computability in Europe | 2016-04-13 | Paper |
| Structural connections between a forcing class and its modal logic | 2015-09-29 | Paper |
| GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY | 2015-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5175655 | 2015-02-24 | Paper |
| Moving Up and Down in the Generic Multiverse | 2015-01-06 | Paper |
| Canonical measure assignments | 2013-06-24 | Paper |
| Cofinality and measurability of the first three uncountable cardinals | 2013-04-10 | Paper |
| The axiom of real Blackwell determinacy | 2013-02-04 | Paper |
| Fatal Heyting algebras and forcing persistent sentences | 2012-10-01 | Paper |
| DEL Planning and Some Tractable Cases | 2011-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2997771 | 2011-05-09 | Paper |
| Eventually different functions and inaccessible cardinals | 2011-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3059435 | 2010-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3059440 | 2010-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3562750 | 2010-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3629246 | 2009-05-27 | Paper |
| Belief Flow in Assertion Networks | 2009-03-06 | Paper |
| Towards a new epistemology of mathematics | 2008-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509074 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439454 | 2008-02-11 | Paper |
| The modal logic of forcing | 2008-01-21 | Paper |
| The Extent of Constructive Game Labellings | 2007-12-17 | Paper |
| Revision Forever! | 2007-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5295695 | 2007-07-30 | Paper |
| Inaccessible cardinals without the axiom of choice | 2007-05-30 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Set theory with and without urelements and categories of interpretations | 2006-10-04 | Paper |
| A parametrised choice principle and Martin's conjecture on Blackwell determinacy | 2006-05-16 | Paper |
| A global wellordering of norms defined via Blackwell games | 2006-05-02 | Paper |
| Comparing inductive and circular definitions: Parameters, complexity and games | 2006-03-17 | Paper |
| The pointwise view of determinacy: arboreal forcings, measurability, and weak measurability | 2006-01-24 | Paper |
| Cardinal spaces and topological representations of bimodal logics | 2005-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4670584 | 2005-04-22 | Paper |
| Silver Measurability and its relation to other regularity properties | 2005-04-18 | Paper |
| The simulation technique and its applications to infinitary combinatorics under the axiom of Blackwell determinacy. | 2004-09-17 | Paper |
| A Second Glance at Non-restrictiveness† | 2004-06-10 | Paper |
| Set-theoretic absoluteness and the revision theory of truth | 2004-02-08 | Paper |
| Playing with mixed strategies on infinite sets | 2003-11-23 | Paper |
| Turing cones and set theory of the reals | 2003-09-16 | Paper |
| The formal sciences: Their scope, their foundations, and their unity | 2003-04-27 | Paper |
| A First Glance at Non-Restrictiveness | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530726 | 2002-11-13 | Paper |
| Techniques for approaching the dual Ramsey property in the projective hierarchy. | 2002-10-22 | Paper |
| Ultrafilter spaces on the semilattice of partitions | 2002-10-02 | Paper |
| Revision Sequences and Computers with an Infinite Amount of Time | 2002-07-22 | Paper |
| Games of length 𝜔⋅2 | 2002-03-19 | Paper |
| Kleinberg sequences and partition cardinals below δ51 | 2002-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934561 | 2001-02-26 | Paper |
| Cofinalities of linear orders | 2000-12-06 | Paper |
| Solovay-type characterizations for forcing-algebras | 2000-10-08 | Paper |
| Uniform unfolding and analytic measurability | 1999-10-11 | Paper |
