1 paper · 1 filter
J. B. Nation, Gianluca Paolini
We start a systematic analysis of the first-order model theory of free lattices. Firstly, we prove that the free lattices of finite rank are not positively indistinguishable, as th…