Finitely generated free Heyting algebras: the well-founded initial segment
R. Elageili, JOHN KENNETH TRUSS · Journal of Symbolic Logic · 2012
Abstract In this paper we describe the well-founded initial segment of the free Heyting algebra α on finitely many, α, generators. We give a complete classification of initial sublattices of 2 isomorphic to 1 (called ‘low ladders’), and prove that for 2 ≤ α < ω, the height of the well-founded initial segment of α is ω2.