Bardo Maienborn:
Uniform Interpolation for Intuitionistic Logic
Time and place
Tuesday, 30.1.24, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Abstract
We show that intuitionistic logic has uniform interpolation, a strong property possessed by some logics. For this we introduce the algebraic representation of intuitionistic logic (Heyting algebras) and their dual spaces (Esakia spaces). This duality is similar to that between Boolean algebras and Stone spaces for classical logic. We then show how to prove an open mapping theorem for Esakia spaces, and how uniform interpolation follows from this.