TY  - RPRT
TI  - The weakness of finding descending sequences in ill-founded linear orders
AU  - Jun Le Goh
AU  - Arno Pauly
AU  - Manlio Valenti
PY  - 2025
UR  - https://arxiv.org/abs/2401.11807
ID  - 2401.11807
ER  -