Johan Lindberg: Logical Spaces

Time: Wed 2018-04-18 10.00 - 11.45

Lecturer: Johan Lindberg

Location: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 

Abstract: In this presentation we describe an ongoing project of giving a more explicitly logical proof of the Joyal-Tierney representation theorem for Grothendieck toposes.

A key aspect of our approach is the use of complete Heyting Algebra (cHA) valued sets instead of sheaves. One reason for pursuing this line of research is to further develop the constructive model theory for geometric and first-order intuitionistic logic with respect to cHA-valued sets, and to clarify its connections with more general topos-theoretic machinery.

This is joint work with Henrik Forssell.

Belongs to: Department of Mathematics
Last changed: Apr 13, 2018