Online algebra seminar - May 7, 1pm PDF Print

We will continue online on Thursday, May 7, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Christian Espindola

Topos-theoretic completeness theorems

In this talk we will delve into the background details of the previous talk by introducing syntactic proof systems and their categorical semantics, including the construction of syntactic categories and $\kappa$-classifying toposes, as well as the role of certain properties of Grothendieck topologies and Kripke-Joyal semantics. We will then study some topos-theoretic completeness theorems for certain infinitary logics that generalize results of Deligne and Joyal.

Last Updated on Monday, 04 May 2020 10:39