2 papers
math.LO2008
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
Luck Darnière, Markus Junker
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…
math.LO2008
Codimension and pseudometric in co-Heyting algebras
Luck Darnière, Markus Junker
In this paper we introduce a notion of dimension and codimension for every element of a distributive bounded lattice . These notions prove to have a good behavior when is a…