Article contents
Finitely generated free Heyting algebras: the well-founded initial segment
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2012
References
REFERENCES
- 2
- Cited by