@misc{indiciae60ac16183e29, title = {Finding descending sequences through ill-founded linear orders}, author = {Jun Le Goh and Arno Pauly and Manlio Valenti}, year = {2024}, doi = {10.1017/jsl.2021.15}, url = {https://arxiv.org/abs/2010.03840}, note = {Source identifier: 2010.03840} }