## Journal of Symbolic Logic

### Finitely generated free Heyting algebras: the well-founded initial segment

#### Abstract

In this paper we describe the well-founded initial segment of the free Heyting algebra ${\mathbb A}_\alpha$ on finitely many, $\alpha$, generators. We give a complete classification of initial sublattices of ${\mathbb A}_2$ isomorphic to ${\mathbb A}_1$ (called ‘low ladders'), and prove that for $2 \le \alpha < \omega$, the height of the well-founded initial segment of ${\mathbb A}_\alpha$ is $\omega^2$.

#### Article information

Source
J. Symbolic Logic, Volume 77, Issue 4 (2012), 1291-1307.

Dates
First available in Project Euclid: 15 October 2012

https://projecteuclid.org/euclid.jsl/1350315589

Digital Object Identifier
doi:10.2178/jsl.7704140

Mathematical Reviews number (MathSciNet)
MR3051627

Zentralblatt MATH identifier
1272.03163

#### Citation

Elageili, R.; Truss, J. K. Finitely generated free Heyting algebras: the well-founded initial segment. J. Symbolic Logic 77 (2012), no. 4, 1291--1307. doi:10.2178/jsl.7704140. https://projecteuclid.org/euclid.jsl/1350315589