TY - RPRT TI - Finding descending sequences through ill-founded linear orders AU - Jun Le Goh AU - Arno Pauly AU - Manlio Valenti PY - 2024 DO - 10.1017/jsl.2021.15 UR - https://arxiv.org/abs/2010.03840 ID - 2010.03840 ER -