Luna Strah: Topological models of intuitionistic logic

Note: We meet in 3.05.

Abstract: Topological models are models of intuitionistic logic with partial elements that “vary continuously” over a topological space. In particular, the truth values in the model are precisely the open sets of the underlying space. In topos theory such models are usually constructed as categories of sheaves or étale spaces. In this talk, I will present an alternative construction of topological models called Heyting valued sets, which turns out to be well-suited for carrying out concrete constructions and computations.