Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 154

Preprint Number 154

Previous Next Preprint server

154. Luck Darnière, Markus Junker
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond

Submission date: 18 December 2008.


We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima's representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite completion, which is also the completion with respect to a naturally defined metric. We show that the Kripke model used by Bellissima is first order interpretable in the Heyting algebra, from which several model theoretic and algebraic properties are derived.

Mathematics Subject Classification: 06D20, 03C64, 06B23, 06B30, 08B20

Keywords and phrases: free Heyting algebras, finitely generated Heyting algebras, completion, irreducible elements, spectrum, Kripke model, automorphism group

Full text arXiv: pdf, ps.

Last updated: December 29 2008 17:11 Please send your corrections to: