TY - RPRT TI - Problems 85 and 87 of Birkhoff's "Lattice theory" AU - Jonathan David Farley AU - Dominic van der Zypen PY - 2016 UR - https://arxiv.org/abs/1610.01760 ID - 1610.01760 ER -