Showing math.LOShow all
3 papers · 1 filter
math.LO2009
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…
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…