The Order-Theoretic Structure of Free Heyting Algebras/ AuthorsMichael O'Connor/ AbstractWe find an order-theoretic characterization of the Lindenbaum algebra of intuitionistic propositional logic in n variables.Journal: arXiv: Logic