TY - RPRT TI - The chain covering number of a poset with no infinite antichains AU - Uri Abraham AU - Maurice Pouzet PY - 2022 UR - https://arxiv.org/abs/2211.03228 ID - 2211.03228 ER -