Title: On the logical structure of constructive set theories (Online)
Speaker:
Robert Passmann (ILLC)
Time: 16:00 ~ 18:00 (Mar. 8)
Meeting ID: 891 4266 4346 Passcode: 617402
Abstract: In this talk, I will discuss the logical structure of constructive set theories such as IZF, CZF and IKP. In particular, I will survey recent results on the propositional and first-order logics as well as admissible rules of these theories, and discuss techniques used to establish such results. If time permits, I will finish by discussing some potential philosophical consequences of these results.
