arXiv++ Combinatorics

The problem of determining which infinite lattices are (isomorphic to) sublattices of free lattices is in general unsolved and extremely difficult. In this note, we reduce the problem by proving that all locally finite sublattices of free lattices are countable by using a result from Baldwin, Berman, Glass and Hodges on free algebras.