1 paper · 2 filters
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…