Nick Bezhanishvili

Institute for Logic, Language and Computation (ILLC)
University of Amsterdam


Abstract. In this tutorial I will discuss Stone, Priestley and Esakia dualities for Boolean algebras, distributive lattices and Heyting algebras, respectively. I will also give a few examples of applications of these dualities. In particular, I will show how to obtain a characterization of profinite Heyting algebras using these dualities.

Prerequisites: There are no prerequisites except for mathematical maturity and all the necessary concepts will be defined in the course. However, some familiarity with the basic notions of topology might be helpful.