Translator Disclaimer
December 2012 Finitely generated free Heyting algebras: the well-founded initial segment
R. Elageili, J. K. Truss
J. Symbolic Logic 77(4): 1291-1307 (December 2012). DOI: 10.2178/jsl.7704140

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$.

Citation

Download Citation

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

Information

Published: December 2012
First available in Project Euclid: 15 October 2012

zbMATH: 1272.03163
MathSciNet: MR3051627
Digital Object Identifier: 10.2178/jsl.7704140

Subjects:
Primary: 03G25, 06D20

Rights: Copyright © 2012 Association for Symbolic Logic

JOURNAL ARTICLE
17 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.77 • No. 4 • December 2012
Back to Top