| Publication | Date of Publication | Type |
|---|
Independence results for finite set theories in well-founded locally finite graphs
Studia Logica | 2024-11-12 | Paper |
| Appendix C: Mario Bunge (1919--2020) | 2024-08-23 | Paper |
| The first 100 years of mathematics at the University of Hamburg | 2024-08-06 | Paper |
Symmetry for transfinite computability
Lecture Notes in Computer Science | 2024-01-12 | Paper |
The modal logic of abelian groups
Algebra Universalis | 2023-08-03 | Paper |
Order types of models of fragments of Peano arithmetic
The Bulletin of Symbolic Logic | 2022-06-30 | Paper |
| Relations between notions of gaplessness for non-Archimedean fields | 2021-10-05 | Paper |
Constructing illoyal algebra-valued models of set theory
Algebra Universalis | 2021-08-17 | Paper |
| The Bolzano-Weierstrass theorem in generalised analysis | 2019-06-14 | Paper |
S. Barry Cooper (1943–2015)
Computability | 2018-09-20 | Paper |
A multiplication operation for the hierarchy of norms
Annals of Pure and Applied Logic | 2018-06-05 | Paper |
Inhabitants of interesting subsets of the Bousfield lattice
Journal of Pure and Applied Algebra | 2018-04-12 | Paper |
Inhabitants of interesting subsets of the Bousfield lattice
Journal of Pure and Applied Algebra | 2018-04-12 | Paper |
Philosophy or Not? The Study of Cultures and Practices of Mathematics
Cultures of Mathematics and Logic | 2017-08-31 | Paper |
| Koepke machines and satisfiability for infinitary propositional languages | 2017-08-04 | Paper |
| scientific article; zbMATH DE number 6741938 (Why is no real title available?) | 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
Synthese | 2017-02-14 | Paper |
The annual meetings of the DMV in Hamburg in 1901 and 1928
Mitteilungen der Deutschen Mathematiker-Vereinigung (DMV) | 2016-12-13 | Paper |
Questions on generalised Baire spaces
Mathematical Logic Quarterly (MLQ) | 2016-10-24 | Paper |
Restrictiveness relative to notions of interpretation
The Review of Symbolic Logic | 2016-07-29 | Paper |
The modal logic of inner models
The Journal of Symbolic Logic | 2016-05-09 | Paper |
Obituary: Barry Cooper (1943--2015): the engine of computability in Europe
Computability | 2016-04-13 | Paper |
Structural connections between a forcing class and its modal logic
Israel Journal of Mathematics | 2015-09-29 | Paper |
Generalized algebra-valued models of set theory
The Review of Symbolic Logic | 2015-04-24 | Paper |
| scientific article; zbMATH DE number 6407500 (Why is no real title available?) | 2015-02-24 | Paper |
Moving up and down in the generic multiverse
Logic and Its Applications | 2015-01-06 | Paper |
Canonical measure assignments
Journal of Symbolic Logic | 2013-06-24 | Paper |
Canonical measure assignments
Journal of Symbolic Logic | 2013-06-24 | Paper |
Cofinality and measurability of the first three uncountable cardinals
Transactions of the American Mathematical Society | 2013-04-10 | Paper |
The axiom of real Blackwell determinacy
Archive for Mathematical Logic | 2013-02-04 | Paper |
Fatal Heyting algebras and forcing persistent sentences
Studia Logica | 2012-10-01 | Paper |
DEL planning and some tractable cases
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
| Mathematical knowledge as a case study in empirical philosophy of mathematics | 2011-05-09 | Paper |
Eventually different functions and inaccessible cardinals
Journal of the Mathematical Society of Japan | 2011-03-28 | Paper |
| Peer review and knowledge by testimony in mathematics | 2010-12-08 | Paper |
| Skills and mathematical knowledge | 2010-12-08 | Paper |
| scientific article; zbMATH DE number 5713365 (Why is no real title available?) | 2010-05-27 | Paper |
| An abstract approach to reasoning about games with mistaken and changing beliefs | 2009-05-27 | Paper |
Belief Flow in Assertion Networks
Conceptual Structures: Knowledge Architectures for Smart Applications | 2009-03-06 | Paper |
Towards a new epistemology of mathematics
Erkenntnis | 2008-10-16 | Paper |
| Nonmonotone game labellings | 2008-07-01 | Paper |
| Set theory of infinite imperfect information games | 2008-02-11 | Paper |
The modal logic of forcing
Transactions of the American Mathematical Society | 2008-01-21 | Paper |
The Extent of Constructive Game Labellings
Journal Of Logic And Computation | 2007-12-17 | Paper |
Revision Forever!
Conceptual Structures: Inspiration and Application | 2007-09-06 | Paper |
| A simple inductive measure analysis for cardinals under the axiom of determinacy | 2007-07-30 | Paper |
Inaccessible cardinals without the axiom of choice
Fundamenta Mathematicae | 2007-05-30 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Set theory with and without urelements and categories of interpretations
Notre Dame Journal of Formal Logic | 2006-10-04 | Paper |
A parametrised choice principle and Martin's conjecture on Blackwell determinacy
MLQ | 2006-05-16 | Paper |
A global wellordering of norms defined via Blackwell games
Order | 2006-05-02 | Paper |
Comparing inductive and circular definitions: Parameters, complexity and games
Studia Logica | 2006-03-17 | Paper |
The pointwise view of determinacy: arboreal forcings, measurability, and weak measurability
Rocky Mountain Journal of Mathematics | 2006-01-24 | Paper |
Cardinal spaces and topological representations of bimodal logics
Logic Journal of the IGPL | 2005-10-18 | Paper |
| scientific article; zbMATH DE number 2160617 (Why is no real title available?) | 2005-04-22 | Paper |
Silver Measurability and its relation to other regularity properties
Mathematical Proceedings of the Cambridge Philosophical Society | 2005-04-18 | Paper |
The simulation technique and its applications to infinitary combinatorics under the axiom of Blackwell determinacy.
Pacific Journal of Mathematics | 2004-09-17 | Paper |
A Second Glance at Non-restrictiveness†
Philosophia Mathematica | 2004-06-10 | Paper |
Set-theoretic absoluteness and the revision theory of truth
Studia Logica | 2004-02-08 | Paper |
Playing with mixed strategies on infinite sets
International Journal of Game Theory | 2003-11-23 | Paper |
Turing cones and set theory of the reals
Archive for Mathematical Logic | 2003-09-16 | Paper |
The formal sciences: Their scope, their foundations, and their unity
Synthese | 2003-04-27 | Paper |
A First Glance at Non-Restrictiveness
Philosophia Mathematica | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1749140 (Why is no real title available?) | 2002-11-13 | Paper |
Techniques for approaching the dual Ramsey property in the projective hierarchy.
Pacific Journal of Mathematics | 2002-10-22 | Paper |
Ultrafilter spaces on the semilattice of partitions
Topology and its Applications | 2002-10-02 | Paper |
Revision sequences and computers with an infinite amount of time
Journal of Logic and Computation | 2002-07-22 | Paper |
Games of length \(\omega\cdot 2\)
Proceedings of the American Mathematical Society | 2002-03-19 | Paper |
Kleinberg sequences and partition cardinals below \(\pmb\delta_5^1\)
Fundamenta Mathematicae | 2002-02-21 | Paper |
| scientific article; zbMATH DE number 1390274 (Why is no real title available?) | 2001-02-26 | Paper |
Cofinalities of linear orders
Order | 2000-12-06 | Paper |
Solovay-type characterizations for forcing-algebras
Journal of Symbolic Logic | 2000-10-08 | Paper |
Uniform unfolding and analytic measurability
Archive for Mathematical Logic | 1999-10-11 | Paper |
