Zentrum für interdisziplinäre Forschung Center for Interdisciplinary Research Universität Bielefeld FOMUS FOUNDATIONS OF MATHEMATICS: UNIVALENT FOUNDATIONS & SET THEORY ZiF WORKSHOP | BIELEFELD, GERMANY | JULY 18-23, 2016 Univ alen ce: ( ∀ ∊y) x↔z ∊ ∀z(z y↔ x= x∀y( ). A=B )≃(A ≃B) . Further information: www.fomus.weebly.com [email protected] Organisers: Balthasar Grabmayr (Tel Aviv, ISR) Deborah Kant (Berlin, GER) Lukas Kühne (Bonn, GER) Deniz Sarikaya (Hamburg, GER) For further questions please contact Trixi Valentin Tel. +49 521 106-2769 | [email protected] ZiF Zentrum für interdisziplinäre Forschung | Methoden 1 | 33615 Bielefeld | www.uni-bielefeld.de/ZiF
© Copyright 2024 ExpyDoc