Bardo Maienborn:
Uniform Interpolation for Intuitionistic Logic
Zeit und Ort
Dienstag, 30.1.24, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Zusammenfassung
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.