Contact Ivano Ciardelli Munich Center for Mathematical Philosophy Ludwig-Maximilians-Universität Ludwigstr. 31, Room 234 80539 Munich Email: [email protected]