Speaker: Michael O'Connor <mkoconnor@gmail.com>

Title: The Order-Theoretic Structure of Free Heyting Algebras

Abstract:
A new result on the structure of Lindenbaum algebras of
intuitionistic propositional logic in finitely many variables is discussed.