TY - RPRT TI - No minimal tall Borel ideal in the Katětov order AU - Jan Grebík AU - Michael Hrušák PY - 2017 UR - https://arxiv.org/abs/1708.05322 ID - 1708.05322 ER -