• Publications
  • Influence
Solovay-Type Characterizations for Forcing-Algebras
TLDR
We give characterizations for the (in ZFC unprovable) sentences “Every -set is measurable” for various notions of measurability derived from well-known forcing partial orderings. Expand
  • 45
  • 4
  • PDF
DEL Planning and Some Tractable Cases
TLDR
We describe the planning problem within the framework of dynamic epistemic logic (DEL), considering the tree of sequences of events as the underlying structure. Expand
  • 56
  • 3
  • PDF
The synchronicity of dynamic epistemic logic
TLDR
We argue that synchronicity is not an inherent property of dynamic epistemic logic, but rather of the translation that van Benthem et al. used. Expand
  • 19
  • 3
  • PDF
Mathematics of Computation at CiE 2005
  • 36
  • 3
Peer review and knowledge by testimony in mathematics
The peer review process has been the topic of many studies in the medical sciences, but not so in mathematics. Given that mathematicians refer to results from the literature without checking theExpand
  • 20
  • 3
  • PDF
Revision Sequences and Computers with an Infinite Amount of Time
  • B. Löwe
  • Computer Science
  • J. Log. Comput.
  • 1 February 2001
TLDR
The author establishes a connection between Revision Theory of Truth and Infinite Time Turing Machines as developed by Hamkins and Kidder. Expand
  • 28
  • 2
Towards a New Epistemology of Mathematics
In this introduction we discuss the motivation behind the workshop “Towards a New Epistemology of Mathematics” of which this special issue constitutes the proceedings. We elaborate on historical andExpand
  • 28
  • 2
  • PDF
Generalized Algebra-Valued Models of Set Theory
TLDR
We generalize lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory. Expand
  • 16
  • 2
  • PDF
Mathematical knowledge: a case study in empirical philosophy of mathematics
In this paper, we present a paradigm for the philosopher of mathematics who takes mathematical practice seriously: Empirical Philosophy of Mathematics. In this philosophical paradigm, we useExpand
  • 16
  • 2
  • PDF
...
1
2
3
4
5
...