Minicourse "Constructive Set Theories" [2 ETCS Mat/01] by Laura Crosilla, University of Oslo

Minicourse "Constructive Set Theories" [2 ETCS Mat/01] by Laura Crosilla, University of Oslo

This minicourse is now videoregistered - please see the bottom end of this page.  
Members of the University of Verona are kindly asked to register for the course mailing list by writing to dott. Giulio Fellin. Students of the University of Verona who want to obtain credits for this course also in the future should contact prof. Peter Schuster.
Publication date
Wednesday, October 6, 2021 - 12:36:53 PM
Last Modified
Wednesday, October 6, 2021- 12:51:56 PM
Subject
Minicourse "Constructive Set Theories" [2 ETCS Mat/01] by Laura Crosilla, University of Oslo
Published by
Peter Michael Schuster
Advanced course in foundations of mathematics (2020/2021)
Mathematical logic (2020/2021)
Bachelor's degree in Applied Mathematics
Master's degree in Mathematics