Oberseminar "Mathematische Logik" - M.Sc. Giacomo Cozzi

Categorical logic provides a framework for studying and classifying first-order theories and obtaining independence results. We give an overview of constructions around categorical semantics and classifying toposes, and indicate how they relate to and generalize familiar constructions in set theory.  The motivating application will the forcing of independence proofs and results obtained in my master thesis, without going into its technical details.