ZiF - FOMUS

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