Online algebra seminar - May 7, 1pm |
|
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
Abstract: 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 |