This is the notes of a student-organized logic seminar at Fudan University, where I will talk about forcing on topoi. The seminar will probably be in Chinese.
In construction… link https://www.overleaf.com/read/cfxygyntdqss#8dd3c0
(I’m new to the site, hopefully I can edit the post -w-)