, Institute for Logic, Language and Computation, Universiteit van Amsterdam / Department Mathematik Universität Hamburg