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.
 

Last updated on 6 May 2025, 2:04pm. Please contact us with feedback and comments about this page.