-
The purpose of this note is to give a short overview of the work on
Turing degrees, with particular emphasis on the recent results regarding
model-theoretic aspacts (definability) and second-order aspects
(automorphisms of the structure).
-
Index of the archive of Anne S. Troelstra (born 1939, former
professor in pure mathematics and the foundation of mathematics at
the university of Amsterdam): summing up of his letters, articles and
books from the sixties onwards. The archive is from 2003 a part of
the collection of the Rijksarchi...
-
We combine Vervoort's Pure Variations and Axiomatic Variations to get
results on the strength of axioms of pure Blackwell determinacy.
-
This final report gives an overview of the project "Music, Mind,
Machine" that was funded from March 1997 until September 2003 by the
PIONIER program of the Netherlands Organization for Scientific
Research (NWO). The content of the research was concerned with the
computational modeling of music c...
-
This is an extended abstract of a talk to be delivered at the
conference "Degrees of Belief" in Konstanz (July 2004).
-
-
Making use of epistemic logic it is provable that whenever the
smallest uncertainty of message delivery is present, common knowledge
via communication is impossible. This implies that a coordinated
attack, which demands common knowledge, really can never take
place. But there might be possibiliti...
-
In this Dutch article several well-known concepts and theorems of
classical modal logic are reformulated for the more extensive logic IL.
-
-
-
This is a light survey of dynamic trends in modern logic, written for
a French journal with a general audience, which will publish a volume
"Dossier Logique", edited by Gabriel Sandu. There are also some neat
pictures.