This is the blog post of the 2022 August NITheCS Mini-School. Let us begin with some useful links:
- Lecture notes on universes of sets (introductory)
- Some videos explaining the concepts from the lecture notes above
Lecture 1
Lecture 2
Lecture 3
Lecture 4
