Seminar series
Date
Tue, 14 Nov 2017
Time
16:00 -
17:00
Location
L5
Speaker
Mirna Dzamonja
Organisation
UEA
We discuss the connections and differences between the ZFC set theory and univalent foundations and answer the above question in the negative.