Home» News» Seminars» Mar. 8 Talk by Robert Passmann: On the logical structure of constructive set theories (Online)

Mar. 8 Talk by Robert Passmann: On the logical structure of constructive set theories (Online)

发布日期:2022-02-28 作者:
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.