6 citations · 6 across the 3 of their papers we have counts for
4 papers
Model-completion of varieties of co-Heyting algebras
Luck Darnière, Markus Junker
It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the tri…
aleph_0-categorical Structures: Endomorphisms and Interpretations
Manuel Bodirsky, Markus Junker
We extend the Ahlbrandt--Ziegler analysis of interpretability in aleph_0-categorical structures by showing that existential interpretation is controlled by the monoid of self--embe…
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…
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…