TY - RPRT TI - A maximal Boolean sublattice that is not the range of a Banaschewski function AU - Samuel Mokriš AU - Pavel Růžička PY - 2017 UR - https://arxiv.org/abs/1701.07024 ID - 1701.07024 ER -